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
Test to see if we are catching cross function derefs.
2009-02-18
Dan Carp
e
nte
r
Te
s
t
t
o
see
i
f
w
e are
c
atching cr
o
ss fun
c
tion d
e
re
f
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->possibl
e
st
a
tes and remove the m
e
rge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carp
e
nter
"whil
e
((
1
)
) {"
is a foreve
r
lo
o
p
.
Cal
l
strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
fixe
s
t
o the
-> po
s
s
ible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Carpent
e
r
Merge branch 'master'
into null_der
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan
Car
p
enter
Add validati
o
n script for check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean
u
p
.
new-
>
p
ossible is always null
h
er
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
n
ter
O
ops
.
->possibles wasn't ge
t
ting set
correct
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use
s
t
rip_expr() in s
p
l
it_cond
i
tio
n
s() ins
t
ead
reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpen
t
er
Add some
m
o
re o
p
erations t
o
g
et_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpe
n
t
e
r
Retu
r
n &merged instead of &u
n
defined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carp
e
n
t
er
m
a
ke
get_value() r
e
tur
n
a value for bitwise o
r
expressio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
T
r
y aga
i
n r
e
movi
n
g states fr
o
m pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
ente
r
Revert
"
Remove a state from it's ->pools when set_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
pente
r
E
l
iminate a
w
arning
.
Probably the wrong wa
y
to
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Car
p
e
nter
Clean ups
.
Comments
.
Rename slist_stack t
o
name
d
_sta
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Ha ha
.
I s
t
i
ll s
u
c
k at
point
e
r
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
C
leanups
.
Commen
t
s
.
Remove debugg
i
ng c
o
de f
r
om fi
l
ter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpe
n
ter
Clean up
.
Also preserve the ->pools in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Car
p
e
n
ter
Clean up g
e
t_state_slist(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Remove
_
_
o
verwrit
e
_cur_sl
i
st
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpenter
There w
a
s de
b
u
g
g
ing o
u
tput
that
acci
d
entally g
o
t committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
R
emo
v
e
a
state from it's
->pools when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpent
e
r
Don't del
e
te the
->pools on mergi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Try understand
t
he implicati
o
ns from compo
u
nd con
d
itions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpe
n
ter
Cr
e
ate a state &merged
.
W
h
en we
merge
stuf
f
it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Ok
.
This time
sm
a
tc
h
_
i
mpli
e
d
_
really_ do
e
s something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Igno
r
e
c
scope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Small cleanups
.
(
W
hi
t
e s
p
ace)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
A
dd
some
mo
r
e locking fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
n
t
er
Fix
i
m
plied poo
l
s
s
o
that at least it does
s
omet
h
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It s
e
emed like t
r
acker_lis
t
would be useful
i
n a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpe
n
te
r
Add a README de
s
c
ribing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Add scr
i
pt to
f
ind NULL
derefe
r
ence
s
between
f
u
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix us
a
ge me
s
sage
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
C
he
c
k for m
a
l
l
o
c(
)
as
w
e
l
l
as kmal
l
oc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Fix
segfau
l
t when handl
i
ng implicitly
decla
r
e
d
function
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Car
p
enter
Warn whe
n
we do
n
't acquire lock
s
w
hen cal
l
ing certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
an Carpent
e
r
Tr
y
(and fai
l
) to fin
d
memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
l
most prin
t
a message
whe
n
yo
u
come to
unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpent
e
r
Add c
h
eck to look for do
u
bl
e
frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
Add checking fo
r
lock
_
ker
n
e
l
(
)/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make
check_locking
che
c
k
both
spinlocks and
s
em
a
pho
r
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Ad
d
a new function
slist_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
If ther
e
i
s
an i++ then the va
l
ue of 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
A
dd
a
new
c
heck
_
locking
s
cr
i
pt
t
ha
t
che
c
ks spin
l
ock
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpenter
Sav
e
t
h
e
p
o
s
sible
states instead
o
f ju
s
t
m
erging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
rpenter
Ignore emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
Merg
e
branch '
m
ast
e
r' into pools
5
commit
|
commitdiff
|
tree
2009-01-20
D
a
n
Carpenter
Fix lik
e
ly()
and unl
i
kely
(
)
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpen
t
e
r
Add single quot
e
s around
the
var
i
able for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
W
e
could save some memo
r
y b
y
n
o
t allocat
i
ng ne
w
memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carp
e
nter
A
d
d a comment
s
howing where the tes
t
s
are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This
i
s le
f
t ov
e
r from Oct
o
ber as par
t
of
the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpente
r
Add get_possible_stat
e
s()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
Stuff le
f
t ove
r
f
r
o
m October
.
Implied pools w
o
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan C
a
rpenter
W
e could save some memory by no
t
all
o
cating new me
m
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory
leak
.
Add more co
m
m
en
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add
a
merge hook
.
Handle th
e
s
i
tuat
i
o
n
s like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
te
r
strcmp(
)
doesn't acce
p
t
NU
L
L argu
m
ent
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename
t
wo func
t
ions
:
get_variable_from_e
x
pr
_
simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
get_va
r
iable_from_expr
(
)
uses a static bu
f
fer
and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
Create a
c
hec
k
_templ
a
te
.
c example script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Make get_all_states()
not se
g
f
a
ult e
v
ery time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carp
e
n
t
er
Fi
x
get
_
value() to re
t
urn n
e
gative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We
only
ev
e
r pass one par
a
meter into
g
et_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpe
n
t
e
r
Fix
g
et_all_states()
t
o
m
at
c
h the function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpe
n
ter
Remove add_state()
a
nd sta
t
e_d
e
fine
d
(
) definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
Cle
a
n up
.
Fix l
e
ak
.
My probl
e
m
i
s
t
hat I
d
on't unde
r
stand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
In
i
tial commit of th
e
"
i
mplied state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
Car
p
en
t
er
Do
h
.
We haven't been
u
sing smatch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid
o
f path_hist
o
ry
.
It's
n
ever going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Ma
k
e
goto_stack st
a
tic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Speed up mer
g
e
_slist now that the sli
s
t
s ar
e
o
rdered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
Insert stuff onto lists in a sort
e
d order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpente
r
D
e
let
e
an unu
s
ed
function
merge_
s
tate_
s
tack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n
C
arp
e
n
t
er
fix:
if
(*foo) { (*
f
o
o)->bar;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc() and friends don't always retur
n
a non-nu
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The ch
e
cks from he
r
e got merged into che
c
k_
n
ull_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move t
h
e stuf
f
from
check_derefed_
p
a
rams
.
c
into check_nul
l
_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
penter
Fix
b
ug in
o
r
_slist_stack()
.
if (a &&
b) wasn't
b
ein
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Da
n
C
arpen
t
er
Add
a
hook at t
h
e end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
ente
r
Forgot another stri
p
_
e
xpr() call
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle a
s
sig
n
me
e
n
t
s
inside conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
enter
On
l
y
print some
t
h
ing for a->
f
oo and no
t
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Ca
r
penter
Ig
n
o
re arra
y
dec
l
arations
.
Those can't
b
e
NULL
o
b
viousl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n
Carpenter
Make cur
_
slist static
.
I
t's o
n
ly used in smatc
h
_
s
t
ates
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carp
e
nter
White
space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
rpenter
U
s
e merge_slist() instead o
f
trying to han
d
le
i
t your
s
elf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
n
t
e
r
__proce
s
s_continues() is su
p
p
os
e
d t
o
be basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
N
e
w smatch_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpente
r
(fo
o
)
=
1 is
t
he same as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpente
r
Gen
e
r
ali
z
e sti
p
_casts()
.
It
'
s now c
a
lled strip_
e
xpr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Igno
r
e c
a
sts
.
f
oo(
(
in
t
*)&bar) is the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
Created
s
how_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore stuff like
f
oo
.
bar
.
We only care a
b
out fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
a
r
pe
n
te
r
W
h
a
t
hap
p
ens before is tha
t
pa
r
ameter
s
would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
M
issed
a
c
rashing
bug in the
int => struct co
n
version
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
p
e
nter
I can't believe I was do
i
ng
stacks
w
rong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next