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
Major memory saving.
2009-04-01
Dan Carpenter
Major memory saving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Car
p
en
t
er
--debug means p
r
int the implica
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
an Carpenter
Ad
d
--no-impli
e
d
t
o the
help tex
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Save memor
y
.
Don't copy the
s
ta
t
e name so much
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Da
n
Carpenter
A
d
d check_
t
ype
.
c (di
s
abled
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Ca
r
p
enter
kref_pu
t
() an
d
ko
b
ject_put() are basically like a fre
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carp
e
n
t
er
Don't derefe
r
en
c
e fr
e
ed memory
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Ca
r
pent
e
r
Add all the al
l
ocation
function
s
to check_
l
eaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan
C
arpenter
Generate a list of fu
n
ctions that allocate dat
a
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
D
a
n Carp
e
nte
r
Update the gen_f
r
ees_list
.
sh
a
nd the generated data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan
C
ar
p
e
n
t
er
Save function
l
ists
i
n smatc
h
_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
D
an Carpenter
new (disabled) sc
r
ipt: chec
k
_
leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
D
a
n Carpen
t
er
implied: add
g
et_impli
c
ations() for scripts to
use
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
A
d
d
comment
.
ge
t
_value returns UNDEFINED
o
n
er
r
o
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
function
_
hooks: bump the number of entries in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpente
r
n
e
w: a
d
d_function_assign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan C
a
rpenter
Clea
n
u
p t
h
e co
n
ditional hook code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new api: add_c
o
n
d
itional_hook(
)
, set
_
cond_st
a
t
e
s();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpent
e
r
function_
h
ooks: pass the
function name as we
l
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
don't
try return block thin
g
s
i
n get_variabl
e
_from_expr_comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
A
dd a
list of noreturn type f
u
nctions that
nullify
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
a
r
penter
Me
r
ge branch
'devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
recompile th
e
check
_
*
.
c files if the
s
match head
e
rs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpenter
check_overflow:
test copy_to/from_user as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
er
check_overfl
o
w: don'
t
mul
t
iply the s
i
ze of
s
t
r
ings
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpente
r
assumed_nonnull crap
.
.
.
temp f
i
x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
Add script to gene
r
ate the f
r
e
e
s list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
rename register_frees_argumen
t
t
o check_frees_argum
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
fix order of proces
s
i
n
g of commas
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
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 o
r
d
er of conditi
o
n p
r
ocessing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
er
get rid of ASSIGN
M
E
N
T_A
F
TER_HO
O
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Ca
r
penter
c
h
eck_memory: rea
d
freeing
f
unctions
f
rom file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
D
an
Carpenter
c
he
c
k_memory: read freeing fun
c
tion
s
from file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
D
a
n Carpente
r
f
r
ees_argument
:
d
o
n't count functi
o
ns
t
h
a
t only fre
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpenter
c
o
re: im
p
rove an
d
i
ng condition handlin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpen
t
er
check_overflow: move to new add_function_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpen
t
e
r
check
_
l
o
cking
:
mo
v
e to t
h
e new f
u
n
ction
h
ook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan
C
arpente
r
c
h
e
c
k_l
o
c
king:
f
i
x some do
u
ble unlock false positives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carp
e
n
ter
core: add_f
u
nction_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Ca
r
penter
make some vars static
.
ot
h
er r
a
n
dom sparse s
t
uf
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Carp
e
nt
e
r
core:
add_unmatched_sta
t
e
_
hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arp
e
nter
im
p
lied: re-add the debug output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Carpent
e
r
change
c
onve
n
ti
o
n: re
g
is
t
er_template(
)
-
>
chec
k
_te
m
pla
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Ca
r
penter
loc
k
ing
:
add s
o
me more mutex function
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Car
p
enter
Make --known-conditions an
o
ption
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Car
p
e
n
te
r
h
andle
known
c
on
d
itions better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carp
e
nter
c
h
e
c
k_me
m
ory: add rudimenta
r
y
validation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
ter
ne
w
scrip
t
to
p
rint a list
of functi
o
n
s
which fre
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carpenter
check_mem
o
ry:
make ar
g
uments stati
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
Carpenter
tem
p
late:
fix m
e
mory
l
eak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
rpenter
te
m
plate: r
e
move unused h
e
ader
,
upd
a
te c
o
mments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
chec
k
_l
o
c
king:
a
d
d mutexes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
e
n
t
er
check_memory:
add kzalloc
(
), more
complex va
r
iab
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
penter
implied: handle &u
n
defined bette
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
info: loop
could
b
e
rep
l
aced with if statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan C
a
r
penter
kchec
k
er: add
"
--sp
a
rse" option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpent
e
r
smatch_implied/slist: mov
e
functions f
r
o
m
sli
s
t to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpen
t
er
check
_
memory: use co
m
p
l
ex vari
a
bl
e
s
instead of regular
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
Carpenter
check_memory: assume
parents assigned on all paths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
rpenter
check_
m
emory: M
o
re chang
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
ass
i
g
nments c
a
n ad
d
a
parent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan
C
arpent
e
r
Handle init
i
alizat
i
on in the declar
a
tions;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Cut d
o
w
n on false p
o
sitives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carp
e
nter
Par
s
e the retu
r
n
stateme
n
t before calling the retur
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carp
e
n
t
e
r
Fix cr
a
shing
b
u
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
R
e
move
s
o
me fals
e
positiv
e
s a
n
d enable the check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpente
r
D
e
m
o
te argu
m
ent null deref
s
t
o
c
r
oss f
u
nc null
d
ere
f
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
L
abel the output:
e
rror, w
a
r
n,
or info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
D
a
n Car
p
ent
e
r
Add a hack to ha
n
dle the kernel'
s
r
edefined if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpent
e
r
Handle m
o
re comp
a
ris
o
ns th
a
n just (
f
o
o == 0) and (foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Carpente
r
c
h
eck_loc
k
ing:
a merge with NULL is
a m
e
rg
e
with
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Car
p
e
n
te
r
Remov
e
unneede
d
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add line number back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
a
rp
e
nter
Use the most recent imp
l
icatio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Ca
r
penter
Add option --assum
e
-loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add an opt
i
on
--no-implied to turn of i
m
pli
c
atio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Da
n
C
a
rpenter
i
m
p
lied pools: cleanup how i
m
p
l
i
ed pools
are c
r
eated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan
Ca
r
p
enter
check_memor
y
:
separate
out a ma
l
loced state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
D
an Carpenter
All along I was adding the pools to the wrong
p
lace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpen
t
e
r
C
l
ean up
.
M
ove a couple ifdefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan
Carpent
e
r
Add a sanity check t
h
at ->pos
s
ible has
a
->my_p
o
ol
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
r
penter
Clean up
.
Freeing
the
s
m_s
t
ates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Ca
r
pent
e
r
Orin
g
the slists s
e
ems like merge_slist(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nter
Add a --debu
g
-implied option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
check_m
e
mory:
F
ix segfault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
Carp
e
nter
k
checker: helper sc
r
ipt to invoke sma
t
ch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
check_mem
o
ry:
new code
.
not used
yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
Fix bug in compoun
d
conditions and add
v
al
i
dat
i
o
n test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpent
e
r
check_locking: handle function
s
wi
t
h no
r
e
t
u
r
n
statemen
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix
s
o
se
c
urity_f
i
xup_op
s
()
do
e
sn't tr
i
gger
t
h
e OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
penter
F
i
x '
o
r'
i
ng states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carpenter
Fix NULL deref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For
s
o
me
r
eason
s
match can't find these header fi
l
es
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
an
C
a
r
penter
Fix strin
g
memor
y
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
r
p
ente
r
Remove
u
n
neede
d
allocation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpent
e
r
Remove out
d
at
e
d co
m
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Don't __free_sm_
s
t
ate()
until en
d
of functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpent
e
r
f
r
ee_slist() aft
e
r
ca
l
l
ing
g
e
t
_all_
s
tates()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
Carpenter
d
o
n't reallocate the ->p
o
s
s
ible s
t
ates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next