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 --no-data option and warning.
2009-04-04
Dan Ca
r
penter
Ad
d
--no-dat
a
option an
d
warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
an Carpenter
r
a
nge fix
.
and
i
ng sl
i
st
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
arpent
e
r
clean
u
ps from clone_sli
s
t() changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Da
n
C
arpenter
I
m
plied ranges
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
D
a
n
C
arpente
r
A
dd the alloc
a
tion funcs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpe
n
ter
free_scq is
defined 2
times quite differ
e
ntly
.
I
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Ca
r
penter
F
ix imp
l
ications (fa
l
lout
from clon
e
_slist() cha
n
ge
s
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
arp
e
nter
Major me
m
ory savi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
--debug m
e
ans
pr
i
n
t
the
implicati
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Ca
r
penter
Add --no-implied to the
h
el
p
text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carp
e
nter
Save me
m
ory
.
Do
n
'
t
copy
the
s
ta
t
e name so m
u
c
h
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Add
c
heck_type
.
c (d
i
sabled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carp
e
nter
kr
e
f
_put() and kob
j
e
ct_put() are b
a
sically like a f
r
ee()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpenter
Don't dereference fre
e
d memo
r
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Ca
r
pe
n
ter
Add all the
allocati
o
n function
s
to
check_leak
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Generate a list
o
f
f
u
nction
s
that al
l
o
c
a
t
e da
t
a
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Da
n
Carpenter
U
pdate the gen_frees_list
.
sh
a
nd t
h
e generated d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Car
p
enter
Sav
e
function lists in s
m
atch_da
t
a/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
n
e
w (disabled)
script: check_leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan
C
arpenter
implied: add
g
e
t_implicatio
n
s() for scripts to
u
se
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
an Carpe
n
ter
Add
c
o
m
m
e
nt
.
get_value returns U
N
DEFI
N
ED on error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
arpen
t
er
f
u
nctio
n
_hooks
:
b
ump the number of entri
e
s in t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
Car
p
enter
new: add_function_assign_
h
ook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
a
rpenter
Clean up
th
e
cond
i
ti
o
nal hook code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpenter
n
ew a
p
i: ad
d
_c
o
nditi
o
nal_
h
ook(), s
e
t_
c
ond_s
t
ate
s
();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
f
un
c
tio
n
_hooks: pass the function name as wel
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan C
a
rpe
n
t
er
d
o
n't try return
block things in get_variable_from_expr_co
m
p
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n Carpe
n
te
r
Ad
d
a list of noret
u
rn type functions
that nullify
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpe
n
ter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpe
n
ter
recompile the ch
e
c
k
_*
.
c
f
i
l
e
s if th
e
s
m
a
t
ch
headers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Car
p
e
n
t
er
che
c
k
_ove
r
f
l
ow: tes
t
c
o
py_to/from_u
s
er as we
l
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
check_
o
verflow: don't m
u
ltiply the size of strings
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
rpent
e
r
assumed_nonnull cra
p
.
.
.
t
e
mp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpente
r
Add script to
g
e
n
erat
e
the frees list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
rena
m
e register
_
fre
e
s_argume
n
t
t
o
c
hec
k
_frees_argument
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Ca
r
penter
fix orde
r
o
f processi
n
g of
c
ommas
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
g
et ri
d
of FUNCTI
O
N_CALL_
A
FTE
R
_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpente
r
ch
a
nge
o
r
d
er o
f
c
o
ndition processing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n
C
a
rpenter
g
et
r
id
o
f AS
S
IGNMENT_AFTER_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check_memory: read freeing fun
c
tions f
r
om file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
c
heck_memo
r
y: read freeing
f
unctio
n
s from fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
frees_argument: don'
t
c
ount functions that only free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpenter
core: i
m
pro
v
e a
n
ding
condition handli
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan
Carpenter
check_o
v
erflow:
mo
v
e to new add_function_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Ca
r
penter
che
c
k_lock
i
n
g
: move to the new functi
o
n
hoo
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_locking: fix some d
o
uble unlock false positives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpenter
cor
e
:
a
d
d
_
fun
c
tion_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
make
some vars st
a
t
i
c
.
other random sparse stuff
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Car
p
enter
core:
a
d
d_unmatched_state_h
o
ok()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Carpe
n
ter
implied: re-add t
h
e debug output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Carpenter
c
hange convent
i
o
n
: regi
s
t
e
r_templa
t
e() -> check_template
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Carpenter
l
o
cking
:
ad
d
some
m
or
e
mut
e
x fun
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
Mak
e
--
k
nown-cond
i
tions an option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
Car
p
enter
handle
known cond
i
t
i
ons better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_
m
emory: ad
d
rudimentary v
a
l
idation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
e
nter
new scri
p
t to prin
t
a
list o
f
functions w
h
ich free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpen
t
er
check_m
e
m
ory: make arguments st
a
tic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
ter
t
e
mplate: fix
memo
r
y
l
eak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
an C
a
rpenter
temp
l
ate:
r
e
m
ove
unus
e
d
h
eade
r
,
u
p
date comm
e
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
rpenter
check_locking: add
mu
t
exes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carp
e
nte
r
che
c
k
_memory: add kz
a
lloc(), m
o
re complex variab
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
implied: handle &und
e
fined
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
info: loop could be repl
a
c
ed with if statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Ca
r
penter
kchecker: a
d
d "--spars
e
" option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
smatch_implied/slist: move
functions from slist to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
Ca
r
penter
ch
e
ck_mem
o
r
y
: use comp
l
ex varia
b
les in
s
tead
of regular
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n Carpen
t
e
r
che
c
k
_
me
m
o
ry: ass
u
me parents
assigned on al
l
paths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
che
c
k
_
memory: More changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
an Carpente
r
assignment
s
can ad
d
a parent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
r
p
enter
Hand
l
e initialization in the d
e
clar
a
tions;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpe
n
ter
Cut d
o
wn on false posi
t
ives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
Carpenter
Pa
r
se the re
t
urn s
t
a
t
ement befo
r
e
calling the
ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
F
i
x c
r
ash
i
n
g
bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpente
r
Remov
e
some f
a
l
se
p
osit
i
ves a
n
d enab
l
e the c
h
ec
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Demote argument null derefs
t
o cro
s
s func nu
l
l derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Labe
l
the o
u
tput: error, warn
,
or in
f
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Add a h
a
ck to
h
andle the kernel's redefined if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Da
n
Carpenter
H
a
ndle more c
o
mpariso
n
s than
just (f
o
o == 0) and
(
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
c
he
c
k_locking: a m
e
r
ge with NULL i
s
a
merge
w
ith the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
Carpenter
Remove u
n
needed
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
arpenter
Add lin
e
number back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpente
r
Us
e
the most recent implicat
i
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
arpent
e
r
Add opt
i
on --assume-
l
oop
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
rpen
t
er
Add an
option --no-implied to
turn o
f
implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpenter
imp
l
ied pools:
cleanup how implied pools are created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
c
heck_memory:
s
epar
a
te out a m
a
ll
o
ced
s
t
a
te
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
All
along I was adding the p
o
ols to
the
wron
g
place
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
arpe
n
t
e
r
Clean up
.
Move
a
couple ifdef
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Ca
r
penter
A
d
d a san
i
ty ch
e
ck that ->possib
l
e has a
-
>my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
C
arp
e
nter
Cle
a
n up
.
Freeing
t
h
e sm_s
t
a
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n
Carpen
t
er
Or
i
ng the
slists s
e
ems like
merg
e
_s
l
ist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Car
p
enter
Add a --debug-
i
mp
l
ied opt
i
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
che
c
k_memory:
Fix segfault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpente
r
kc
h
ecker:
h
el
p
er
scrip
t
to invoke sm
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpenter
check_
m
emory: new code
.
no
t
u
sed yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpent
e
r
F
i
x bug in
c
ompou
n
d conditio
n
s an
d
add validation t
e
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpen
t
er
che
c
k_locking
:
handle fun
c
tions with
n
o
return statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n
C
a
rpent
e
r
Fi
x
so security
_
fixup
_
o
p
s
()
d
o
e
sn't
t
rigger the OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpe
n
ter
Fix 'or'ing states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
pe
n
ter
Fix NULL de
r
ef
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next