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
Oops. Meant to commit this earlier. :/
2009-02-18
Dan Carpenter
Oops
.
M
e
an
t
to commit th
i
s
e
arlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Add the merge_ho
o
k() back
i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
C
lea
r
the
r
e
tur
n
s lis
t
s
at the end of
e
a
c
h function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move t
h
e implications checking to after the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite completely w
i
t
h ne
w
goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some fun
c
tions to ha
n
dle
t
racker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
D
on't s
e
gfau
l
t all the
time when check
i
ng fo
r
e
ver loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
T
est to
s
ee if
w
e are
catch
i
ng
cross
f
unc
t
ion derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->possible
states a
n
d rem
o
ve the
me
r
ge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
"w
h
i
l
e ((1)) {" is a foreve
r
loop
.
Call strip_ex
p
r()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pen
t
er
fixes
to
t
he ->
possible set
t
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan
Car
p
e
n
t
e
r
Merge branch 'master' into
null_deref
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpenter
Add
v
alidation scrip
t
for check_nul
l
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpe
n
t
e
r
Clean up
.
new->pos
s
ible is a
l
w
a
ys null
h
ere
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
r
p
e
nter
Oop
s
.
->possibl
e
s wasn't
g
etting set
c
orrectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpen
t
er
Use str
i
p_e
x
pr() in split_conditions() in
s
tead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carp
e
nter
Add some more ope
r
ations to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
Return &merged ins
t
ead
o
f &
u
nd
e
fined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Carpe
n
ter
ma
k
e get_valu
e
() return
a value fo
r
bitwise or expres
s
ion
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
e
r
Try again removing stat
e
s
from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Revert "Remove
a
st
a
te
from it's ->p
o
ols when set_s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a warning
.
Probably
the
w
rong way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
penter
Clean ups
.
Comm
e
nts
.
Ren
a
me slis
t
_stack to named
_
stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Ha ha
.
I
still suck
a
t
p
ointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Cleanups
.
Comme
n
ts
.
Remove debugging code fro
m
f
ilter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
C
l
ean
u
p
.
Also pres
e
rve the ->pools in o
n
e pa
t
h of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
ean up get_stat
e
_
slis
t
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
arpenter
Re
m
ove __overwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpe
n
ter
There was
d
eb
u
gg
i
n
g
o
utput
th
a
t ac
c
i
d
e
n
tally got
com
m
i
t
ted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpent
e
r
Remove a state from
i
t's ->pools when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
D
o
n't
d
elete the
->pool
s
o
n mergi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Try un
d
erstand th
e
implications f
r
om compou
n
d
condition
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create
a state &merg
e
d
.
When we mer
g
e stuff
i
t isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Ok
.
This ti
m
e
smatch_implied _r
e
a
l
ly_ do
e
s somet
h
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Ignore csc
o
pe files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small
cleanups
.
(Whi
t
e space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Whitespac
e
c
h
ange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Add
s
ome more loc
k
ing func
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpenter
F
i
x
i
m
plied pools so that at
l
east
it does s
o
m
ethin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
er
It see
m
ed like tracker_li
s
t
w
o
uld be useful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Add a
README
des
c
ribing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
A
dd sc
r
ipt to fi
n
d NULL d
e
references
b
etween fun
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Fix usa
g
e me
s
s
a
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for mallo
c
(
) as well a
s
kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Fi
x
segfa
u
lt
w
h
en handling implicitl
y
de
c
lared
funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpenter
W
arn
when
we don
'
t
acquire locks when
c
a
l
li
n
g certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
pen
t
er
T
r
y (and fail) to find me
m
ory le
a
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpenter
Almost pr
i
nt a message w
h
en you
c
ome to unreac
h
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpe
n
ter
Add check to look for double fr
e
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
Add ch
e
cking fo
r
l
o
c
k_k
e
rn
e
l()/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
C
arpente
r
Make che
c
k_
l
ock
i
n
g
c
h
e
c
k both spinlocks and
s
emaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add
a new function slist_has
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there is an
i
++ then the value o
f
'i' is
u
ndefine
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new check
_
locking script that che
c
ks s
p
inlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpe
n
t
e
r
Sa
v
e the p
o
ssible
states
ins
t
ead of just mer
g
ing
t
hem
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
I
g
nore emac
s
g
a
rbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branc
h
'ma
s
t
er' into pool
s
5
commit
|
commitdiff
|
tree
2009-01-20
D
a
n C
a
rpenter
Fix likely() and
un
l
i
k
ely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Ca
r
penter
Add single
quotes around t
h
e variable for consis
t
ency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan C
a
rpenter
We could save som
e
memory by not a
l
loca
t
ing new
m
emory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpente
r
Add a comment showing whe
r
e the test
s
are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpen
t
er
This is left
over
fro
m
O
c
tober as part
o
f t
h
e implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
Add get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
te
r
Stuf
f
left
o
ver from October
.
Implie
d
pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Carpenter
W
e coul
d
save
so
m
e memory by not allocating
n
ew
m
e
mor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory
l
eak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge hook
.
Handl
e
the situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
strcmp(
)
doesn't acce
p
t
N
U
LL ar
g
uments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
r
penter
r
enam
e
two function
s
: get_
v
ariable_from_ex
p
r_si
m
ple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpenter
get_variable_from_expr() uses a static
b
uffer
and yo
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
C
rea
t
e a check_templ
a
te
.
c exampl
e
scri
p
t that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Car
p
en
t
er
M
a
ke get_all_states(
)
n
o
t segfaul
t
eve
r
y
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
ix get_value() to ret
u
rn negat
i
ve values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
C
a
r
penter
We
only ever pass one p
a
rameter into
g
et
_
value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_
a
l
l
_
s
tates() to
mat
c
h
the funct
i
on
definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
C
a
rpenter
R
emove
a
d
d
_state(
)
and sta
t
e
_
defined() def
i
nitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix leak
.
M
y
pr
o
blem
i
s that I don't und
e
rstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pente
r
Initial commit of the "i
m
p
lied stat
e
pools" st
u
ff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Doh
.
We haven't be
e
n
u
sin
g
smatch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Ge
t
rid of p
a
th_history
.
It's never goi
n
g to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
pen
t
e
r
Speed up merge_sl
i
st now
that the slists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
a
rpenter
Insert stuff ont
o
lists in a s
o
rted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an unus
e
d function merge
_
s
t
a
t
e_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Car
p
enter
f
i
x: i
f
(*f
o
o
)
{ (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan
Carpen
t
er
kmall
o
c() and fr
i
e
nds don
'
t a
l
w
ays return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpen
t
e
r
The
ch
e
cks from here go
t
merged int
o
c
heck
_
null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
e
n
ter
Mov
e
the st
u
ff
f
rom check_d
e
re
f
ed_
p
ara
m
s
.
c into check_null
_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix
b
ug
in or_slist_stack()
.
if (
a
&& b
)
w
asn't b
e
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a h
o
ok at the end of
a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
F
o
rgot an
o
t
h
e
r
strip_expr(
)
call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rp
e
nter
Handle ass
i
gnmeents in
s
ide
c
onditions b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carp
e
n
t
er
Onl
y
print
s
o
m
e
thing for a-
>
foo and
n
ot a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n
C
arpenter
Ignore
arr
a
y d
e
clara
t
ions
.
Those c
a
n't be
N
ULL obvio
u
sly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan
C
arpe
n
t
e
r
Make cu
r
_slist static
.
It's only used in
smatch
_
states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpent
e
r
U
se me
r
ge_slist() instead
o
f
trying
to ha
n
d
l
e it
yours
e
lf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
__process
_
cont
i
nues
(
) is sup
p
osed t
o
be
b
asicall
y
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
New smat
c
h_i
g
nore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
ar
p
enter
(foo) =
1
is the same as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next