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
db: fix handling of nested calls
2014-09-27
Dan Carpenter
db: fix han
d
lin
g
o
f nested calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Ca
r
pe
n
ter
states: ad
d
an assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Ca
r
penter
b
u
f_size
:
handle strlen(
)
a bit be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
locking: add ffs_mute
x
_
lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
arpen
t
er
flow: the __in_pre_condition variabl
e
needs to be set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
smat
c
h
.
h
:
store some dummy
database types t
e
mporarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
db:
expos
e
the data p
a
ram
e
t
e
r
s
o we
c
an use d
a
ta in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
n
ter
parse_call_ma
t
h: chan
g
e
API
t
o u
s
e rang
e
lists (mostly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
pen
t
er
rang
e
s
:
f
ix parsing
t
hat I broke t
h
is afternoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an C
a
rp
e
nte
r
comparison: fix up filter_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpenter
rang
e
s: u
s
e the ranges stored in t
h
e dat
a
base properly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
ran
g
es: fix cra
s
h
ing
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
ra
n
ge
s
: simplify
a
nd
r
obustify
s
tr_
t
o_rl_hel
p
er() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
param_limit: s
a
ve the com
p
aris
o
n
t
o the arg
u
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
arpent
e
r
f
u
nction_h
o
o
ks: fix
how database comparison
s
are do
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
a
r
pe
n
ter
c
omparison: pass
t
he ig
n
ore field to range_comparison_to_
p
ar
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arp
e
nter
c
o
mparison: take previo
u
s
co
m
pari
s
ons in
t
o
accoun
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpe
n
ter
db:
prefer literals to parameter ma
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
D
an Carpenter
d
b
: r
e
-
a
dd some missing [] c
h
a
r
acters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carp
e
nter
a
ss
i
gned_expr:
und
e
fine
on mod
i
fication
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Da
n
C
a
rpenter
d
b: fix h
o
w parame
t
e
r
math works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
assig
n
ed
_
expr: a
d
d reverse links
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
links: cr
e
ate a sma
t
ch
_
links
.
c
f
ile with func
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpente
r
parse_call_math
:
f
i
x left overs from the format change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
p
a
ram_set: write s
t
r
u
ct members in
terms of parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Car
p
e
n
ter
ext
r
a: write ce
r
tain r
e
turne
d
s
truct members in terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
p
enter
db: pass th
e
return expression to
the returned_member_call
b
ac
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
an
C
arpe
n
ter
extra: s
a
v
e
re
t
urn val
u
e
s
in te
r
ms of
p
arameter ma
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Ca
r
pe
n
ter
db:
u
nify how para
m
e
t
er descri
p
tions ar
e
sa
v
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arpent
e
r
comp
a
rison: add
a
n
i
gnore
p
aramete
r
to exp
r
_equal_to_
p
aram()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n Carpenter
u
nrea
c
hable: ignore the u
n
reachable(
)
macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
arpen
t
er
e
r
r
_pt
r
_d
e
ref: passing
a
n
E
R
R
_P
T
R t
o
kfree() i
s
a
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpent
e
r
extra:
handle me
r
ging
N
ULL
p
ointers bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan C
a
r
p
enter
extra:
address
e
s of a
r
rays are non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
D
an Carpenter
db: r
e
move bogus
parame
t
er inf
o
rmation from hook type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Da
n
Carpenter
db: add
a
ne
w
table which hold parameter types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carpenter
type: introdu
c
e t
y
pe
_
to_st
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Ca
r
penter
locking
:
remove
s
ome duplicate "someti
m
es lo
c
ked"
warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Da
n
Carpe
n
ter
ge
n
erisize
.
pl: filt
e
r so
m
e more stuf
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpente
r
gener
e
size
.
pl
:
c
l
e
anu
p
indent
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan
Carpenter
ranges: a pointer
to an
array is jus
t
a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
extra: r
e
cor
d
global
d
ecl
a
rations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
conditions: update some debug outpu
t
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
c
o
m
p
arison:
introduc
e
possible_compar
i
s
o
n
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
a
r
penter
extra: u
p
date a debug st
a
tement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
r
pen
t
er
fu
n
ction_ptrs: track
functions whi
c
h return
a
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
nter
s
h
o
w_errs
.
sh: quo
t
e some string
s
properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
slis
t
: put g
e
t
_
sm_state_stree_stack(
)
in th
e
.
h file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Carpenter
stat
e
s
:
ch
a
nge the
debug outp
u
t form
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
struc
t
_
a
ssig
n
m
e
nt: handle kzalloc() better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
sl
i
st: add the filename to s
o
m
e
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
an C
a
rpenter
flow: parse global variabl
e
s be
f
ore parsing functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
slist
:
export the set_state_s
t
ree_p
e
rm() f
u
nction to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
C
arpenter
compar
i
s
o
n: a variable is always eq
u
al
to itsel
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
D
an Carpe
n
t
er
r
e
mov
e
n
u
l
l tests for a
r
r
a
ys
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Car
p
e
n
ter
Make
f
ile: all
o
w
CC to be defined outside the mak
e
file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
D
an
C
arpenter
sil
e
nce n
o
n-ANSI wa
r
ni
n
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
Dan
Ca
r
pente
r
helpe
r
: prevent segfault
in expr
_
to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
Dan Carp
e
nter
extr
a
: imp
r
ove
h
and
l
ing of "if (x * 4 > 12)
{
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Dan Carpenter
missing_break: m
a
ke a function
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
Dan Car
p
e
n
ter
db: fix runt
i
m
e b
r
eakage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carpent
e
r
dere
f
erences_param: add more dereferenced
v
ariabl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Ca
r
p
ente
r
ra
n
ges: rem
o
ve unneeded NULL
c
heck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
D
an Carpenter
type_val: store fake assignments in
a
sl
i
g
h
tly
d
i
fferent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Da
n
Carp
e
nter
param_set/filte
r
: d
o
n't p
r
int less useless
i
nformation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan C
a
rpenter
db
:
fixup
a
fter call_implies changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Car
p
enter
par
a
m_cleared: handle
direct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan
C
arpenter
db: mak
e
call_implies match
calle
r
_info with a k
e
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-18
D
a
n Carpen
t
er
s
m
d
b
.
p
y: fix test for if a datatype is kno
w
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpen
t
er
ass
i
gned_expression: get the assigned
expression usi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan C
a
rpenter
r
osenberg: handle
s
truct to struc
t
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
D
an Carpe
n
ter
data/ke
r
nel
.
s
izeof_p
a
ram
.
remove: add __dyn
a
mic_pr_debu
g
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
struc
t
_a
s
signment: introduce g
e
t_faked_ex
p
ressi
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
s
t
ru
c
t_a
s
signme
n
t: handle memcpy(foo
,
.
.
.
) where foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan C
a
rpent
e
r
m
a
t
h:
be more a
m
bitious h
a
ndling ri
g
ht shif
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpen
t
er
user
_
data: kstrtoul() and frien
d
s sh
o
uld tai
n
t data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carp
e
nt
e
r
extra: more l
i
mi
t
s on whic
h
variables are equiva
l
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
Dan Carpenter
db: get return
s
tate
s
fr
o
m function pointers if p
o
s
sible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
D
an Carpenter
p
ropagate: remove validati
o
n test because
w
e rem
o
ved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpent
e
r
slist:
i
n
tr
o
duc
e
me
r
ge_f
a
ke_st
r
ee()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
un
r
eachabl
e
: si
l
ence "n
o
t actually ini
t
ialized" false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Car
p
enter
rosenberg: fix
s
ome
f
al
s
e
p
ositives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Da
n
Carp
e
nter
d
ebug
:
intr
o
duce __
s
matc
h
_
d
ebug_check() t
o
debug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Da
n
Carp
e
nter
*new* check_no_if_block
:
som
e
times t
h
e
if blo
c
k is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Da
n
C
arpenter
unconstan
t
_macros: add VM_SOFTDIRTY
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
typ
e
: introduce is_st
r
i
ng()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Car
p
enter
user_data
:
in
t
roduce
i
m
plied_
u
ser_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpe
n
ter
ro
s
enberg: refactor match_copy_t
o
_us
e
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan C
a
rpen
t
er
rosenber
g
: check many
m
ore funct
i
ons
i
nst
e
ad of just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
Carpente
r
rosenbe
r
g: add
m
e
m
zero() to cl
e
ar fu
n
cti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan Ca
r
pen
t
er
param_cleared: memzero() clears the
pa
r
amet
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carp
e
nter
db:
s
p
l
i
t
all boolean
f
u
nctions into one and zero strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan
Carpenter
clear_buffe
r
: remo
v
e
this c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpenter
param_c
l
eared: this shoul
d
n
't dep
e
n
d
on --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
l
ocking: update val
i
dation to the new error formation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
arpenter
locking:
u
pdate error format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
struc
t
_ass
i
gnment: fix how sm
a
t
c
h handl
e
s foo
=
N
ULL;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpenter
rosenberg: prepare
t
o check
p
ointers to
s
tructs as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nter
rosenberg: c
h
eck
f
o
r h
o
l
e
s at the end of the st
r
u
c
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Ca
r
pente
r
rosenberg: this check is kernel
s
pecific
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next