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 CASE_HOOK.
2009-04-05
Dan C
a
rpen
t
er
Add CA
S
E_H
O
O
K
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpent
e
r
Fix me
m
ory le
a
k
s found by va
l
grind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
ter
alloc_string() -
>
alloc_s
n
ame()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Car
p
enter
Put some
validatio
n
scripts in t
h
e close
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpen
t
e
r
Implied ranges
.
Part
#2
.
Filters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
Carp
e
nter
Silence the mutuall
y
exclusive
o
utput again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpenter
Free all data
_
i
nfo at the end of
a
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpente
r
Add --no-data option and
w
arn
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
arpente
r
range fix
.
andin
g
slis
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
cleanu
p
s from c
l
o
n
e_slist(
)
changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Car
p
ente
r
I
m
p
l
ied ranges
.
Par
t
#1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpe
n
ter
Add the allocation fun
c
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
rpenter
free_sc
q
is defin
e
d 2 times quite differe
n
tl
y
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
a
r
penter
F
i
x impli
c
ations (fallout from clone_slist() cha
n
ges)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
a
rpenter
Major memory saving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
--deb
u
g means print t
h
e implications
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 Carpente
r
Save
memory
.
Don't co
p
y t
h
e state name so
much
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Add check_t
y
p
e
.
c
(disabled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
kref_put() and kobject_
p
u
t
() are
b
as
i
cally like a free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan
C
arpent
e
r
Don't deref
e
rence freed
m
emory
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Car
p
enter
A
d
d all the
a
llocation functions
to check_leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Generate a list of functions that allocate data
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpe
n
ter
Upda
t
e the gen_frees_list
.
sh and the gene
r
ated data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
Save
function lists in smatch
_
d
a
ta/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
D
a
n
C
a
rpe
n
ter
new (di
s
able
d
)
sc
r
i
pt: check_leaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
implie
d
:
a
dd get_impli
c
a
t
ions() for
scripts to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Ca
r
pent
e
r
Add com
m
ent
.
g
e
t_value r
e
turn
s
UNDE
F
INED on
e
rror
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpen
t
er
f
u
n
ct
i
on_hook
s
:
bump th
e
n
u
m
b
e
r
of entr
i
es in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
Carpenter
new: add_function_assig
n
_
h
ook(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
C
l
ean
u
p
the c
o
n
d
itional
h
ook code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
an
C
arpenter
new
api: add_cond
i
t
i
o
nal_h
o
ok(), set_cond_sta
t
es();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpent
e
r
functi
o
n_hooks: pass the func
t
ion name as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
an Carpenter
don't tr
y
retu
r
n
block t
h
ings in get_variable_from_expr_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 f
u
n
c
tio
n
s tha
t
null
i
fy
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan C
a
rpenter
Mer
g
e branch 'd
e
vel
'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
r
e
compi
l
e th
e
check_*
.
c
f
iles if the smatch headers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
check_overflow: te
s
t
copy_to/from_user
a
s well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpent
e
r
check_overflow: don't multiply the s
i
ze of str
i
ngs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
a
r
p
e
nter
assumed_nonnull crap
.
.
.
temp fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an C
a
rpenter
Add script to gen
e
rate the frees list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
rename
r
egister_frees_a
r
gument to check_frees_
a
rgume
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
p
enter
fix order
o
f processing of commas
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
g
e
t rid of FUNCT
I
ON_CALL_AFTER_HOO
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
chan
g
e
orde
r
of condition pr
o
ce
s
sing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an
C
a
r
penter
ge
t
rid of ASSIGNMEN
T
_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an Ca
r
p
e
nter
c
heck_me
m
ory:
read fre
e
ing function
s
from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carp
e
nt
e
r
c
h
e
ck_memor
y
:
read freeing functions from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
f
r
ees_
a
rgument: don't
c
ount functions that
o
nly free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Da
n
Carpe
n
ter
core
:
impr
o
v
e and
i
ng co
n
di
t
ion handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpenter
c
h
e
ck
_
o
v
erflow: mo
v
e to new add_function_hoo
k
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_lockin
g
: mo
v
e to the n
e
w function ho
o
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
an Carpenter
check_
l
o
c
king: fix some double unlock fals
e
p
o
sitiv
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpenter
core: add
_
func
t
ion_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
Carpe
n
ter
make s
o
me vars stati
c
.
o
ther r
a
nd
o
m sparse stuff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Car
p
enter
c
o
re
:
add_un
m
atched_state_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Car
p
ente
r
imp
l
ied: re
-
ad
d
t
h
e
d
e
b
ug output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
change convention
:
regi
s
ter_template(
)
-> ch
e
ck_template()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
r
penter
l
ocking: add some more mu
t
ex funct
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n
C
a
rpenter
Mak
e
--know
n
-cond
i
t
i
ons an
o
ption
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Car
p
en
t
e
r
handle known conditions bet
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_memory: add rudime
n
tar
y
validat
i
on tes
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
C
arpenter
n
ew s
c
r
i
pt to
print a list
o
f
function
s
which free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
C
a
rpenter
check_memory: make argu
m
ents
s
t
a
tic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
templa
t
e:
f
i
x mem
o
r
y
leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
C
a
r
penter
t
e
m
p
late: remo
v
e unused head
e
r, update comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_lockin
g
:
add mu
t
exes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Ca
r
penter
check_memory: add kzall
o
c(),
more complex variables
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpente
r
i
m
pl
i
ed: handle &undefined bet
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan C
a
rpenter
in
f
o: l
o
op could be replaced with if statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
kch
e
cker: add "--s
p
arse"
option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
ar
p
enter
smatch_implied/
s
list:
m
o
ve functions from sli
s
t to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
ch
e
ck_memor
y
: use
c
omplex vari
a
bles in
s
t
e
ad of regular
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
a
r
p
enter
c
h
eck_memory: assume parents assigned on all
paths
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n
C
arpenter
check
_
memory: More chang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpent
e
r
assi
g
nments
c
an ad
d
a parent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpen
t
er
H
andle initialization
i
n the declarations;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
Carpenter
Cut
d
own
on false posit
i
ves
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Pars
e
th
e
return statement
bef
o
re
c
a
l
ling
t
h
e retur
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpent
e
r
F
ix crashing b
u
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Da
n
Carpenter
Rem
o
ve some false
p
ositives a
n
d
e
n
able the check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Demote argument null deref
s
to c
r
o
s
s
func
nul
l
derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
an Car
p
enter
Label the
o
utput: error, warn, or info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
D
a
n Ca
r
penter
Add a hack t
o
handle the kernel's redefined
i
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Ha
n
dle
m
o
r
e comparisons than just (foo == 0) a
n
d (
f
oo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
rpen
t
er
check_locking: a merge w
i
th
N
U
L
L is a
m
erge
w
i
th t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Ca
r
p
e
nter
Remo
v
e unneeded c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Carp
e
nter
Add li
n
e number
b
ack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Carpente
r
Use the mo
s
t recent imp
l
icati
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Ca
r
penter
Add option -
-
a
s
sume-lo
o
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Carpen
t
er
Add
a
n o
p
tion --no-
i
mplied to turn of implicati
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpe
n
ter
imp
l
ied poo
l
s
: cl
e
anup
how implied pools are
c
r
e
ated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Ca
r
penter
check_memory: separate out a
mall
o
ced state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan
Carpenter
Al
l
along I was adding t
h
e pools to the wrong
place
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
arpent
e
r
Clean up
.
Move a
c
ouple ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Car
p
e
nter
Add a
s
anity check that ->pos
s
ible has a ->my
_
p
ool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
rpe
n
ter
Clean up
.
Freeing t
h
e sm_sta
t
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Oring
t
he sli
s
ts
s
eems lik
e
m
erge_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Add
a
--d
e
bug-implied optio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
an Ca
r
penter
check_mem
o
ry:
F
ix segfault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next