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
Fix memory leaks found by valgrind.
2009-04-05
Dan Carpen
t
er
F
i
x
memory leaks found by valgrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpenter
alloc_s
t
ring(
)
-
>
alloc
_
sname()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
ter
Put some
validation scripts in the
c
l
oset
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Ca
r
penter
Im
p
lied ra
n
g
e
s
.
P
a
rt #2
.
F
il
t
ers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Silence the mutually exclu
s
ive o
u
tput
ag
a
i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpe
n
t
e
r
F
r
ee
all
d
a
t
a_info at the e
n
d of a function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Add --no-dat
a
opt
i
on and warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
arpen
t
er
r
a
nge fix
.
anding slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Da
n
Carpenter
cleanups from cl
o
ne_slist(
)
chang
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpe
n
ter
Implied range
s
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carp
e
nter
A
dd the al
l
ocation fun
c
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
fre
e
_scq is defined 2 times q
u
ite d
i
fferent
l
y
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
arpenter
Fix implica
t
ions (fallo
u
t from clone_slist() changes)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Ca
r
penter
Majo
r
memory
s
a
vi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
n
t
er
--deb
u
g means
print the implica
t
i
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n
Carpenter
A
d
d --no-im
p
lied
to the
h
elp
t
ex
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
an Carpenter
S
ave mem
o
ry
.
Don't copy the state name s
o
m
uch
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
an Carpenter
A
dd c
h
e
c
k_typ
e
.
c (disabled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Car
p
ente
r
kref
_
p
u
t
() and
kobject_
p
ut() are bas
i
cally like
a free()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan
C
arpenter
Don't dere
f
ere
n
ce free
d
me
m
ory
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan
Carpen
t
er
Ad
d
all
the all
o
cation func
t
ions to check_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Da
n
Carpe
n
ter
Ge
n
erate a list of functions that al
l
ocate data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpent
e
r
Update the gen_f
r
ees_l
i
st
.
sh and
th
e
ge
n
er
a
ted data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
Save
f
unction lists i
n
smatch_d
a
ta/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
D
an Carpe
n
ter
new
(disab
l
ed) script: check_leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Da
n
Car
p
ent
e
r
implied: a
d
d get_implicati
o
ns() f
o
r script
s
to use
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpenter
Add
c
omment
.
get_v
a
l
u
e returns UNDEFINED on error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Ca
r
penter
function_hooks: bump the number of
e
ntries in
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new
:
add_fu
n
c
t
ion_assign_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpenter
Clean up the
co
n
ditio
n
al hook code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
C
a
rpenter
new
api: add_condition
a
l_hoo
k
(), set_cond_state
s
(
);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
Ca
r
penter
function_hooks: pass
t
he functio
n
name
as we
l
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
d
on
'
t
try r
e
turn block
t
hi
n
gs in get_var
i
able_
f
r
om_
e
xpr_c
o
m
p
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
Add a l
i
s
t
o
f
noreturn type
functions
that
n
ul
l
if
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carp
e
nt
e
r
M
erge branch 'devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
a
r
penter
recompile the chec
k
_*
.
c
f
il
e
s if th
e
s
m
atch heade
r
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
che
c
k
_
overflow: test co
p
y
_to/from_user
a
s well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check_overflow: don'
t
multiply the
s
ize
of strin
g
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
ass
u
m
e
d_
n
onnul
l
crap
.
.
.
t
emp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
Add scrip
t
to
generate the
frees list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpente
r
ren
a
me reg
i
ster_frees_ar
g
ument
to check_free
s
_argumen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpenter
fi
x
o
rder of p
r
ocessing of co
m
m
as
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpenter
ge
t
rid of FUNCTION_CALL
_
AFTE
R
_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
pent
e
r
chang
e
order o
f
con
d
i
t
ion processing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get r
i
d o
f
ASSI
G
NMENT_
A
FT
E
R_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
check_memory: read f
r
eeing fun
c
tions fro
m
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
ch
e
c
k_mem
o
r
y: read
freei
n
g function
s
from
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
frees_argument: don't
c
ount f
u
nctions t
h
at only free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpen
t
er
core: improve andin
g
conditi
o
n
han
d
ling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
an Carpenter
c
h
e
ck_overflow: move to new add_function_ho
o
k()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
c
heck_lock
i
n
g:
move to
t
he n
e
w function
hook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpen
t
er
c
heck_locking: fix some double unl
o
ck
f
a
l
se p
o
s
i
ti
v
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan C
a
r
p
enter
core:
a
dd_fu
n
c
t
ion_h
o
ok()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
an Car
p
e
n
te
r
make some vars
s
tatic
.
other random sp
a
rse stuff
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
an Carp
e
nter
core
:
a
d
d_
u
nmatc
h
ed_state_h
o
ok()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
implied: re-
a
dd the d
e
bug ou
t
put
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
c
h
ange c
o
nvention: register_template(
)
-> check_template(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpente
r
locking: add
some more mutex
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Car
p
e
nter
Make
-
-
known-
c
ondi
t
io
n
s
an
o
ption
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
ente
r
handle known condi
t
i
o
ns bet
t
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_me
m
o
r
y
:
add rudimentary validation t
e
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
ter
new
s
cript to p
r
int a list of fu
n
c
t
ions which free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carpenter
check_memory: make argument
s
st
a
tic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpenter
template: fi
x
m
e
mory l
e
ak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carp
e
nter
template:
remove
unus
e
d header, update
comments
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 Carpe
n
te
r
check_memory: add k
z
a
l
loc(),
m
ore complex variabl
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpent
e
r
implied: handle &undefined bett
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpent
e
r
info:
l
o
op
c
o
ul
d
be replaced wit
h
if stateme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n
Carpenter
kch
e
ck
e
r:
add "-
-
spar
s
e" option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
s
match_
i
m
p
lied/sl
i
st: move f
u
nctions from slist to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
c
heck_memory:
u
se com
p
lex varia
b
les instead o
f
r
e
gular
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpe
n
ter
c
heck_m
e
m
ory:
a
ssume parents
as
s
i
gned on a
l
l paths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Car
p
enter
ch
e
ck_me
m
ory: Mo
r
e
c
h
ange
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
r
penter
ass
i
gnm
e
nts can
a
dd a parent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n
C
a
r
pent
e
r
H
a
ndle initialization i
n
the declarations;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
Carpenter
Cut down on false p
o
sitives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Par
s
e the ret
u
rn statem
e
nt be
f
o
r
e ca
l
ling the retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpente
r
Fix crash
i
ng bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
a
n
C
a
rpente
r
Remove some false positive
s
a
n
d
e
n
able the
check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Da
n
C
a
rpenter
Demote argument null derefs to cros
s
f
u
nc nu
l
l deref
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
an Carpenter
L
a
bel th
e
outpu
t
: e
r
ror, warn, or info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
A
d
d a
h
ack to handle the
k
e
r
nel's redefined
if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Handle more comp
a
rison
s
than jus
t
(foo == 0) and (
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
check_loc
k
ing: a m
e
rge wit
h
NULL is a m
e
r
g
e with the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Remove
unne
e
ded co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
A
d
d
line number b
a
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpen
t
er
U
s
e the mo
s
t r
e
cen
t
implica
t
io
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Ca
r
p
enter
A
dd op
t
ion --assu
m
e-lo
o
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add an
o
pti
o
n
-
-no-im
p
lied to turn of
i
m
plications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
D
a
n Carp
e
nter
implied pools: cleanup
how implied pool
s
are created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan
C
a
rpenter
check_memory: separate
o
ut
a
malloced state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpe
n
ter
A
ll along I was adding
t
he pools to the
w
rong place
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
C
lean up
.
Move a c
o
uple
ifdef
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
arpenter
Add a san
i
ty
c
h
e
ck
t
hat ->possible h
a
s a ->my
_
pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Clean
u
p
.
Freeing the sm_states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
an Carpenter
Oring t
h
e slists seems l
i
ke
m
er
g
e_
s
list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
a
rp
e
nte
r
Add a --debug-implied option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
ch
e
ck_memo
r
y:
F
ix segfault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpent
e
r
kchecker: helper
s
c
r
ipt t
o
invoke
s
mat
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next