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
get rid of FUNCTION_CALL_AFTER_HOOK
2009-03-23
Dan Carpente
r
get rid of
FUNCTI
O
N
_CALL_AFTER_HO
O
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
change order of condition processing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpenter
ge
t
r
i
d of ASSIGNMENT_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
c
heck_memor
y
: read freeing fun
c
tions fro
m
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
D
an Carp
e
nter
frees
_
argument: don
'
t count functions that
o
n
l
y free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan Ca
r
penter
core: im
p
rove
anding
c
onditi
o
n handl
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n
Carpen
t
e
r
check_overf
l
ow: mov
e
to new a
d
d_function
_
hook(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_locking: move to the new function ho
o
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan
Carp
e
nter
check
_
loc
k
ing: fix
s
ome do
u
ble unlock false positiv
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
an Carpen
t
er
core
:
ad
d
_fu
n
ction_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
m
a
k
e
some vars sta
t
ic
.
othe
r
random s
p
arse stuff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carp
e
nter
c
ore: add_unmatched
_
stat
e
_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
implied: re-add the deb
u
g output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
c
han
g
e
convention: re
g
i
s
t
e
r
_
template() -> check_template()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Carpente
r
locking: a
d
d some more
m
utex f
u
nction
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
Make --
k
nown-conditions an opti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
handle
k
n
own conditions
b
ette
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
a
r
penter
check_memory: add r
u
dimentary validation tes
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
n
ew script to p
r
int
a
list of f
u
nc
t
io
n
s
w
hich
f
r
e
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpenter
check_memory:
m
a
ke argum
e
nts st
a
tic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
template: fix memory
leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpen
t
er
t
emplate: remo
v
e unused header, up
d
at
e
comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_lock
i
ng: add mutexes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
c
h
e
c
k
_
memor
y
: add kz
a
l
loc(), more comple
x
var
i
a
bles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
t
e
r
implied: handle &undefine
d
bett
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpen
t
er
info:
loop
could be repl
a
ced with if st
a
t
e
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpen
t
er
k
c
hecker:
ad
d
"--sparse" option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
a
rpenter
sma
t
ch_imp
l
ied/sl
i
st:
m
ove fun
c
tions from slist to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Carpent
e
r
c
h
ec
k
_memory: use
c
ompl
e
x var
i
ables inste
a
d
o
f regul
a
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpent
e
r
check_mem
o
ry: assume parents a
s
signed on all pat
h
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpente
r
check_
m
emory: More changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
Carpenter
assig
n
m
e
n
ts ca
n
add a parent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpen
t
er
Handle initi
a
lization
in the
d
eclarations
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
rp
e
n
ter
Cut down on false positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan
C
arpen
t
e
r
Parse the return statement before calli
n
g the return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpe
n
ter
Fix
crashing bu
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
a
n Carpenter
Remove some false positi
v
e
s and
enable the check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
an Carpent
e
r
Demote argument n
u
ll derefs to cross func null derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan
C
arpen
t
e
r
Label the output: err
o
r, warn, or
i
nfo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpent
e
r
Add a hack
t
o handle th
e
kerne
l
's
r
edefined if
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Car
p
enter
Han
d
le more
c
ompari
s
o
ns t
h
an
j
u
s
t (foo == 0) and (foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Carp
e
nter
c
h
e
ck_locking:
a merge with NULL is a
m
e
r
ge with the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Car
p
enter
R
emove unneeded
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Car
p
ent
e
r
A
dd line
n
umber
ba
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
an Carpen
t
er
Use the most recent implicat
i
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
arpenter
Add option --as
s
ume-
l
oops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add an option
--no-implied to tu
r
n o
f
impl
i
c
a
tio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpenter
implied pools: cl
e
anup h
o
w
i
mp
l
ie
d
p
o
ols are creat
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan
C
arpenter
c
heck_memory: separate out a
m
allo
c
ed
state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
All along
I
was ad
d
i
ng the pools
to
the wrong pl
a
ce
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
Carpenter
Clean
u
p
.
Move a couple ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Add a
s
a
nity c
h
eck that ->possible has a ->my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Clean
up
.
Freeing the sm_states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
arpenter
Oring the
slists
s
e
ems lik
e
merge_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
A
d
d
a --debug-i
m
plie
d
optio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carp
e
nter
ch
e
ck_m
e
mory: Fi
x
s
e
gfault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Da
n
Carpen
t
e
r
kchecker: he
l
per scr
i
pt to invo
k
e smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan C
a
r
p
en
t
er
check_memory: new code
.
not u
s
ed
y
et
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpen
t
er
Fix bug in
c
ompound conditions and add validation
t
est
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Carp
e
nter
c
h
eck_locking: handl
e
function
s
with no return s
t
atem
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix so security_fixup_ops() doesn'
t
trigger th
e
OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n Ca
r
penter
Fix 'or'i
n
g state
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpe
n
t
er
Fix
NULL de
r
ef
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan C
a
rpent
e
r
For some rea
s
on
sm
a
tch can
'
t
find t
h
ese header files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
C
a
rpenter
Fix
string memory le
a
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
Re
m
ove unnee
d
e
d
a
llo
c
at
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove outda
t
e
d
commen
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
C
a
rpenter
Do
n
't __f
r
ee_sm_s
t
ate() unti
l
end o
f
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
free_slist() after cal
l
ing get_al
l
_stat
e
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
ent
e
r
do
n
't realloc
a
te t
h
e
->pos
s
ib
l
e sta
t
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
G
et rid
o
f unu
s
e
d line history code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
Fix some me
m
ory
l
eaks in __implied_states
_
hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
A
d
d fre
e
_
t
rackers_and_list(
)
a
n
d
free_tr
a
cker_list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
Add new free_stack() fu
n
cti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Ca
r
penter
r
e
name
del_slist_sta
c
k() to free_stack_an
d
_slis
t
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
rename de
l
_slist() -> free_s
l
ist(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Free all the sm_states at
t
h
e
e
n
d of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n
Carpenter
Ad
d
-
>
p
ossibl
e
to __print
_
slis
t
() ou
t
put
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n
C
a
r
p
en
t
er
Save
all th
e
pools a state go
e
s
through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n
C
arpente
r
Add and
f
i
x smatch
implied tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpenter
Preserve t
h
e
->pools and ->possible for implied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Fix handling mutually e
x
clusive stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpen
t
er
G
e
t
rid o
f
redunda
n
t harmonize_
s
tates
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
a
rp
e
n
ter
Add function __
s
et_true
_
f
alse_s
m
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Carp
e
nter
O
n
ly sav
e
an impli
e
d list if a
state has
bee
n
modifi
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
C
ar
p
enter
Only impli
e
d
s
t
a
tes that
aren't a
l
r
e
ady
true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Ca
r
pent
e
r
Take a
parameter
inste
a
d
of assuming
the out
p
ut
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don't c
h
eck
t
hat there
a
re both tr
u
e an
d
false states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
T
h
is check_orde
r
() s
e
ems
s
u
p
erfl
u
ous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Car
p
enter
New f
u
n
ction harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carp
e
nter
call _
_
split_e
x
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpent
e
r
remove unneeded call
s
to __u
s
e_cond_true_state
s
();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
arpente
r
Don't set the i
m
plied st
a
te to
&
me
r
ged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Mak
e
cmp_tracker
(
)
a
cc
e
ssible to outside f
i
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpe
n
ter
All th
e
sta
t
es are implied not just unique ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Car
p
ent
e
r
Improve lock check output
.
Add more
v
alidat
i
on
samp
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
p
enter
Add
s
upport
f
o
r
down
_
i
nt
e
rrup
t
ible
(
) and fri
e
nd
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
C
arpe
n
ter
Fix the Unclear
locking
t
hing
.
A
gain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Warn on double lock/un
l
o
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
Print fewer Unclear
loc
k
ing messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next