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
Fix NULL deref.
2009-03-03
Dan Carpenter
Fix
NULL deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For some
reason
sm
a
tch can't
f
ind these header files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix string m
e
mory l
e
a
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove unn
e
e
ded
a
llocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
Remove outdated comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Don't __free_sm_state() until end
o
f
f
unc
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
free_slist()
a
fter calling g
e
t
_
all_s
t
a
tes()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
don't
r
eall
o
c
ate the
-
>possible states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Car
p
enter
Get ri
d
of u
n
u
sed
l
ine hi
s
tory code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fix som
e
memory
leaks in __
i
mpli
e
d_states_hoo
k
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
A
dd free_
t
rackers_and
_
lis
t
() an
d
fr
e
e_tracker_list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
a
rpen
t
er
A
d
d new free_stack() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
rename del_
s
list_
s
t
a
c
k
() to free_s
t
ack_and_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
C
ar
p
enter
r
ename del
_
slist() -> fre
e
_slis
t
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Free all
t
h
e
sm_sta
t
es at th
e
en
d
of each
f
unctio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
an Carpenter
Add ->p
o
ssible to __print_slist() output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carp
e
nter
S
a
v
e
a
ll
t
he pools a state goes through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpenter
Add and
f
ix
smatch
implied tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
pente
r
Prese
r
ve
the ->pools and ->po
s
sible for implied
st
a
tes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
rpent
e
r
F
ix handl
i
ng mutually exclusiv
e
sta
t
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
penter
Get rid of redundant
ha
r
m
o
nize_
s
tates()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
rpent
e
r
Add f
u
nctio
n
__
s
et_true_false_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpenter
O
n
ly s
a
ve an
i
mpl
i
ed list if
a state h
a
s been modified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
Carpenter
Only im
p
lied
s
tates that
aren't already tr
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
Carpent
e
r
Take a par
a
m
e
ter
instea
d
of assuming th
e
output
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpe
n
t
e
r
Don'
t
c
h
eck
t
h
at there are
b
o
th
t
rue and false states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
Carp
e
nter
T
h
is check_o
r
der() seems superfluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
New functi
o
n harm
o
nize_states
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
call _
_
s
plit_
e
x
p
r(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
r
em
o
ve
unneeded c
a
lls to __
u
se_c
o
nd_true
_
state
s
();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpe
n
t
er
D
o
n't set t
h
e implied
s
tate to &merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
arpenter
Ma
k
e cmp_tr
a
c
k
er() accessible to out
s
ide
f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
A
l
l
t
he states
are implied
n
o
t
just
u
n
iqu
e
o
n
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpent
e
r
Improve
lock check o
u
tput
.
Ad
d
m
o
re v
a
lidation s
a
mp
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
Add support for
down_int
e
rr
u
ptible()
and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
t
e
r
Fix the Unclear locking thin
g
.
A
g
ain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
W
a
rn on
d
ouble lo
c
k/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
ter
Prin
t
f
ewer Uncle
a
r
locking messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1))
{
.
.
.
i
s a kn
o
wn_con
d
ition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
Add
support for those funny gcc ({
.
.
.
}) block statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
a
rpenter
Handl
e
d
eclarati
o
ns
i
ns
i
de swi
t
ch
st
a
temen
t
blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cl
e
a
nup is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
C
a
r
p
enter
Add k
n
own_con
d
ition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
rpenter
Fix han
d
l
i
ng o
f
con
t
inue i
n
side do while statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpe
n
ter
Don't set let people set states f
o
r u
n
reachabl
e
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
Small
cleanu
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
n
t
e
r
H
a
ndle the itera
t
o
r
s cor
r
ectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add suppor
t
for "if (a?b:c) {
.
.
.
" ternary c
o
n
ditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add s
o
me support for _
s
pin_trylock() a
n
d
f
r
i
e
n
ds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpe
n
ter
if (a || b) { a->foo;
s
hould print an e
r
r
or
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
an Carpenter
T
h
is prints out error messages all
the time that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carpenter
Assignm
e
nt al
w
ays sets &isfreed to something else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpe
n
ter
Don't
p
ri
n
t cross_func e
r
rors if the called fun
c
tio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
Remove
c
all t
o
alloc_
s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Call the
m
erge
_
hook(
)
instead of setting th
e
stat
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pen
t
er
Oops
.
M
e
ant to
commi
t
t
h
is earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpenter
Add th
e
merge_hook() b
a
ck in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the
r
e
t
urn
s
list
s
at the
e
nd of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpe
n
t
e
r
Mo
v
e the implicat
i
on
s
checking to after the scrip
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite completely with
new go
a
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Ad
d
s
ome functions to ha
n
dle tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Don't se
g
fa
u
lt
all
t
he time when
c
hecki
n
g forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Tes
t
to see if
we are catching cr
o
ss func
t
i
o
n derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
e
nter
U
s
e the
->possible states and
rem
o
ve the merge
_
hoo
k
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
"whi
l
e (
(
1)) {" is a
fo
r
ever loop
.
Call strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
fixes to the -
>
possible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
an
C
a
r
p
e
n
ter
Merg
e
branch
'
master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
penter
Add
v
alidation scr
i
pt fo
r
check_null_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpente
r
C
l
e
a
n
up
.
new
-
>
p
ossible is alw
a
ys nu
l
l
h
ere
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
er
Oops
.
->poss
i
b
les wasn't ge
t
ting set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_e
x
pr() in split_conditions()
inst
e
ad repr
o
ducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some more operations to get_va
l
ue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpe
n
ter
Ret
u
r
n
&
merged instea
d
o
f
&u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpe
n
ter
m
ak
e
get_value() return a v
a
lue for bitwise
or
expressi
o
ns
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
C
arp
e
nter
Try again removing stat
e
s fro
m
p
ools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
p
enter
R
evert
"
R
emove
a
state from it's ->
p
ools wh
e
n set
_
state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpente
r
Eliminate a
w
ar
n
ing
.
Probably the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Comm
e
nts
.
Rename s
l
i
s
t_
s
tac
k
to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I s
t
ill
suck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
ter
Cleanup
s
.
Comments
.
Remove debugg
i
n
g
code fro
m
filte
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Clean up
.
Also preser
v
e t
h
e ->po
o
ls in one
pa
t
h of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
arpen
t
er
Cle
a
n up get_s
t
ate_s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Remove __over
w
rite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
h
ere was debugging output t
h
at
ac
c
identall
y
got
c
ommi
t
t
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Remov
e
a st
a
te
f
rom it
'
s
->p
o
ols when set
_
stat
e
()
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
D
o
n't
delete the ->po
o
ls on m
e
rging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
T
r
y understand
t
he
i
m
p
l
i
cations from compound
c
onditio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a
s
tat
e
&m
e
rged
.
When
w
e
merge stuff
i
t
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Ok
.
This time
smatch_implied _really
_
does s
o
mething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
I
gn
o
re cscope fi
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Sm
a
ll
c
leanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
rpen
t
er
Whitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpent
e
r
Add
s
ome more locking f
u
nction
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix implied pools so
th
a
t at least i
t
does so
m
ething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpenter
It
seeme
d
l
i
k
e
t
ra
c
ker_li
s
t
would be useful
in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
Add a RE
A
D
M
E
describ
i
ng
s
ma
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script to find NULL dere
f
erences be
t
w
e
en fun
c
tions
.
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
Check for
m
alloc(
)
a
s
w
e
ll as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Car
p
e
nter
F
i
x segfault when handlin
g
impl
i
c
i
tly de
c
la
r
e
d
f
u
nct
i
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next