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
Make --known-conditions an option.
2009-03-18
D
a
n Carpenter
Make --known-conditions a
n
option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
handle
k
nown conditions
better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpent
e
r
check_memory: a
d
d rudimentary va
l
idation
test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpent
e
r
new
s
cri
p
t to
p
rint
a
list
of f
u
n
ctions which
free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpen
t
er
check_memory: ma
k
e
ar
g
uments static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpente
r
template: fix me
m
ory
l
eak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
te
m
plate: remove unu
s
ed header, update comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
ter
chec
k
_locking: add mutexes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpente
r
check_m
e
m
o
ry: add kzalloc(), more complex vari
a
bles
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
ar
p
enter
implied:
ha
n
dle &
u
ndefin
e
d
b
e
t
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
arpen
t
e
r
info:
loop could be
repl
a
ce
d
with if
s
ta
t
emen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
kchecker:
a
dd "--sparse" optio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
smat
c
h_implied/slis
t
: m
o
ve function
s
from slist
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Car
p
enter
check_memory: use comp
l
ex variables instead of regu
l
a
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
Ca
r
pente
r
check_memory: assume paren
t
s
assigned on all p
a
th
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
c
h
eck_m
e
m
or
y
: More changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Car
p
enter
assig
n
ments can add a
p
a
ren
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
rpenter
Hand
l
e i
n
itialization
i
n th
e
de
c
l
arations
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpente
r
Cu
t
down on fals
e
positives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpente
r
Parse the return statement before calli
n
g
the
r
etur
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpe
n
ter
Fi
x
crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
a
n
C
a
rpen
t
er
Remove
s
o
me false positives and enable the ch
e
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
an Carpenter
D
e
m
ote argu
m
en
t
null derefs to cross f
u
nc null derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Label the outpu
t
: error, warn
,
or info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpente
r
Add a hack to handl
e
the ker
n
el's
r
e
defined if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carp
e
nter
Han
d
le
m
ore c
o
mparisons than
just (foo =
=
0) and (foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
check_locking:
a
m
e
rge
w
ith NULL
is a merge
with the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Carpe
n
ter
R
emove
u
n
n
eeded c
o
de
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
ar
p
e
n
ter
A
dd line
number bac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
Ca
r
penter
Use t
h
e
most recent implic
a
tio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpente
r
Add option --assu
m
e-loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Car
p
e
n
ter
Add an option --
n
o
-implied
t
o tur
n
o
f implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpenter
implied
p
ools:
c
leanup how implied pools are created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Car
p
enter
check_memory: separate out a malloced s
t
ate
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
A
l
l along I
w
a
s addin
g
the pools to t
h
e wrong place
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nter
C
l
ean u
p
.
Move a couple ifdefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
r
p
en
t
e
r
Add a
s
anity c
h
eck that
->poss
i
b
l
e
h
as a ->my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Clean up
.
Free
i
n
g the sm_stat
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Orin
g
the s
l
ists seems like merge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
A
d
d
a
--debug-im
p
lied optio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Ca
r
penter
check
_
memor
y
: Fi
x
segf
a
ult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
kchecker: h
e
lper s
c
ript to invoke
smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpen
t
er
check_m
e
mory
:
new code
.
not used yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Ca
r
pen
t
er
Fix bug i
n
compoun
d
conditions and add validati
o
n test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan C
a
rpent
e
r
check_locking: handle functions with no return sta
t
ement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Car
p
enter
Fix s
o
securit
y
_fixup_
o
p
s
() doesn't t
r
ig
g
er the OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
penter
Fix 'or'
i
ng states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpent
e
r
Fix NULL deref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Car
p
e
nter
For some
reason s
m
atch can't find
these h
e
ader files
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix
s
t
ring memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
pente
r
Remove unneeded al
l
ocation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
Remove ou
t
dated comme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
Don't
__free_sm_stat
e
() until
e
nd of
f
u
n
ct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
free_s
l
ist()
after calling get_all_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
don't
r
eallocate the ->po
s
sible
s
tates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Get
r
id
of
unused line
h
i
s
tory
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpente
r
Fix so
m
e memory leaks in
__imp
l
ied
_
stat
e
s_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rp
e
n
ter
Ad
d
fr
e
e
_
t
ra
c
ke
r
s_
a
nd_l
i
st() a
n
d
f
r
ee_tr
a
cker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
A
dd
n
ew free_st
a
ck()
f
unction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename del_sl
i
st
_
st
a
ck() to free_stack_and_slists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Car
p
e
n
ter
rename del
_
slist() -> free_sli
s
t()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
Free all the sm_states
a
t
the end of each fu
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Add ->possibl
e
to
__print_slist() out
p
ut
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Save all the po
o
ls
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
s
match impl
i
ed tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Pr
e
s
e
rve the ->pools and ->possible for implied states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n
Carpent
e
r
Fix
handling mu
t
ual
l
y exclusive sta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
nter
Get rid
of redundant harm
o
n
i
z
e_sta
t
e
s(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n
Carpen
t
er
Add function __set_tru
e
_false
_
sm
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpenter
On
l
y
s
ave an implied list if a state
has bee
n
modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
an
C
arpenter
Only implied
s
t
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
Da
n
Carpenter
Take a p
a
r
a
meter instead
of assuming
the output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Do
n
't c
h
eck that th
e
re
are both tru
e
a
n
d fals
e
s
tates
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
This check_or
d
e
r()
s
eems su
p
erfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
New function
h
armonize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
call __split
_
expr(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
re
m
o
v
e
u
n
needed calls to __us
e
_cond_tr
u
e_states(
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpe
n
te
r
Don't set
t
h
e
im
p
lied state to
&merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpente
r
Make c
m
p
_
tracker() a
c
c
e
ssib
l
e to
o
utside files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carp
e
nter
All the s
t
ates are impli
e
d
not just
u
n
ique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
ar
p
enter
I
m
prove lock
c
heck output
.
Add mo
r
e vali
d
ation samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add s
u
pport for down_interru
p
tible() and frie
n
ds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an
C
arpenter
F
ix th
e
Unclear locking thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpente
r
W
a
rn on do
u
b
le lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
Print few
e
r
Unclear locki
n
g
messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpenter
i
f ((1)) {
.
.
.
is a known
_
condition_t
r
ue
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add support for those funny
gcc ({
.
.
.
}) bl
o
ck statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
Handle dec
l
aration
s
inside swit
c
h
st
a
tement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cle
a
nu
p
is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
Add
kno
w
n
_
conditi
o
n_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Car
p
enter
Fix handling o
f
continue inside do whil
e
s
tat
e
men
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
D
o
n't set
l
et people
s
et states for
u
nreachable c
o
de
.
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
Da
n
Car
p
enter
Hand
l
e
th
e
iterator
s
co
r
rectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpent
e
r
Add support for
"
if (
a
?b:
c
)
{
.
.
.
" t
e
rnary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add some
s
up
p
ort for _spin_trylock()
a
nd friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpente
r
if
(
a || b) { a->
f
oo; shou
l
d print an
error
.
A
l
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This prints out error m
e
s
s
ages all t
h
e
t
ime that
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Car
p
e
n
ter
Assignment
a
l
w
ays se
t
s &isfr
e
e
d
t
o
s
omethi
n
g else l
i
ke
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
o
n't
print
cross_func errors i
f
the
c
all
e
d function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next