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
Separate the list of freed arguments from decremented args.
2009-04-07
Dan
C
a
r
pe
n
ter
Separ
a
te the list of freed arguments fr
o
m decremented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Write a
s
cript to
p
ri
n
t functions
t
hat
return NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
t
er
Don't free bin_di
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carp
e
nter
Oops
.
Commit these essential files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpent
e
r
H
andle
k
nown c
o
n
ditions when the
y
are a simple value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Carpenter
Add C
A
SE_
H
OOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Car
p
en
t
er
Fix memory le
a
ks found
b
y valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
ter
alloc_string() -> alloc_sname
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpenter
P
u
t
s
o
m
e
va
l
idation scripts in the close
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Im
p
lied ranges
.
Pa
r
t
#2
.
Filters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpenter
Silence the mutually e
x
clusive output again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Free all da
t
a_info at the end
o
f a func
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
arpenter
Add --no-data option and warn
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan
Carpenter
range fix
.
anding slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
an Carpenter
cleanups from
c
l
one_sli
s
t()
c
hanges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
an Carpenter
Impl
i
ed
ranges
.
Part #1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpen
t
er
Add the allocation
funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
free_scq
is defined 2 times quite differently
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpenter
Fi
x
implications (fallout from clone_slist() changes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpent
e
r
Ma
j
o
r
memo
r
y
s
aving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
arpenter
--de
b
u
g
m
eans
print the implicatio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Add --no-implied to the
help text
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Save memor
y
.
Don't copy the state name so much
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Da
n
Carpenter
A
dd che
c
k_type
.
c (disabled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n Carpenter
kref_pu
t
() and k
o
bject_
p
ut
(
) are basical
l
y like a free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
D
a
n C
a
r
p
enter
Don'
t
derefer
e
n
c
e free
d
memory
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan C
a
r
p
enter
Add all the allocation funct
i
ons
to check_l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Ca
r
penter
G
e
n
e
r
a
t
e a lis
t
of
fu
n
ctions that allocate data
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpenter
U
pdat
e
the
g
e
n
_fr
e
es_
l
ist
.
s
h
and th
e
generat
e
d data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan
C
arpent
e
r
Save func
t
ion
lists in smat
c
h_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan
Carpenter
n
e
w (disabl
e
d) script: chec
k
_leaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Car
p
e
n
ter
implied:
add get_implications() for scripts
t
o use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
Carpenter
Add commen
t
.
g
e
t_va
l
ue
r
eturns UNDEFINED on error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carp
e
nter
function_hooks
:
bump the nu
m
ber
o
f
entri
e
s in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Car
p
e
n
ter
ne
w
: add_functi
o
n_as
s
ign
_
hoo
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Clean up the conditional ho
o
k code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Ca
r
penter
new api: add_conditional_hook(), set_cond_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan
Car
p
enter
f
u
nction_ho
o
ks: pass the func
t
ion nam
e
as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
Ca
r
pent
e
r
d
on't tr
y
return bl
o
ck thin
g
s in get_variab
l
e_from_expr_comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
an Carpenter
Add a list of no
r
et
u
rn
t
ype functions that nullif
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
Merge branch 'dev
e
l'
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
a
rpenter
reco
m
pile t
h
e check_*
.
c files i
f
the smatch
h
eaders
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpen
t
er
check_
o
verflow: test copy_to/from_user as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Car
p
enter
check
_
overflow: do
n
't multip
l
y the
s
i
ze
o
f
strings
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an
Ca
r
p
ente
r
assumed_nonnull cr
a
p
.
.
.
temp fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
Add
s
c
ript to generate the frees l
i
st
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
renam
e
regi
s
ter_fre
e
s_argum
e
nt to c
h
eck_frees_ar
g
ument
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
pen
t
er
fi
x
o
rder of proce
s
sing
o
f commas
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
ge
t
rid of FU
N
CTION_CALL_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
change orde
r
of conditi
o
n pr
o
c
essing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an Ca
r
pe
n
ter
get rid of ASSIGNMENT_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check_me
m
ory: rea
d
freeing funct
i
ons from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
D
a
n Carpe
n
ter
ch
e
ck_m
e
m
o
ry: read freeing functio
n
s from fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan
C
a
rpenter
frees_argument
:
don'
t
count funct
i
on
s
that only free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan C
a
rpenter
core: imp
r
ove anding c
o
ndition h
a
ndling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpen
t
er
ch
e
c
k_ov
e
rflow: move to new
add_
f
unct
i
o
n
_ho
o
k()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan C
a
rpenter
c
h
eck_
l
ocki
n
g
:
move
to the new functi
o
n
h
ook
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan C
a
rpenter
check_lo
c
king: fix some d
o
u
b
l
e
un
l
o
ck false positive
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan C
a
rpen
t
er
core: add_funct
i
on_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpen
t
er
make some vars static
.
other rand
o
m
sparse
stuff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Car
p
e
n
ter
core: add_u
n
m
atched_s
t
ate_h
o
ok()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
an Ca
r
penter
implied: re-
a
dd the d
e
bu
g
out
p
u
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Ca
r
pe
n
ter
c
hange convention: register_t
e
mplate()
-
>
chec
k
_te
m
plate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Ca
r
p
e
n
t
er
locking: a
d
d some more mutex func
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
Make
-
-known-condi
t
ions a
n
opt
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
handle
k
n
own
conditio
n
s better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
an Carpe
n
ter
check_memor
y
: add rudimentary vali
d
ation
t
e
st
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
C
arpenter
new script t
o
pri
n
t
a
list
of functions w
h
ich
free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_
m
emory:
m
ake arguments static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carpe
n
ter
t
e
m
plate: fix memory le
a
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carpe
n
ter
t
e
mplat
e
: re
m
ov
e
unused
head
e
r, upda
t
e
comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
an Ca
r
penter
check_l
o
cking: add mute
x
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
ter
c
heck_memory
:
add
kz
a
lloc(),
m
ore co
m
p
l
e
x
var
i
ables
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
ter
implie
d
:
h
an
d
le &undefined bet
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carp
e
n
t
e
r
i
nfo: loop c
o
uld be replaced with if
state
m
en
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpe
n
ter
kchecker: ad
d
"--sparse" opt
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpe
n
ter
sm
a
tc
h
_implied/slis
t
: move fu
n
cti
o
n
s
from
s
l
ist to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Carpenter
check_memory
:
u
se complex variables i
n
s
t
ead
of
regular
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Ca
r
penter
che
c
k
_memory: assume parents as
s
ig
n
e
d on all
paths
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan
C
a
r
penter
check_memory:
M
ore cha
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpen
t
er
assignmen
t
s
c
an add a parent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Handle initialization in t
h
e dec
l
a
r
ations;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n Carpenter
Cut down on false p
o
sitives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n C
a
rpenter
Pa
r
se the return st
a
t
e
m
ent before calling the return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Fix crashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Da
n
Carpen
t
e
r
Remo
v
e some fa
l
se positives and en
a
bl
e
the check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
D
e
mote a
r
gument
n
u
l
l
d
erefs to cross fu
n
c nu
l
l
derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
an C
a
r
penter
L
a
bel
the output: error,
w
arn, o
r
info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Add a ha
c
k to
hand
l
e th
e
k
e
rnel's redef
i
n
e
d
if
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan C
a
rpenter
Ha
n
dle more compariso
n
s
than
j
ust (foo == 0)
a
nd (f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
check_lo
c
king:
a
merg
e
wi
t
h
NULL i
s
a mer
g
e with the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Carpenter
Remove unneed
e
d code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
an Carpent
e
r
Add line
n
umber back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Carpenter
Use
t
he most recent impli
c
ations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Carpenter
Add
o
ption --
a
s
s
ume-loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n
C
arpenter
Add an
option --
n
o-i
m
plie
d
to
turn
of
implications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpe
n
t
e
r
i
mpl
i
ed pools: cleanu
p
how implied pools are created
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
check_m
e
mo
r
y
:
sep
a
rate out a malloced stat
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Ca
r
p
enter
A
l
l along I was a
d
di
n
g
the po
o
ls to
the wrong p
l
ace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Carpenter
Clean u
p
.
Move a coup
l
e ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next