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
Add some functions to handle tracker lists.
2009-02-18
Dan Carpe
n
t
er
Add som
e
functions to h
a
ndl
e
tracker l
i
sts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Don't seg
f
ault all the time when
c
hecki
n
g
f
oreve
r
l
o
op
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Test
t
o see
if
we are
catching cr
o
ss
f
unction derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Use
the ->possible state
s
and remove
the me
r
ge_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while ((1
)
) {" is a fo
r
ever
loop
.
Call st
r
ip_e
x
pr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carp
e
n
t
e
r
fixe
s
to the
-> possibl
e
setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpenter
M
e
rge branch 'master'
i
nto null_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
D
an
C
arpenter
Add validation script for che
c
k_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
enter
C
lea
n
up
.
n
ew->possible
is always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpenter
O
o
ps
.
->possibles wa
s
n't ge
t
t
i
n
g se
t
correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Use strip_exp
r
() in split_
c
onditions() instead re
p
roducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
C
arpe
n
ter
Add some more operations
to get_va
l
ue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Retu
r
n &mer
g
ed
i
nstead of &undefi
n
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
m
ak
e
get_va
l
ue()
return a
va
l
ue for
b
i
t
wise or
e
xpressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
r
p
e
nter
Try
again removing st
a
tes from
p
o
o
ls
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
Revert "Remo
v
e a state
f
rom i
t
's ->pools when se
t
_st
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpent
e
r
E
limina
t
e
a wa
r
ning
.
P
r
o
bably the wr
o
ng way to d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clea
n
ups
.
Comments
.
Rena
m
e slist
_
s
t
ac
k
to
n
amed_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pen
t
er
Ha ha
.
I still
s
uck at po
i
nters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
C
l
e
anu
p
s
.
Comments
.
R
e
m
ove debugging code f
r
om filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Cl
e
an up
.
A
l
so p
r
es
e
rve the
-
>p
o
ols in
o
ne p
a
th of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Clean up
g
e
t_stat
e
_
s
list(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
emove __
o
verwrite_cur_slis
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
T
here was debugging out
p
ut
t
hat accidentally g
o
t committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
e
m
o
ve a stat
e
from
it's ->pool
s
when set_state()
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don
'
t
delete the ->p
o
ols on me
r
gi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try underst
a
nd
the implicat
i
ons from
compound
c
onditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
a
r
p
e
nter
Create a s
t
ate &
m
erged
.
Wh
e
n we merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Ok
.
This time smatch_
i
m
p
lied _
r
eally_ does somet
h
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
arpenter
Ignore cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
e
r
Small c
l
e
a
nups
.
(White spac
e
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carp
e
n
te
r
Whitespace cha
n
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpent
e
r
Ad
d
s
o
me more l
o
ckin
g
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix implied pools so th
a
t at lea
s
t it does s
o
mething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
e
n
t
er
It se
e
m
e
d
like tracker
_
list would
b
e useful i
n
a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Car
p
enter
Ad
d
a README descr
i
bing
s
match
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script to find N
U
LL derefere
n
ces between funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Ch
e
ck for malloc() as well
a
s kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
C
a
rpenter
Fix segfau
l
t
whe
n
handling impli
c
itly
d
eclar
e
d functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpente
r
Wa
r
n when we
don't
a
cq
u
ire loc
k
s whe
n
cal
l
ing
c
erta
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
nter
Try (a
n
d fail)
t
o find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
Almo
s
t p
r
int a message when
you
come
t
o unreacha
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
A
dd
c
h
eck to look
for
d
o
uble frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
dd c
h
ecking for lo
c
k_kern
e
l()/un
l
o
c
k
_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
ent
e
r
Make check
_
locking
check
b
oth spinlock
s
and semap
h
ores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new function
s
list_has_
s
t
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Car
p
enter
If there is an
i
++ then th
e
v
alu
e
of
'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
e
r
A
d
d a
n
e
w check_loc
k
ing
s
cript that checks
s
p
inlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Sav
e
t
h
e
p
ossible s
t
ate
s
instead of
just merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore emac
s
ga
r
bage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
Carpenter
M
erge
b
ranch 'master' in
t
o
pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Ca
r
penter
F
ix likely() and unlike
l
y() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add sin
g
le
quotes aroun
d
the variable fo
r
c
onsistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We co
u
ld sav
e
s
o
me memory
b
y no
t
allocating new m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comment
showin
g
whe
r
e
t
he tests ar
e
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is
left
o
ver
from Octo
b
er as pa
r
t of
t
he i
m
plied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_po
s
sible_st
a
tes()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpenter
Stuff left over
f
r
om Oc
t
ober
.
Implied pool
s
w
o
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
W
e
c
o
u
l
d s
a
ve som
e
m
emory by
n
ot a
l
locating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpen
t
e
r
Fix memory leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an
Carpenter
Add a merg
e
h
ook
.
Hand
l
e the
s
itu
a
tio
n
s
l
i
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() does
n
't accept
N
ULL argu
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
re
n
am
e
two f
u
nctions
:
g
e
t_variabl
e
_from_
e
xp
r
_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an
Carp
e
nter
g
e
t_variable_f
r
om
_
expr()
u
ses a static bu
f
fe
r
and
y
ou
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
Create a ch
e
ck_t
e
mplate
.
c ex
a
mple scri
p
t that lo
o
ks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
M
ake get
_
al
l
_states(
)
not s
e
gf
a
ult every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
p
e
nter
Fix
get_
v
alue() to return negative val
u
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
a
rpenter
W
e only ever pass one p
a
ram
e
ter into get_value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
Fix ge
t
_all_states()
to match t
h
e fu
n
ct
i
o
n defini
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove
a
dd_state() and state_defin
e
d() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carpenter
Clean up
.
Fix leak
.
My prob
l
em is that I
don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pent
e
r
I
n
iti
a
l
commit o
f
t
h
e
"
implied
s
tate pools" stu
f
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Doh
.
W
e
h
aven't
been u
s
i
ng smatch_extra for a whi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
ter
Ge
t
rid of
p
ath_history
.
It's never going to be
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
nter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
S
pee
d
up merge_s
l
ist now that the slists
ar
e
ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpe
n
ter
Insert stuff onto lists in a sorted ord
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an unused func
t
ion me
r
ge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Car
p
ent
e
r
fix: if (*foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan
C
ar
p
en
t
er
k
m
al
l
oc(
)
and
f
ri
e
n
d
s
d
on't always return a
n
on-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The check
s
from here got merged into c
h
eck_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carpent
e
r
Move the s
t
u
f
f from chec
k
_derefed
_
pa
r
ams
.
c
i
nto check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arp
e
nter
F
i
x bug in or_slist_
s
tack()
.
if (a && b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan C
a
rpenter
Ad
d
a
h
ook at
the
en
d
of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Forgot another st
r
ip
_
ex
p
r() call
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
H
a
ndle assignmeents inside conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Only print something for a->foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Car
p
enter
Ignore ar
r
a
y
decla
r
at
i
o
ns
.
Those can't b
e
NULL obvious
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carp
e
n
t
er
M
a
k
e cur_slist
s
tatic
.
It's only used in smatch_
s
ta
t
es
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
White
s
pace change
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
n
t
er
U
s
e merge_slis
t
() instead of trying t
o
h
andle it yours
e
l
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
_
_proce
s
s_cont
i
nues(
)
is supposed to be
b
a
s
ically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
N
e
w sm
a
tc
h
_
ig
n
ore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
(
foo) = 1 is
t
he same as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carp
e
nter
Generalize st
i
p_casts()
.
It's now
c
a
l
le
d
strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
C
arpenter
Ignore casts
.
foo((int *
)
&bar)
is the same
as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpente
r
C
reat
e
d
sho
w
_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore stu
f
f
l
ike foo
.
b
a
r
.
We only car
e
a
b
out
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Wh
a
t
happens b
e
fore is t
h
at paramete
r
s
would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next