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
Don't print cross_func errors if the called function checks for NULL.
2009-02-18
Dan
Carpent
e
r
D
on't pr
i
nt
cross_
f
unc
errors if
the cal
l
ed
fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Re
m
o
v
e call to alloc_
s
t
a
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Call t
h
e merge_h
o
ok() instea
d
of s
e
tting
the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Me
a
nt
to commit this
earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Add th
e
merge_h
o
o
k
() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
C
l
e
a
r
the retur
n
s li
s
t
s at
the end
of each
f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nter
Move t
h
e implicatio
n
s chec
k
ing to after the
s
cripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Rewrit
e
com
p
letely with new
g
oal
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Car
p
ente
r
Ad
d
some f
u
nction
s
to handle tr
a
c
k
er lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nte
r
Don't segfault all t
h
e
time when checking forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Tes
t
to see if we are catching cross
function
derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
U
se the
-
>possible states and
remov
e
the merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while ((1))
{" i
s
a
forever loop
.
C
all strip_expr(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Ca
r
p
en
t
er
fix
e
s to the -> possibl
e
s
et
t
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Da
n
C
arpent
e
r
Merge branch 'master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
nter
Add validation scr
i
pt for check_nu
l
l_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
new->possib
l
e
is al
w
a
ys
null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpen
t
e
r
O
o
ps
.
-
>
poss
i
b
l
e
s
wasn't ge
t
tin
g
set cor
r
ec
t
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Us
e
strip_expr(
)
in
s
plit_conditions(
)
instead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpenter
Add some
m
ore ope
r
a
t
ions t
o
get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n C
a
rpenter
R
e
t
u
r
n &mer
g
e
d instead of &undefi
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
make get_value() return a value fo
r
bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
T
ry ag
a
in removing states fr
o
m pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpente
r
Revert
"
Remove a stat
e
from it's ->pool
s
when
set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Eli
m
inate a wa
r
ning
.
Probably the wrong way to d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean
ups
.
Comm
e
nts
.
Rename
s
list_stac
k
to named_st
a
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Ha ha
.
I still suck at poin
t
ers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Comments
.
Re
m
ove debuggi
n
g
code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
a
n
up
.
Also preserve the -
>
p
o
o
l
s in one p
a
t
h
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up get_state_slist(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carp
e
nt
e
r
Remove __ove
r
w
rite_c
u
r_sli
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Ther
e
was debuggin
g
output
tha
t
a
c
c
i
d
en
t
ally got co
m
mi
t
ted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove
a state fr
o
m it's ->pools when
s
et_sta
t
e() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpent
e
r
Don't delete the ->poo
l
s on m
e
r
ging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Try understand the implic
a
tions from c
o
mpound
conditio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpent
e
r
Cr
e
ate
a sta
t
e &merged
.
When
we merge
stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Ok
.
This time
s
m
atch_impl
i
ed _reall
y
_
does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpente
r
Ign
o
re cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Smal
l
clea
n
ups
.
(Wh
i
te
spac
e
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whit
e
space change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Add som
e
more lock
i
ng functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix impl
i
ed pools so that
a
t
least
i
t
d
oes
something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
It
s
e
e
med l
i
ke tracker_lis
t
would be us
e
fu
l
i
n a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add
a
R
EADME
d
escribing
sm
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Add
sc
r
ipt to
find
NULL
d
eref
e
renc
e
s betwe
e
n
f
u
nct
i
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpent
e
r
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an
Carpenter
Check for ma
l
l
o
c() as w
e
ll
a
s kmalloc
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Fix seg
f
ault
w
h
en handling implic
i
tl
y
d
e
clared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpenter
Wa
r
n when we don't acquire
locks when calling cer
t
ain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
Try (and f
a
il) to
find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arp
e
nter
Al
m
o
st print a message when you com
e
to unreac
h
abl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Add c
h
eck to look for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add che
c
king f
o
r lock_kernel()/unlock_
k
ernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Mak
e
c
h
ec
k
_locking ch
e
c
k
both spinlock
s
a
nd semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n C
a
rpente
r
Add a new function slist_has_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
C
arpenter
If there is
a
n i++ then the
v
a
lu
e
of '
i
' is un
d
e
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Add a
n
ew check_locking script that checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Ca
r
penter
Save the possible s
t
ates ins
t
ead of
j
u
st merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpen
t
er
I
g
nore emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
C
arpenter
M
e
rge branch 'maste
r
' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
arpe
n
ter
Fix likel
y
() an
d
unlikely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
a
n
C
a
rpenter
A
d
d si
n
gl
e
quotes aroun
d
the variable fo
r
consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpe
n
ter
We coul
d
save some memory by not al
l
o
c
ating
n
ew memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
r
p
e
n
t
e
r
Add a comment showi
n
g wh
e
r
e the tests a
r
e supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
T
h
is
i
s lef
t
ov
e
r from Octob
e
r as par
t
of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Add get_poss
i
bl
e
_
s
tate
s
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
ent
e
r
Stuff left o
v
er fro
m
October
.
Impl
i
e
d
pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carp
e
nter
W
e
could save some
m
emory
by
not
a
llocati
n
g n
e
w memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpente
r
Fix memory leak
.
Ad
d
more com
m
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
A
d
d a merge hook
.
Handle the si
t
u
a
tions l
i
ke
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
s
trcmp() doesn't
a
c
cept NULL
argu
m
en
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename
t
w
o
functions: g
e
t_variable_from_expr_simp
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
e
nte
r
g
e
t_
v
ari
a
ble_from_expr(
)
uses
a static buffer and y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a check_t
e
mplat
e
.
c example script th
a
t lo
o
ks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n C
a
rpenter
Make
g
e
t_all_states()
n
ot
s
e
g
fault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
ar
p
ent
e
r
Fix
get_value() to
ret
u
rn negati
v
e values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpen
t
er
We only eve
r
pa
s
s one
parameter in
t
o get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
r
penter
Fix get_all_states(
)
t
o
m
atch the fu
n
ction d
e
finition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
e
move add_st
a
te() and
state_
d
efined
(
) definiti
o
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
Clean up
.
Fix lea
k
.
My p
r
oblem i
s
th
a
t
I
don'
t
understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Initia
l
commit of the "
i
mpl
i
ed state p
o
ols" stu
f
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
Do
h
.
We hav
e
n't be
e
n u
s
ing smatch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpenter
Get rid of p
a
th_
h
is
t
ory
.
It
'
s never
g
o
i
ng to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
r
p
enter
Make goto_stack st
a
tic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merg
e
_slist now that the sli
s
t
s
are
ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert stuff onto lis
t
s in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n
Carpenter
Delete an unused function merge_state_
s
tack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if
(
*foo) { (*f
o
o)-
>
bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kma
l
loc() an
d
friend
s
d
o
n't alway
s
r
e
tu
r
n a
n
on-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Ca
r
penter
The
c
he
c
ks from here got me
r
ged into ch
e
ck_n
u
l
l
_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an
Carpenter
Move t
h
e s
t
uff
fro
m
check_dere
f
ed_params
.
c i
n
to
check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpenter
Fix bug in or_slist_stack()
.
if
(
a && b) wasn't
b
ei
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Da
n
C
arpenter
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
enter
Forgo
t
another
s
t
rip_ex
p
r() call
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
H
a
ndle as
s
ig
n
meents
inside c
o
ndi
t
ions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Only print
som
e
thing 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 declarations
.
Those
c
an't be NU
L
L
o
bviou
s
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make
cur
_
sl
i
st static
.
It
'
s o
n
ly used in smat
c
h_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
White space change
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
Us
e
merge_
s
list() i
n
stead o
f
trying to ha
n
dle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next