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 Carpent
e
r
Separate the lis
t
of freed arguments
f
rom decremented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
W
r
i
te
a script
to prin
t
functions that r
e
t
urn NU
L
L
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Don'
t
free
b
in_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
p
e
nter
Oops
.
Commit
t
hese e
s
sen
t
ial files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Car
p
enter
Handl
e
known conditions when they ar
e
a s
i
mple valu
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpenter
Add CASE
_
HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
F
i
x
m
e
m
o
r
y leak
s
found by valgrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpenter
alloc
_
s
tring() -> allo
c
_sn
a
me()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpent
e
r
P
ut
som
e
val
i
dation scripts in the c
l
oset
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpenter
Implied ra
n
ges
.
Par
t
#2
.
Filt
e
rs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
arpente
r
Silen
c
e t
h
e mutua
l
ly exclusive output
a
g
ain
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Car
p
enter
Free all da
t
a_info
at th
e
end of a function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan
Carpe
n
t
er
Add --no-data
o
ption
and
w
arni
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
arpen
t
er
range
fix
.
anding slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
cleanups from
c
lone_slist() ch
a
ng
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Ca
r
penter
Impli
e
d range
s
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpente
r
Ad
d
the allocation
f
u
n
cs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Ca
r
penter
free_scq is
d
efi
n
ed 2 times qu
i
te differe
n
tly
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
nter
Fix
i
mplica
t
ions (fallout from c
l
one_
s
list() chan
g
es)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Major me
m
o
r
y saving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Car
p
enter
--debug means print the implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
rpenter
Add --no
-
i
m
plie
d
to the
h
e
l
p text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan
Car
p
en
t
er
Sa
v
e me
m
ory
.
Don't co
p
y
the state name so much
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
arpenter
Add c
h
eck_type
.
c (disabled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
kre
f
_put() and kobject_put() are basica
l
ly like a free(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpenter
D
on't de
r
efer
e
nce freed
memory
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan
Carpenter
Add
all the alloc
a
t
i
on functions
t
o ch
e
ck_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Da
n
Carpenter
G
enerate a lis
t
of f
u
nctions that a
l
lo
c
ate data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpenter
Update the ge
n
_frees_list
.
sh and the
g
enerate
d
da
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
Save func
t
i
on
lists
in smatc
h
_data
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan
C
a
r
penter
n
e
w (disabled) s
c
ript:
check_lea
k
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Da
n
Carpe
n
t
er
implied: add
g
et_
i
m
plications() for script
s
to use
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Add comme
n
t
.
get_value returns UNDEFINED on error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
fu
n
ction_hooks: bump t
h
e number o
f
entries in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
an Car
p
enter
n
ew
:
add_function_as
s
ign_ho
o
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpen
t
er
Clea
n
up the conditional
h
ook
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Ca
r
penter
new
a
pi:
a
dd_conditio
n
a
l
_hook()
,
set_cond_state
s
();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
Ca
r
pen
t
er
function_hooks: pa
s
s th
e
functi
o
n name as
w
ell
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
arpenter
d
o
n't try return block t
h
ings in
g
e
t
_variable
_
f
r
o
m
_e
x
pr_comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpe
n
ter
Add a list of nor
e
turn type fu
n
ction
s
that nullify
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpente
r
Me
r
g
e branch 'devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
re
c
ompile the ch
e
ck
_
*
.
c files if the sma
t
ch header
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Car
p
enter
check_overflow:
t
e
st
copy_to/
f
rom
_
user as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
ch
e
c
k
_over
f
low: don'
t
multiply the s
i
z
e of strings
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
assum
e
d_
n
o
n
n
u
ll
crap
.
.
.
temp
fi
x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n
Carpente
r
Add script to genera
t
e the fr
e
es list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
rename regis
t
er_frees_argument
t
o check_f
r
e
e
s_ar
g
ument
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an C
a
rpenter
fix
ord
e
r of processing of co
m
mas
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
pent
e
r
get rid
of FUNCTI
O
N_CALL_A
F
TER_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
chang
e
orde
r
of condition
p
roces
s
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an
C
arpen
t
er
get rid of
A
SSIGNMENT_AFTER
_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
check_memory: read freeing functio
n
s from file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
D
a
n
Carp
e
nter
check_memory
:
read
freeing functions f
r
om
f
i
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Ca
r
penter
frees_argument:
d
o
n
't
c
ou
n
t
functi
o
ns that only fr
e
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Da
n
C
arp
e
nter
core:
im
p
rov
e
anding cond
i
t
ion
h
andling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
an
C
arpenter
check_overflow: move to new add_f
u
nction_hook(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan
C
ar
p
enter
c
h
eck_locking: move to
the
n
ew function hook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan
Carpe
n
ter
chec
k
_locking: f
i
x s
o
me doubl
e
unl
o
ck
f
al
s
e
p
o
sitives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpenter
co
r
e: add_f
u
nction_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
m
ake some va
r
s static
.
o
t
her random sparse stuff
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpent
e
r
core: add_unma
t
ched_
s
tate_hook(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
im
p
lie
d
: re-add
the
d
ebu
g
output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
C
a
r
penter
change convent
i
on: register_template() -> check_te
m
pl
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpent
e
r
l
o
ck
i
ng: add some
more
mutex
funct
i
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
rpe
n
te
r
Make --know
n
-c
o
n
d
i
t
ions an op
t
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
handle known conditions better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
chec
k
_m
e
mory:
ad
d
r
udimentary validation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
new script to print a list of functio
n
s
w
h
ich free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
pente
r
check
_
memory
:
m
a
ke argume
n
ts sta
t
i
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carpenter
t
e
m
p
late: fix memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
C
arpen
t
e
r
template: remove unused header, u
p
date comment
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_locking: add mutexes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
rpenter
check_me
m
ory:
a
dd
k
zalloc(), more complex variab
l
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
implied: handle
&u
n
defi
n
e
d
bett
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpente
r
in
f
o: loo
p
could
be replaced with
i
f statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
an Carpenter
kchecker: add "--s
p
a
rse" option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
arp
e
nter
smatch_impl
i
ed/slist: mov
e
functio
n
s fr
o
m
slist to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
check_memor
y
:
use complex v
a
r
i
ables
i
nstead of regular
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
an Carpen
t
e
r
check_memor
y
: as
s
ume p
a
r
e
nts ass
i
gned on all paths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carp
e
nter
check_memory: More changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
Carp
e
nter
assign
m
e
n
ts can add a parent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n Carp
e
nt
e
r
Han
d
l
e
i
n
itial
i
zatio
n
in the declarat
i
ons;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Cut
d
ow
n
on fal
s
e
pos
i
tives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n
Ca
r
pente
r
Parse the return statement before calling the return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan
C
a
rpente
r
Fix crashi
n
g
bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
an Carpenter
Remove
s
o
me fal
s
e
p
o
sitives and en
a
ble t
h
e check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan
C
arpenter
Dem
o
te argument null
d
eref
s
to cross func n
u
ll
d
erefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
La
b
el the ou
t
put:
e
rror, w
a
rn, or
in
f
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan
Carpenter
Add a hack t
o
hand
l
e the kernel's redefined if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Car
p
enter
Handle more comparisons than just (foo == 0)
and (foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
c
h
eck_loc
k
ing: a
merge with
N
ULL is a merg
e
with th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpen
t
er
Re
m
o
v
e
unn
e
eded
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carp
e
nter
A
d
d line
n
umber bac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
rpen
t
e
r
Use the most recent implic
a
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add option
-
-assume-loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carp
e
nter
A
d
d an
op
t
ion
-
-n
o
-
i
mplied to turn of
i
mplicatio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan C
a
rpenter
i
mplied
p
ools: clean
u
p
how implied p
o
ols are cr
e
ated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
D
a
n
C
arpenter
c
h
eck_
m
e
mory: separate
o
ut a
m
alloc
e
d state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
All along I was
addi
n
g the pools to the wrong place
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
rpenter
Clean up
.
Move a couple ifdefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next