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
Fi
x
NULL de
r
ef
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
p
e
nt
e
r
For some re
a
son smatch can'
t
f
ind thes
e
he
a
de
r
files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
penter
Fix string
m
emor
y
l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Rem
o
ve unneed
e
d allocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
Remove
o
u
t
da
t
ed comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rp
e
nter
Don't __free_sm_state()
u
ntil end of funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
free_
s
l
i
st() a
f
te
r
c
alling get_
a
l
l_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
don't reallo
c
at
e
t
h
e ->
p
ossib
l
e stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
t
er
Get rid
of
u
n
u
sed line histo
r
y code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fix
s
ome memory leaks in __i
m
plied_sta
t
es
_
hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an
C
a
rpent
e
r
Add free_trackers
_
and_li
s
t() and f
r
ee_tra
c
ker_list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add
n
e
w free_s
t
a
ck
(
)
f
unc
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename del_slist_stac
k
(
) to
f
ree_
s
t
a
c
k_and_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpe
n
te
r
rename
d
el_
s
list
(
) ->
f
ree_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
Free
a
ll
the s
m
_states at the end of each
funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
an
Carpenter
Add ->p
o
ssible
t
o __
p
ri
n
t_slist() outpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Save all
t
he pools a state goes through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Add and fix
smatch im
p
lied test
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carp
e
nter
Pres
e
rve t
h
e
-
>pools and -
>
possi
b
le for impl
i
ed st
a
tes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpent
e
r
Fix h
a
n
d
l
i
ng mutua
l
ly exclusive st
a
tes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
G
et
r
i
d of redundant
h
arm
o
nize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
penter
Add
f
uncti
o
n
_
_se
t
_t
r
ue
_
false
_
s
m
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpen
t
er
Only sav
e
a
n
i
m
p
lied lis
t
if a st
a
te ha
s
been modi
f
ied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carpenter
O
n
ly implied st
a
t
e
s that aren't already
tr
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Car
p
enter
Ta
k
e a par
a
me
t
er ins
t
ead of assuming the output i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don't check that th
e
re are bot
h
true and false states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpen
t
er
This
c
h
eck_or
d
e
r
() seems superfluo
u
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpe
n
ter
New fu
n
ct
i
on harm
o
ni
z
e
_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
an Ca
r
p
e
n
t
er
ca
l
l __split
_
ex
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carp
e
nter
r
e
move
unneeded
c
alls to __use_con
d
_true_
s
t
a
tes();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Don't set the implied state
t
o &me
r
ged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carp
e
nter
M
a
ke cmp_tracker() ac
c
essible to outside
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpenter
All the stat
e
s
a
r
e
impli
e
d not
j
u
s
t unique ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpen
t
er
I
m
p
rove lock chec
k
o
u
tput
.
A
d
d mor
e
validation samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpen
t
er
Ad
d
s
uppor
t
for down
_
inter
r
uptib
l
e() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
Fix
t
he Uncl
e
ar loc
k
i
ng
thing
.
A
gai
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
Warn
on double
lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpe
n
te
r
Print fewer Unc
l
ear loc
k
ing messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1)) {
.
.
.
is
a known_con
d
i
t
ion
_
t
r
ue(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
A
d
d s
u
pport for those funn
y
gcc ({
.
.
.
}) block statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
e
nter
H
andle declarations i
n
s
i
de s
w
itch
st
a
t
e
ment blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an
C
a
r
penter
Cleanup is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Ad
d
known_
c
ondition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Fix
h
andling of con
t
inue inside d
o
while statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
Don't set
l
et people set s
t
ates
f
or un
r
eac
h
able code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Hand
l
e the itera
t
o
r
s corre
c
tly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carp
e
nter
A
d
d suppor
t
for
"
if (a?b:
c
) {
.
.
.
" tern
a
ry conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carpenter
Add some support for _s
p
in_trylock() and
f
riends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
C
a
rpente
r
if (a || b)
{
a->foo; sho
u
ld print an err
o
r
.
A
l
so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
T
h
is prints out erro
r
messa
g
es
a
l
l
th
e
t
ime that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carp
e
nter
Assig
n
m
ent
always
s
ets &isfree
d
t
o
something e
l
se lik
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nte
r
Don't
print cross_f
u
nc e
r
ror
s
if the
called func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
ar
p
en
t
er
Re
m
ove call
t
o alloc_st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Call the merge_hoo
k
()
i
n
s
tead of setting the
s
tate
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Me
a
nt t
o
commit this e
a
rlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add the
m
erge
_
h
oo
k
() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
C
l
ear the
ret
u
r
ns li
s
ts at
the end of eac
h
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Move the
implicatio
n
s che
c
ki
n
g
to after th
e
scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rp
e
nter
R
e
wr
i
te comple
t
ely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Add some functi
o
ns to hand
l
e tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
D
on't s
e
gfau
l
t all
the time when checking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpe
n
ter
T
e
st to s
e
e if we are catching
c
ross f
u
n
cti
o
n
derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpe
n
t
e
r
Use the
->possibl
e
sta
t
e
s
and remove the
m
erge
_
hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pe
n
ter
"while
(
(
1
)) {" i
s
a fo
r
ever loo
p
.
Call strip_e
x
pr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
fi
x
e
s
to t
h
e ->
p
ossible s
e
tting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Carpenter
Merge
branc
h
'master
'
into null_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
nter
A
dd validat
i
on script f
o
r check_null
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpen
t
er
C
lean up
.
n
e
w
-
>possible is a
l
ways null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
e
n
te
r
Oops
.
-
>
possibles wasn't getting
s
et correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Us
e
strip_ex
p
r
(
) in split_conditio
n
s()
i
nste
a
d repr
o
ducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arp
e
nter
Add some more
op
e
rations t
o
get_
v
alue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
Ret
u
rn &m
e
rged i
n
ste
a
d
o
f
&undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
pen
t
er
make get_value() r
e
turn a valu
e
for bitwise
or express
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
Tr
y
aga
i
n removing
states fro
m
pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Revert
"
Remove a state from it's
-
>
p
ool
s
w
h
en set_s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
arpenter
Eliminate
a
w
a
rn
i
ng
.
Pro
b
abl
y
t
h
e
w
r
on
g
way
t
o do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpente
r
Clea
n
up
s
.
Com
m
ents
.
Rename slist_st
a
ck to named_
s
tack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpente
r
Ha
h
a
.
I sti
l
l
s
uck
a
t p
o
int
e
rs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Co
m
ments
.
Remove debugging
c
ode from
f
ilte
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean
up
.
A
l
so p
r
eserve
the ->po
o
ls in one pat
h
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up g
e
t_s
t
ate_sli
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __overwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Ca
r
p
en
t
er
The
r
e
w
as deb
u
g
g
ing output that ac
c
ident
a
lly got comm
i
tted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
rpenter
Remove a s
t
at
e
from
i
t
'
s -
>
pools when se
t
_sta
t
e() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carp
e
nter
Don't delete the ->pools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
p
e
nter
T
r
y
understand the
i
mplications from compound
con
d
itions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpen
t
er
Create a s
t
ate &merged
.
When we merge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
T
h
is time smatch_im
p
lied _really_ do
e
s something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ign
o
re cscope fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
a
rpenter
Small cleanups
.
(White s
p
ac
e
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpe
n
ter
Whitespa
c
e change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add so
m
e more locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
F
ix
im
p
lied pools
s
o
th
a
t
at
l
e
as
t
it does
s
omethin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpent
e
r
It se
e
med l
i
ke tracker_list would be useful in
a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Ad
d
a README describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script to find NULL de
r
efe
r
ences
b
etween
fun
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Fix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpen
t
er
Check for malloc()
a
s well as kmall
o
c()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Fix segf
a
ul
t
when handlin
g
implicitly
de
c
l
ared func
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next