repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
helper: taking the address is not a complicated variable
2014-01-21
Dan Ca
r
penter
helper:
t
akin
g
t
h
e address is
not a complica
t
ed var
i
a
bl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-21
Dan Carpenter
h
elper:
NULL der
e
ference
in get_
m
e
m
ber_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-21
Dan Carpenter
extra: don't save w
h
ole ranges
in t
h
e
data
b
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-21
Dan Carp
e
nter
d
b
: add semi-colons to SQL stat
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-21
Dan Carpenter
unknown_va
l
u
e
: make it a
f
unct
i
on call inst
e
ad o
f
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-21
Da
n
Carpen
t
er
user_data
:
shift c
o
de for
assignme
n
ts ar
o
und a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-21
Dan Carpenter
lea
k
s
:
c
heck kmemdup() leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-21
D
an Carpen
t
er
deref
:
derefe
r
encing uninitializ
e
d
w
a
r
n
ings
s
h
ou
l
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-21
Dan Carpenter
db/fu
n
ction_ptr
.
schema:
add
an index
as a sp
e
ed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-13
Dan Carpenter
struc
t
_assignm
e
nt: move m
e
mset() handlin
g
to struct_as
s
ignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-13
D
an Ca
r
p
en
t
er
struct_assignment:
h
a
ndle struct assignments to better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-10
Dan Carpenter
flow
:
g
lobal s
t
ructs withou
t
a
n
i
ni
t
ializer are
initial
i
zed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-10
Dan Carpenter
helper: introduce
g
et_par
a
m_num()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-01-06
Dan Carpenter
d
ma_on_stack: i
g
nore arra
y
s
w
hich are a parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-20
D
a
n Carp
e
nter
s
m
db
.
py: im
p
ro
v
ements to `
s
md
b
.
p
y buf_size` and
`smdb
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpenter
flow
:
h
ide
a
b
u
n
c
h
o
f t
h
e unreachable war
n
ing
s
under
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpenter
kernel
.
silenced_functi
o
ns:
a
dd
s
o
me more "
a
sm got
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpenter
extra:
a
ss
u
me indexe
s
are in bounds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
fl
o
w: fix str
u
ct
i
nitialization
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
*n
e
w
*
check_array_condition
.
c: arrays can
'
t be NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan C
a
r
penter
buf_siz
e
: st
o
re ranges i
n
the database instead
o
f single
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
arpenter
strlen: r
e
m
o
ve
s
om
e
b
l
ank
l
ines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
C
a
r
p
e
n
t
er
un
r
eachable code: don't warn
about unreachable br
e
ak
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unreachable
co
d
e: don't warn a
b
ou
t
empty
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
D
an Car
p
e
n
te
r
debug: introduce
_
_s
m
atch_
b
uf
_
si
z
e_rl() which is more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpent
e
r
debug: add _
_
sma
t
ch
_
m
e
mber_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan C
a
rpenter
k
e
rne
l
, db: add hweigh
t
(
) functions t
o
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan
Ca
r
pent
e
r
k
e
rne
l
, db: consider
x
= htonl(10) and x
= 10 equiv
a
lent
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
pente
r
introduc
e
: smatch
_
data
/
ke
r
nel
.
no_in
l
ine_
f
unctio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
Dan Car
p
e
nter
*new* add smatch_d
a
ta/kernel
.
silenced_funct
i
ons to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Car
p
en
t
er
common_functions
.
c: handle
strlen() and
s
trnlen() bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
ac
c
ess_ok_mat
h
: restrict
this check to --spammy output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
D
a
n Carpenter
*ne
w
* check_cast_assign
.
c: check casting a smal
l
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan
Carpe
n
t
e
r
c
heck_deb
u
g: fix cras
h
ing bug on printing n
o
n-existant
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Car
p
ent
e
r
buf_s
i
z
e:
buffer
allocations i
n
th
e
same file
a
re not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carp
e
nter
buf_size: ignore unknown ar
r
ay sizes better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan
Carp
e
nter
strl
e
n:
r
ecord string lengths
a
c
r
oss function
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
r
penter
strlen: record ass
i
g
ned strin
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strlen: add a co
m
ment and rename s
o
me things
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
enter
strlen: handle
s
tring literals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
de
b
ug: in
t
roduce __smatch_st
r
len()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpen
t
er
str
l
e
n
: introduce get_i
m
plied_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
mat
h
: revert accidentally committed code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n C
a
rp
e
nter
b
u
f_
s
ize: read a range_list from the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpenter
buf_
s
i
z
e
: store type_size in two t
a
bles the same as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Car
p
enter
buf_si
z
e: make size_from_db() work
ag
a
in
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carp
e
nter
b
u
f_size, strlen: separate b
u
f_size and strlen into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
overflow: use fuzzy_max to warn
about arr
a
y ov
e
rflows
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
Carpente
r
math: fix
g
e
t
_
fuzz
y
_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
a
rpenter
buf_size: r
e
present buffer
size as a
r
ang
e
l
i
st in
s
tead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
buf_size: hand
l
e
p
laces
t
hat dynamica
l
ly alocate som
e
times
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
fl
o
w
:
i
ntroduce
_
_
i
n_function_def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Da
n
Carpenter
extra, mat
h
: rework how fuzz
y
m
a
x is
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
p
e
n
ter
buf_si
z
e: handle devm_kmalloc() allocations
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Carpenter
kernel
.
ignored_
m
acros: add RT_ASSERT and SKD_ASSERT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpente
r
smdb
:
impr
o
ve "where" outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpen
t
er
r
a
n
ges
:
introduce rl
_
has
_
sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpen
t
er
helper
:
wo
r
k ar
o
u
nd cras
h
in
g
bug in get_member_n
a
m
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Ca
r
pent
e
r
l
oc
a
l_v
a
l
u
es:
p
ull code
in one
i
ndent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
c
heck_si
g
ned: ignor
e
things w
i
th n
e
gative number of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
flow: ignor
e
s
tructs an
d
unions in set
_
un
s
et_to_z
e
ro
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carp
e
nter
modif
i
cat
i
on_hook
s
:
delete a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
an Carpenter
recurse: introduce
ha
s
_inc
_
d
e
c()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
ty
p
e_val: fix a build
w
a
rning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carp
e
nter
type_val: actually run the cod
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
sma
t
c
h: a couple crashi
n
g bugs on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpe
n
te
r
allow
char to be u
n
signe
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
helper:
improve
i
s_error_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
r
p
enter
type_val: introduce sto
r
ing struct mem
b
e
r
limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
ent
e
r
data
_
source: load where
da
t
a comes f
r
om into the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carp
e
nter
.
gitignore: ignore b
a
k
.
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: fixu
p
_
kernel
.
sh: say tha
t
we
o
nly
h
ave
6
4 CPUs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
db: preserve unmerged states
i
n the ->po
s
sible better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n C
a
rpenter
db:
g
roup function poin
t
e
r return states toge
t
her
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpenter
db
:
order
t
he return_states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan
C
a
r
pen
t
er
db: fixup_kernel
.
s
h:
i
gnore
t
i
mer_l
i
st f
u
ncti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan
C
a
rpen
t
er
db
:
fixup_k
e
rnel
.
sh: remove some USER_DATA
c
alls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan
C
arpenter
db: improve database d
e
bug
g
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
Dan Car
p
en
t
er
smatch
.
h
:
sh
i
ft some struct members around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpenter
f
low:
c
lear_buffe
r
: revert part of comm
i
t that us
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
flow: re-write ho
w
struct
members are initiali
z
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
rpen
t
er
sm
a
tch_cle
a
r_b
u
f
fer: memcpy
(
) should set the destin
a
tio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpe
n
t
e
r
sma
t
ch_clear_
b
uffer: make a func
t
ion static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan
C
arpent
e
r
smatch_data/ke
r
nel
.
clears_argu
m
ent: re
m
o
v
e m
e
mset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpenter
flo
w
: introduce ou
t
side_of_function() to fix global
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan
C
arpenter
db:
kernel: i
g
nore
i
40e_dbg
_
ne
t
dev_ops_write()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpen
t
er
flow: s
e
t members t
o
zer
o
by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan C
a
rpenter
db, ex
t
ra, user_data: h
a
ndle: *x = 1; retur
n
x;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
user_data: rem
o
ve kmemdup_us
e
r
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n C
a
r
p
ente
r
user_data: make
a
function
s
tati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
contain
e
r_of: peopl
e
chec
k
ing t
h
e
return value of nla_d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
helper: fix crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Da
n
Carpenter
user_data: make a fun
c
tion static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
mat
h
:
e
xport
g
et_const
_
value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Carpen
t
er
math: h
a
ndle bitwise
OR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carp
e
n
t
er
math:
hand
l
e
LEFT_SHIFT (a << b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Da
n
C
arp
e
nter
ma
t
h: remove an impossibl
e
condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
D
a
n Carp
e
n
t
e
r
Fix
-
-no-data so it d
o
e
sn'
t
spew database
errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
extra
:
fi
x
a crash parsin
g
invalid co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Carpenter
si
z
eof
:
f
ix
t
ypo in error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next