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
Add option --assume-loops.
2009-03-08
Dan Carpente
r
Add option --as
s
um
e
-loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Car
p
enter
Add
a
n o
p
tion --no-imp
l
ied to turn of im
p
lications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
D
a
n
C
a
rpenter
implie
d
po
o
ls:
cleanup
ho
w
i
m
plied pool
s
a
re created
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
c
h
eck_
m
e
mory:
separ
a
te out a malloced state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan
Ca
r
penter
All along I was add
i
n
g t
h
e pools to the wron
g
plac
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
Carpenter
Clean up
.
Move a couple ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
Carpent
e
r
Add a sanity check tha
t
->poss
i
ble has
a
->
m
y_poo
l
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Clean up
.
F
r
eeing
t
he sm_states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Oring the slists seem
s
like merge_slist(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Add a --debug-implied option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
check
_
m
e
mory:
F
ix segfault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
k
c
hecker:
h
el
p
e
r script to invoke smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
an Carp
e
nt
e
r
check_memory: new
c
o
d
e
.
not used yet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
an Carp
e
nter
Fix b
u
g in compoun
d
conditions and add validation te
s
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carpenter
ch
e
ck_lock
i
ng: handle functio
n
s with no return st
a
tement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n Ca
r
penter
F
ix so security_fixup
_
ops() doesn't trigge
r
the OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Ca
r
penter
F
i
x
'or'ing st
a
tes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carp
e
nter
Fix NULL
d
e
r
e
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
an
C
arpe
n
t
er
For som
e
r
e
a
son smatch can't find these header fil
e
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpen
t
er
Fix string mem
o
ry leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
ar
p
enter
Remov
e
u
n
need
e
d al
l
ocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
Remove outdated comme
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an
C
arpenter
D
o
n't
_
_free_s
m
_s
t
ate() u
n
til end of fun
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
f
r
e
e_slist() after call
i
ng get_all_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
r
penter
don't reallocate the ->
p
o
s
si
b
le states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpente
r
Get ri
d
of u
n
used
line
h
isto
r
y code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fix
some memory leaks in
__i
m
plied_states_hoo
k
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
Add
f
ree_tracker
s
_and
_
li
s
t() and free_tracker_list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
Ad
d
new
f
ree_stack() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Ca
r
penter
rename
d
el_slist_stack() to free_
s
t
a
c
k_
a
nd_slis
t
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename del_
s
list(
)
-> free_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
Free all the sm_states at the end of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Da
n
Carpen
t
er
Add ->
p
ossi
b
le to __pr
i
nt_
s
list
(
) outp
u
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Da
n
Carpenter
Save all the pool
s
a
state goes
t
h
rough
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Car
p
enter
Add and fix sma
t
ch imp
l
i
e
d
te
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
nt
e
r
P
r
eserve the ->pools and -
>
possible for
i
mp
l
ied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
arpenter
Fix handling mutua
l
ly e
x
clusive state
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
penter
Get
r
id of
r
edundant h
a
rmon
i
ze_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add func
t
ion _
_
set_tru
e
_false_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
Carpenter
Onl
y
save a
n
imp
l
ied l
i
st
i
f a state
h
a
s
been modi
f
ied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpente
r
Only implied
state
s
that aren't already
true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpenter
Take a parameter i
n
stead of
a
ssumi
n
g
t
he output is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpente
r
Don't check tha
t
there are both t
r
u
e a
n
d false states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Car
p
ente
r
This c
h
e
c
k_ord
e
r() seems superfluo
u
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
Carp
e
nter
New
function har
m
on
i
ze_states
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Car
p
enter
cal
l
__split_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n
C
ar
p
ente
r
remove
u
nneeded ca
l
ls
to __us
e
_cond_tru
e
_stat
e
s
();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpenter
D
o
n
't
set the imp
l
ied state
to &me
r
ged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Make
c
mp_t
r
acke
r
() accessible to outside files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n
Carpenter
A
ll the states are implied
n
ot just unique ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
p
enter
Improve lock check out
p
ut
.
Add more v
a
l
i
dation s
a
mples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
e
r
Add support for
d
own
_
interr
u
ptibl
e
(
)
and friend
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpenter
Fix the Unclear
l
ocking thing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
W
a
rn on double
l
o
ck/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nte
r
Print fewer Unclear
l
ock
i
ng messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1)) {
.
.
.
is
a
k
nown_cond
i
tio
n
_tr
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpenter
A
dd support for those funny gcc ({
.
.
.
})
b
lock statement
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Handle declarations in
s
ide s
w
i
t
c
h
statem
e
nt block
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Cle
a
nup is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add kno
w
n
_condition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix handling of cont
i
nue ins
i
de do while statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpe
n
t
e
r
Don't set let people set sta
t
es
for
unreachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small
clea
n
up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Ha
n
d
le th
e
ite
r
ators cor
r
ectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add
support
f
or "if (a?
b
:c)
{
.
.
.
" ter
n
ary cond
i
t
ion
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
A
d
d some support fo
r
_spin_trylock() and
friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carpenter
if
(
a || b) { a
-
>fo
o
; 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
Thi
s
prints out error mess
a
g
e
s all
t
he
t
i
m
e that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
an Carpenter
Assignm
e
nt
a
l
ways sets &isfree
d
to some
t
h
ing else lik
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Don't p
r
int
cross_
f
unc errors
if the ca
l
led functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carp
e
nte
r
Rem
o
ve call to alloc_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
n
ter
C
a
ll the m
e
rge_hook() instead
of setting the
state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Meant to commi
t
t
h
is earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Add the m
e
rge_hoo
k
(
)
back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Clear the r
e
t
urn
s
lists at t
h
e
end
of ea
c
h fun
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpente
r
M
o
v
e
the
implications chec
k
ing t
o
after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nt
e
r
Rewrite comp
l
etely with new g
o
al
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
A
d
d some fu
n
ctions to han
d
le
t
rac
k
er l
i
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Don't s
e
gfault
a
ll the time
when
c
h
ecki
n
g forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
e
nter
T
est to
s
ee if we are catching cros
s
f
u
nction derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Use th
e
->possible states a
n
d
rem
o
v
e
th
e
merge_hook(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
"w
h
ile
((1
)
) {" is a
for
e
ver
l
oop
.
C
all strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to the
-> possible
setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpenter
Merg
e
branc
h
'mas
t
er
'
in
t
o null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validation script
f
or check_
n
u
l
l_
d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clea
n
up
.
new->po
s
sible is
a
lways
null h
e
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
er
Oops
.
->possible
s
wasn't getting set
co
r
re
c
tly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
C
a
rpenter
Use
s
tri
p
_expr() in
split
_
conditions()
i
nstead repro
d
ucin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpen
t
er
Add some
m
ore operation
s
to
get_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return
&merged instead o
f
&undef
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
make get_value() retu
r
n a
v
a
lue for bitwise
o
r expres
s
ions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try a
g
ai
n
removing
s
t
a
tes from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Revert "Remove a state from
it's ->poo
l
s
w
h
en set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
ent
e
r
Eliminate a
w
a
rning
.
P
r
obably the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Com
m
ents
.
Re
n
ame slist_stack to
n
a
med_sta
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
H
a ha
.
I still s
u
ck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Ca
r
pent
e
r
Clean
u
p
s
.
C
o
mments
.
Remove
d
ebug
g
ing code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
Also
p
rese
r
ve the ->po
o
ls in one path
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Cl
e
an up get_stat
e
_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Remo
v
e
__ove
r
w
r
ite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next