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
Clear the returns lists at the end of each function.
2009-02-18
Dan Carpenter
Clear
t
he returns
lists
at the end of ea
c
h func
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carp
e
nter
Mo
v
e the impl
i
cat
i
ons
c
h
e
c
king to after
the script
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite
c
o
mpletely with n
e
w
g
oal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some f
u
n
ctions to handle tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpen
t
e
r
Do
n
'
t
segfault
all the time when checking forever
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to see if
w
e are catching cr
o
ss fu
n
ction d
e
refs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->
p
ossible
s
t
a
tes and remove the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
"while ((1)) {"
is a for
e
ver
l
oop
.
Call strip_expr(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
f
ixes to the -> possible
setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan
Ca
r
penter
Merge branch 'mas
t
e
r
' in
t
o null
_
deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add
v
alidatio
n
scri
p
t for
c
heck_n
u
ll_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
new->possible is a
l
ways null
here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
O
ops
.
->possibles was
n
't getting set correct
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
U
s
e
strip_
e
xpr() in split_
c
o
n
di
t
ions() ins
t
ead re
p
rod
u
cing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add
some more operations
to get_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
ente
r
Return
&me
r
ged
i
nstead of &
u
ndef
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
make get_
v
alue(
)
return
a
val
u
e for bitwis
e
or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
T
r
y
again
removing states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Revert "Remove a stat
e
from it
'
s ->pool
s
whe
n
s
e
t_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
ar
p
enter
Eliminate a warning
.
Pr
o
bably the
wrong wa
y
to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
penter
Cle
a
n ups
.
Comments
.
Rena
m
e slist_stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Ha ha
.
I still s
u
ck
at
p
ointe
r
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpen
t
er
Cl
e
anups
.
Comments
.
Remove deb
u
gg
i
ng code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Cl
e
an up
.
Also pre
s
erve the ->pools in one p
a
th of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
ge
t
_state_sli
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Remove
__overwrit
e
_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
The
r
e was de
b
u
g
ging output that acciden
t
a
l
ly got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
te
r
Remove
a
state from it'
s
-
>
p
ools when
set_state()
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
D
on't
delete the ->pools on
m
erg
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try u
n
derstand
the impli
c
ations fr
o
m
c
ompound condi
t
i
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpen
t
er
Create a
s
t
a
te &merged
.
When we merge stuff it i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpe
n
ter
O
k
.
T
his
time
s
ma
t
ch_implied _
r
e
ally_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
I
gnore cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
S
m
all clean
u
ps
.
(White
s
pace)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Whitesp
a
ce change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more locking fu
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an
C
arpenter
Fi
x
impli
e
d pools
s
o
t
h
at
a
t
least it doe
s
something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
It seemed lik
e
tracker_list would be useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpent
e
r
Add a README
descri
b
ing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add
script to find
NUL
L
dereferences between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Fix usage m
e
s
sage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
r
penter
Check for malloc() as
well a
s
kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix
segfault when handling impl
i
c
i
tly declared
funct
i
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn whe
n
we don't acquire lock
s
when calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpen
t
er
Try (and fail) to find mem
o
r
y
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpen
t
er
A
lmost print a m
e
ssage when you
c
om
e
to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carp
e
nter
Add check
to look for
d
ouble
f
rees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
a
rpenter
Add check
i
ng for lock
_
k
er
n
el()/unlock_ke
r
n
el()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Make check_locking check
both s
p
inlocks and sem
a
p
h
o
res
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new fu
n
ction slist_has_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carp
e
nter
I
f
there is an i++ then the value of 'i' is
undefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add
a new check_locking
s
cript that checks spi
n
lock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Save the possible states instead
o
f just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
a
r
penter
I
g
nore
e
m
acs
g
a
r
ba
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
enter
Me
r
g
e
branch
'master' into pool
s
5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could save some memory by not allocat
i
ng n
e
w mem
o
ry
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
Carpenter
Add a comme
n
t showin
g
where the tests are supp
o
se
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpen
t
er
T
h
is is left ove
r
from Octob
e
r as part
of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Add
g
et_possible_stat
e
s
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
S
t
u
ff left over from Octo
b
er
.
Implied
pools w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save some memory
b
y
no
t
alloca
t
ing new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
Carpenter
Fix m
e
m
o
ry leak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
Add a me
r
g
e hook
.
Handle the
s
itua
t
i
o
ns
like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Ca
r
p
e
nter
strcmp() doesn't accept
N
UL
L
a
rguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rena
m
e two fu
n
cti
o
ns: get_
v
ariable_from
_
expr_s
i
mple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n C
a
rp
e
nter
get
_
vari
a
bl
e
_from_expr() use
s
a static b
u
ffer
a
nd you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
ar
p
en
t
e
r
Create a
check_template
.
c e
x
am
p
le script that loo
k
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Make get_all_states() not
s
egfault every
t
ime
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Fix
g
e
t
_
value()
to r
e
turn negati
v
e val
u
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpe
n
t
er
We only eve
r
p
a
ss one parameter
into get_valu
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Fix
g
et_all_states() t
o
mat
c
h the function defini
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an
C
arpenter
Remov
e
a
dd_state(
)
a
n
d sta
t
e_defined() definition
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
Cle
a
n
u
p
.
Fix leak
.
My
p
ro
b
l
e
m
is that
I
don't unde
r
stand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Init
i
al commit of th
e
"implied state pools" s
t
u
ff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
ente
r
Doh
.
We haven't been using smatch
_
ext
r
a
f
or
a
while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpen
t
er
Get rid of pa
t
h
_
h
i
story
.
It's n
e
ver going
t
o be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Mak
e
got
o
_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpente
r
S
p
eed
up mer
g
e
_
slist
n
ow
t
hat the slists are order
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert
s
tuff onto lists
i
n
a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carp
e
nter
Delete an unus
e
d functio
n
merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
an Carpent
e
r
fix:
i
f (*foo) { (*
f
oo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carp
e
nter
kmalloc() and friends d
o
n't
always re
t
urn
a
non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The
ch
e
cks
f
rom here got me
r
ged into
c
heck_n
u
ll_de
r
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
rp
e
n
t
er
Mov
e
the stuff f
r
om check_derefe
d
_par
a
ms
.
c into chec
k
_n
u
ll_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix
b
ug in or_slist_
s
tack
(
)
.
if (a && b) wasn
'
t bein
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan C
a
rpente
r
Add a
hook at
the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
F
orgot an
o
ther
s
tri
p
_
e
xpr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
H
a
ndle
assi
g
nmeents inside condit
i
o
n
s better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Ca
r
penter
Only
pr
i
nt somet
h
i
ng for
a
->foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignore
array declara
t
ions
.
Those can't b
e
NULL o
b
v
iously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Ma
k
e c
u
r_slis
t
static
.
It's only used in
s
match_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
White space chang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
r
p
ent
e
r
Use m
e
rge_s
l
ist()
instead of tryin
g
t
o
h
and
l
e
it
y
ours
e
lf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
ter
_
_
process_co
n
tinues
(
) is supposed t
o
be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
nter
New smatch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Car
p
enter
(foo) = 1 is the s
a
me
a
s foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Gene
r
al
i
ze stip_cas
t
s()
.
It
'
s
now c
a
lled
s
t
r
ip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
Ignore
cast
s
.
foo
(
(i
n
t
*)&
b
ar) is
t
h
e same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
C
arpen
t
e
r
C
reated
show_s
t
a
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignor
e
st
u
ff like foo
.
bar
.
We only care about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next