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 segfault all the time when checking forever loops.
2009-02-18
Dan
C
a
rpenter
D
o
n't segfault a
l
l the
time wh
e
n ch
e
cking foreve
r
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to
see if we are catching cro
s
s
f
unction derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpente
r
Use th
e
->possible s
t
ates and remove the
m
erg
e
_ho
o
k()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while (
(
1)) {" is
a
f
orever loop
.
C
a
ll
strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to
the
-> pos
s
ib
l
e setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
penter
M
erge bra
n
ch 'ma
s
te
r
' i
n
t
o
n
u
ll_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
D
an
Carpen
t
er
Add validation scr
i
pt for check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
enter
Clean up
.
new->
p
oss
i
bl
e
is always nul
l
here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->po
s
sibles wasn't gett
i
ng set correc
t
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Use
strip_expr() in spli
t
_
c
onditions() instead reprod
u
cing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
A
dd some more operations to get_valu
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
R
e
turn &merged i
n
ste
a
d of &und
e
fin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
make get_value() return a value for
b
itwis
e
or expr
e
ssion
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
T
ry agai
n
remo
v
ing states
from
p
ools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Rever
t
"
Remove a state from it's ->pools
w
hen set_st
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pen
t
e
r
Eliminate a warning
.
Probably
t
h
e
wrong way to d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean u
p
s
.
Comments
.
R
e
name slist_stack to nam
e
d_
s
t
a
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
penter
Ha ha
.
I still suck at point
e
r
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
nups
.
Comments
.
Remove
debugging code
from filte
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
an up
.
Also preserve the ->p
o
ols in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carp
e
nter
Cl
e
an up ge
t
_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
R
e
m
o
ve __overw
r
ite_cur_slis
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpenter
There
was debuggi
n
g output
t
h
at accidentally got
c
ommitted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
R
emove a state fro
m
it's -
>
pools
when
s
et_st
a
te() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Don't del
e
te the ->pools on
m
erging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpe
n
ter
Try underst
a
nd the implication
s
f
rom c
o
mpound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
r
eate a state &mer
g
ed
.
When
w
e
m
erge
s
tuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
O
k
.
This time smatch_implied
_
rea
l
ly_ d
o
es s
o
meth
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Ig
n
ore cscop
e
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
S
m
all c
l
eanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Whit
e
space c
h
ange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some m
o
re locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Fix implied pools
s
o that a
t
least it does
s
omething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
e
r
It seemed like tracker_list wo
u
ld be
us
e
ful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
p
enter
A
dd
a README de
s
cribing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Add
s
cript to find NULL d
e
referen
c
e
s b
e
t
wee
n
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix u
s
age
m
ess
a
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
C
h
eck
f
o
r malloc()
a
s wel
l
as
k
malloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
F
ix segfau
l
t wh
e
n ha
n
dli
n
g implic
i
tly
declar
e
d
func
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
an Car
p
en
t
e
r
Warn when we don't acquire locks when calling ce
r
tain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and fail)
t
o find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
Almo
s
t
p
ri
n
t a mess
a
ge when you come to unrea
c
ha
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpente
r
A
d
d check to look for
d
ouble frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Add
c
hec
k
ing for
l
ock_ker
n
el()/un
l
o
ck_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Make
ch
e
ck_
l
ocking check both spinlocks and se
m
aph
o
res
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Add
a
new fu
n
c
tion slist
_
has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
I
f
there
is
a
n i++ then the value of
'
i' is
u
ndef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new check_locking script
t
ha
t
c
h
e
c
ks spi
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Car
p
en
t
er
Sa
v
e the possible s
t
ates instead of
just m
e
rgi
n
g
them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
enter
Ignor
e
emacs
gar
b
ag
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch 'ma
s
ter' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Carp
e
nter
Fix l
i
kely() and unlikel
y
() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpen
t
er
A
d
d sing
l
e quotes around the v
a
riable f
o
r consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could s
a
ve so
m
e
m
e
mor
y
by not allocating ne
w
m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Add a comment showing where the tests are su
p
posed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
This is le
f
t o
v
er fr
o
m
O
ctober
as
p
art of the impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Add get_possibl
e
_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Stuff left over fro
m
Oc
t
ober
.
Implied
p
ools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
arpenter
We c
o
uld s
a
ve some memory
by not a
l
locating new m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
ar
p
ent
e
r
Fix memo
r
y leak
.
A
dd
more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Ca
r
pen
t
e
r
Add a merge hook
.
Handle
t
h
e si
t
uations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
strcmp() doesn't accept NULL arg
u
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename
two fu
n
c
t
ions: get_vari
a
ble
_
fro
m
_expr
_
s
i
mple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rp
e
nter
get_variable_from_expr() uses
a static buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
pe
n
ter
Create a check_template
.
c e
x
a
mple script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpe
n
t
e
r
Make
g
et_all_states()
n
ot
s
egfault every
t
i
m
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
F
i
x get_value() to
retur
n
ne
g
ative
v
a
l
ues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever pass on
e
p
a
rameter into get_valu
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
C
a
rpenter
Fix get_all_st
a
tes
(
) t
o
match the func
t
ion definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Remove add_state()
an
d
state_d
e
fin
e
d() de
f
inition
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
C
lean up
.
Fix leak
.
My pro
b
lem
is that I don't u
n
derstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pente
r
Initia
l
commit of the "i
m
plied state
p
ool
s
" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Do
h
.
We ha
v
en't been using sma
t
ch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Car
p
enter
Get rid of path_his
t
ory
.
It's nev
e
r
goi
n
g t
o
be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make
g
o
t
o_stac
k
sta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
a
rpenter
Speed up merge
_
slist now t
h
at the slis
t
s
are
o
rdered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
a
r
pent
e
r
Inser
t
stuff onto lists in a s
o
rted
order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Dele
t
e
an
u
nused function merge_state
_
stack(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix:
if (*
f
oo)
{
(
*
foo
)
->
b
ar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
an
Carpenter
kmall
o
c() and friends
d
on't alway
s
return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
an Ca
r
penter
The checks fro
m
here got me
r
ged in
t
o che
c
k_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move t
h
e st
u
ff from check_derefed_
p
arams
.
c into check
_
nu
l
l_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n
C
arpenter
Fix
b
u
g
i
n
or_slis
t
_
stack()
.
if
(a && b) wa
s
n't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Da
n
Carp
e
nter
Add a hook at th
e
end of
a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an
C
a
rpent
e
r
Forgot ano
t
her strip_expr
(
) call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
Carpenter
Handle as
s
ignmeents inside conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
enter
Onl
y
print someth
i
ng for a
-
>foo and n
o
t a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Da
n
Carpe
n
ter
I
g
nore array d
e
clarations
.
Those can't b
e
NU
L
L obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make c
u
r_slist sta
t
i
c
.
I
t
's onl
y
used i
n
smat
c
h_st
a
te
s
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
W
h
it
e
space chan
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use me
r
g
e
_
slist() inst
e
ad
of tr
y
i
n
g to handle it y
o
urself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpent
e
r
__process_continues
(
) is suppo
s
ed t
o
be b
a
si
c
ally the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
N
e
w
smatch_ignore
.
c
f
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpenter
(foo) = 1 is the same
a
s foo =
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
Generali
z
e stip_ca
s
ts()
.
It's now called strip
_
expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpent
e
r
Ign
o
re ca
s
ts
.
foo
(
(int *)&bar) i
s
th
e
same as f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
C
r
eated show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore stuff like foo
.
bar
.
We onl
y
car
e
about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpenter
Wha
t
happens before i
s
that p
a
rameters would get a
s
signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Mis
s
ed a
c
rashi
n
g bug in the int => stru
c
t co
n
version
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next