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
Dan C
a
rpent
e
r
Mak
e
--known-condi
t
io
n
s an option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpente
r
handle know
n
condi
t
ions better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
an Carpenter
check_memory: add
r
u
dim
e
ntary validation test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
new scr
i
pt to pri
n
t
a list of functions whic
h
free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
che
c
k_memory: m
a
ke a
r
guments
s
tatic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
penter
t
e
m
p
late: fix mem
o
ry leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carp
e
nter
templ
a
t
e
: remov
e
unused hea
d
er,
u
pdate comme
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpenter
check_locking:
add
m
utexes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
rpenter
check_
m
e
mory: add
k
za
l
loc(
)
, mo
r
e c
o
mplex variables
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
implied:
h
an
d
le
&
u
ndefined bette
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
an Carpe
n
t
e
r
info: l
o
o
p could
b
e
replaced with if stat
e
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
an Carpe
n
t
e
r
kchecker: add
"
--
s
parse" optio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
arpenter
sm
a
tch_
i
mp
l
ied/slis
t
:
mo
v
e function
s
f
rom s
l
ist to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n Carp
e
n
t
er
check_memory: use complex varia
b
les
ins
t
ead of reg
u
lar
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
a
r
p
e
n
t
e
r
che
c
k_
m
em
o
ry: assu
m
e
par
e
nts assigned
o
n
a
l
l paths
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
check_memory:
M
or
e
c
hanges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
an Carpenter
assignments can add a parent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Han
d
le initialization i
n
the declarations;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan
C
arpent
e
r
Cut
down o
n
false positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan
C
arpenter
P
a
r
s
e the
r
eturn statement
b
e
f
ore calling th
e
return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
an Carpenter
Fix c
r
ashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Remove some false positives
a
nd enable the chec
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpent
e
r
Demo
t
e arg
u
ment null der
e
fs to
c
ro
s
s func null
derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Ca
r
p
e
n
t
er
L
abel the output
:
error, wa
r
n
,
o
r info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpen
t
er
A
d
d a
h
ack to
h
andl
e
the ke
r
nel's rede
f
ined if
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Da
n
Carpenter
Ha
n
dle m
o
re comparison
s
t
han j
u
st (foo =
=
0) and (foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
check_locking: a mer
g
e with NULL is a
m
erge with the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
an
C
a
rpent
e
r
Re
m
ove u
n
needed code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
arpenter
Add line number back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Use
the most recent
i
mplications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add option --a
s
sume-l
o
op
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add an option
--no-implied
t
o
t
urn of imp
l
i
cati
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Da
n
Car
p
enter
implie
d
pools:
cleanup
how im
p
lied
p
ools
are created
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpe
n
ter
c
h
ec
k
_memory:
sepa
r
ate out a malloced state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
D
a
n
Carpenter
Al
l
along I wa
s
adding
t
he pools
t
o
t
he wrong pl
a
c
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
arpenter
Clean up
.
Move a couple if
d
efs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Add
a
sanity check
that ->possible has a -
>
my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Ca
r
p
e
nter
Clean
u
p
.
F
r
eeing the sm_states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Car
p
ent
e
r
Oring the s
l
ists seems
li
k
e merge_slist
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
C
a
rpen
t
er
Add
a
--deb
u
g-
i
m
plied option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpent
e
r
check_
m
emor
y
: F
i
x segf
a
ul
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpenter
kchecker: help
e
r script to invoke sm
a
tc
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
c
heck_memo
r
y: new code
.
not used yet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Ca
r
penter
Fix
b
u
g
in compound condit
i
ons a
n
d add validation test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
check_locking: handle fun
c
t
i
ons with no return stateme
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n Carpenter
Fix
s
o
s
ecur
i
t
y_fixu
p
_ops() does
n
'
t
trigg
e
r t
h
e
O
OM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpent
e
r
Fix 'or'ing states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
C
a
r
penter
Fi
x
N
ULL deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpenter
For some rea
s
o
n smatch c
a
n'
t
find these header
f
i
les
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
pent
e
r
Fix
s
trin
g
me
m
o
r
y
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpe
n
ter
Remove unnee
d
e
d
allocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpent
e
r
Remo
v
e outdated comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carp
e
nt
e
r
Do
n
't __free_sm_s
t
a
te() until end
of function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
e
n
t
e
r
f
ree_slist()
after c
a
lling get_all_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpente
r
d
o
n
'
t reallocate
t
he ->p
o
s
sible
s
t
ates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Car
p
en
t
er
Get rid of unused line hi
s
to
r
y c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an C
a
rpenter
Fix some
m
emory lea
k
s in __implied_stat
e
s_
h
o
ok()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nte
r
Add free_tra
c
k
e
rs_and_lis
t
() an
d
free_t
r
acke
r
_list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
e
n
ter
A
d
d new fr
e
e_stack() func
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpen
t
er
ren
a
me del_slist_stack() to
f
r
ee_stack_and_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rena
m
e
d
el
_
slist() ->
f
ree_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
F
r
ee all
the
sm_
s
tates a
t
t
h
e end of each
f
unction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan C
a
rp
e
nter
A
dd ->possible to _
_
print_slis
t
() output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Car
p
enter
Save al
l
th
e
poo
l
s a sta
t
e goes through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
pe
n
ter
Ad
d
a
n
d fix
s
match implied t
e
st
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an
Carpen
t
er
Preserve the ->
p
ools and ->p
o
ssible for implied
s
t
ates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
C
arpenter
Fix ha
n
dl
i
n
g
m
u
tually exclusive states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Car
p
en
t
er
Get rid of redundant harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
r
penter
Add function
__
s
et_true_false_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpe
n
ter
Onl
y
s
ave an imp
l
ied list if a state has b
e
en modified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Car
p
e
n
ter
Only impli
e
d states t
h
at aren
'
t alre
a
d
y
tr
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
penter
Take a paramete
r
in
s
tead of assu
m
ing the out
p
ut is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
Carpenter
Do
n
't
c
heck that there are both true and false
s
tates
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpente
r
Th
i
s ch
e
ck_o
r
der() seem
s
superfluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Ca
r
penter
New function harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call __split_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remove u
n
needed cal
l
s to __use_cond
_
true_states(
)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpenter
Don't
s
et
t
he imp
l
ied state to &merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n
C
a
r
pe
n
ter
Make cmp_tracker() accessi
b
le to outside file
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpe
n
ter
All
the states are implied
n
ot just uniqu
e
ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n
C
a
rpe
n
t
er
Improve lock
c
heck ou
t
put
.
Add more
validation samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Ca
r
penter
A
d
d support for down_interruptible() an
d
f
r
iends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
ar
p
ent
e
r
Fix the U
n
clear locking
t
hing
.
A
gain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Warn on dou
b
le lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewe
r
Uncl
e
ar lockin
g
m
e
ssages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
if ((1)) {
.
.
.
is a known_c
o
ndi
t
i
o
n_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
a
rpenter
Add support f
o
r those funny
gcc ({
.
.
.
}) b
l
ock statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Handle declarations inside
s
w
itch sta
t
e
m
ent blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Clea
n
up is_z
e
ro()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
r
penter
Add known_c
o
ndi
t
i
o
n
_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix handling of continu
e
i
n
side do while
s
tatements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpent
e
r
Don't set let peopl
e
set states for unr
e
ac
h
able code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small c
l
eanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
H
andle the i
t
erators correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carp
e
nter
Add support for "if (a?b:c) {
.
.
.
" ternary conditio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add some su
p
port
for
_
spin_trylock() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
rpenter
if (a
|
| b) { a->foo; should print
an
e
r
ror
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arp
e
nter
This prints o
u
t error messages al
l
the time
that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assign
m
ent alway
s
sets &isfreed to
s
om
e
thin
g
else li
k
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't prin
t
cross_func er
r
ors
if the calle
d
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next