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 validation test harder.
2009-03-23
Dan Carpenter
f
ix o
r
der
o
f
p
rocessi
n
g of commas
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an C
a
r
penter
get r
i
d
of FUNCTION_C
A
L
L
_AF
T
ER_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
c
hange
o
rde
r
of c
o
nd
i
ti
o
n p
r
oce
s
sing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get ri
d
o
f
A
S
SI
G
NMEN
T
_AFTER_H
O
OK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
ch
e
ck_memory: read freeing
functions from
f
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan
C
arp
e
nter
ch
e
ck_memor
y
:
r
ead
f
reeing functions from fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
D
an Carpenter
frees_argumen
t
: don't co
u
n
t
functions that o
n
l
y
free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpent
e
r
core:
i
m
prove anding c
o
n
ditio
n
handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Ca
r
pen
t
er
ch
e
ck_overf
l
ow:
m
ove
t
o
new
a
dd_function_
h
oo
k
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpen
t
er
check_locking: move to the new
f
unct
i
on hook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan
Carpen
t
er
check_loc
k
ing: fix so
m
e
doub
l
e unlock
false pos
i
tives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
core: add_functi
o
n_ho
o
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
make som
e
vars static
.
ot
h
er rando
m
spa
r
se stuff
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
core:
a
dd_unmatched
_
s
t
ate_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
implied:
re-a
d
d the d
e
bug o
u
tput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
ch
a
nge convention:
register_template() -> check_templ
a
te
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
l
o
cking:
a
dd so
m
e more
m
utex
f
unct
i
on
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Carpenter
Mak
e
--know
n
-
c
ond
i
tions
an opti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
Carpenter
ha
n
dle
k
n
o
wn conditi
o
ns bet
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arp
e
nter
che
c
k
_
memo
r
y: add
rudi
m
entary val
i
d
a
ti
o
n test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpent
e
r
new script
to prin
t
a list of functions
w
h
i
ch
f
ree
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpen
t
e
r
check_memory: m
a
ke arguments
static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carp
e
nter
template: fix m
e
mory l
e
ak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
template:
r
emove unused
h
eader, u
p
date com
m
ents
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carpenter
check_locking: ad
d
mutexes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_memory: add
k
z
alloc(), more c
o
mplex variables
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carpenter
impl
i
ed: hand
l
e &u
n
defi
n
ed b
e
tte
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
inf
o
:
loop c
o
uld be replaced with if state
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
kchec
k
e
r: a
d
d
"--sp
a
r
s
e" option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpent
e
r
smatch_implied/slist: move functions from
s
list
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
check_me
m
o
ry: u
s
e co
m
p
lex variables inst
e
ad
of regul
a
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
che
c
k
_
memory: assume parents a
s
signed on
all pa
t
hs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan
C
arpenter
che
c
k
_
memory:
M
o
re
c
hanges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
a
ssignmen
t
s ca
n
add a parent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n Carpenter
Handle initializa
t
ion in the declarations;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
Carpenter
Cut d
o
wn
on
false pos
i
t
i
v
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
an
Carpente
r
P
a
rse the return statement
befor
e
ca
l
ling the return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan C
a
r
p
e
n
ter
Fix crashi
n
g bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carp
e
nter
Remo
v
e so
m
e
false posi
t
ives and en
a
b
l
e
the chec
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpente
r
Demot
e
argume
n
t nul
l
derefs to cross func null derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan C
a
rpenter
Label
the output
:
e
r
r
or, wa
r
n
,
or inf
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan
Carpenter
Add
a
hack to handl
e
t
h
e kernel'
s
redefined if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpente
r
H
andle more
comparisons than
just
(foo == 0) and (fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
C
arp
e
nter
check_loc
k
ing: a m
e
rge with NULL
i
s a mer
g
e with the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpe
n
ter
Re
m
ove unneeded cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpen
t
er
Add line number back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
C
arpenter
Use
t
he most recent imp
l
i
catio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n
C
ar
p
enter
A
dd opt
i
on --
a
ssume-loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpen
t
er
Add an option
-
-no
-
i
mplied to turn of implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Da
n
Carp
e
nter
implied pools: cleanup how implie
d
pools are created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan
Carpen
t
e
r
c
he
c
k_memory: se
p
arate out
a
m
a
llo
c
ed state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
All along I wa
s
ad
d
ing th
e
pools to the wro
n
g place
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nter
C
l
e
an up
.
Mo
v
e a couple i
f
de
f
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
an Carpenter
Add
a
sanity check that ->possible has a ->
m
y_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
C
l
ean up
.
Freeing the sm_states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n
Carpenter
Oring the s
l
ists s
e
ems
l
ike m
e
rge_
s
list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n C
a
r
pe
n
ter
A
d
d
a --debug-im
p
li
e
d o
p
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
D
an Carpe
n
t
er
check_memory: Fix segfaul
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpente
r
kchecker: hel
p
er script to
invoke smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
check_memo
r
y: new code
.
n
ot used yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
Fix bu
g
in compound conditions an
d
add validation t
e
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
penter
check_locking: handle functions with no return
s
t
a
te
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
a
rp
e
nter
Fix s
o
s
e
curity_fixup_ops() doesn't
t
rigge
r
the OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
F
i
x
'or'ing s
t
ates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpen
t
er
Fix
NULL d
e
ref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For some reason
s
match can't find
t
hese
h
e
ader files
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
penter
F
i
x st
r
i
n
g memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
Remove unneeded allocation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
pent
e
r
Re
m
ove outdated comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
ar
p
ente
r
Don'
t
__free_sm_state() until end of fu
n
c
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpente
r
fre
e
_
slist() after callin
g
get_a
l
l
_
states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carp
e
nter
don
'
t
real
l
oc
a
te the ->possible stat
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Get rid of unused l
i
ne history co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
F
i
x some memory leaks in
__implied_state
s
_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
Add free_trackers_and_list()
and free
_
t
racker_li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
Add new free_stack
(
) function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
ren
a
me d
e
l_slist_stack() t
o
free_sta
c
k_and_slists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
rename del_slist()
-
>
f
ree_
s
l
ist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
pent
e
r
Fre
e
a
l
l
the sm_states at t
h
e en
d
of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan
C
arp
e
nte
r
Add ->
p
ossible
t
o __p
r
i
nt_slist() ou
t
put
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan
C
arp
e
nter
Sa
v
e all the pools a state
g
oes th
r
ough
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add a
n
d fix smatc
h
impli
e
d tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpenter
Preserve the ->pools
a
n
d ->possible for im
p
lied
stat
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
an
C
arpe
n
ter
Fix handling mutu
a
lly ex
c
lusive states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Get rid of re
d
undant harmonize_sta
t
e
s
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Car
p
e
nter
Ad
d
function
_
_se
t
_true_fals
e
_
sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan
C
arpenter
Only
save
an imp
l
ied list if a s
t
ate
has been modif
i
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
O
n
ly implied states that aren't
a
lre
a
dy tr
u
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Carpenter
Take a para
m
e
t
er in
s
t
ead of ass
u
m
ing t
h
e output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Do
n
't
check tha
t
there are both true and f
a
lse
s
tates
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
an
C
a
rp
e
nt
e
r
This check
_
o
r
der()
s
eems superfluou
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
N
e
w
functio
n
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 Carp
e
nter
re
m
ov
e
u
n
needed c
a
ll
s
to _
_
u
se
_
cond_true_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
p
e
nter
Don't
se
t
the implied state t
o
&merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Mak
e
c
mp_t
r
acker()
a
cce
s
si
b
l
e
to outside
f
ile
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
All
the states
are
i
mplied not just unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpe
n
ter
Improve lo
c
k chec
k
output
.
Add more validation sampl
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpenter
Add support f
o
r d
o
wn_interru
p
tible() and friend
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an C
a
rpenter
Fix t
h
e
U
ncle
a
r loc
k
ing
thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next