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
Write a script to print functions that return NULL or ERR_PTR
2009-04-07
D
a
n Carp
e
nt
e
r
Write a sc
r
i
pt to
p
r
int
f
unctio
n
s
tha
t
return NU
L
L
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
e
r
Don't free bin_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpenter
Oops
.
Commit the
s
e essentia
l
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpenter
Han
d
le
known con
d
itions when
they are a
simple valu
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Add
C
ASE
_
HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpen
t
er
Fix me
m
ory l
e
a
k
s
f
ound by va
l
gr
i
nd
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Carpenter
alloc
_
string
(
) -> all
o
c_sname()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Put s
o
me validation s
c
ripts in the
closet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Ca
r
penter
I
mplie
d
r
a
nges
.
Part #2
.
F
ilters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Ca
r
pen
t
e
r
Silence the
mutu
a
lly exclu
s
i
v
e output again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Free
all
d
a
ta_info at t
h
e
end of a f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
D
an Carp
e
nte
r
Add
-
-no-data option and war
n
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Da
n
Ca
r
p
e
nte
r
r
ange
fix
.
anding sl
i
sts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
c
l
ean
u
ps
f
ro
m
clone_slist()
c
hanges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n Carpenter
Imp
l
ied
r
a
nges
.
P
a
r
t #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan Car
p
enter
Add the allocation funcs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
rpenter
f
r
ee_scq is defined
2
times
q
uite different
l
y
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Fix implic
a
tions (
f
a
l
lout fr
o
m clo
n
e_slist() cha
n
ges)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
an C
a
rpenter
Major memo
r
y savin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
an Ca
r
penter
--debug means pr
i
n
t
t
h
e implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Add --n
o
-implied to the help
text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan C
a
rpent
e
r
S
a
ve mem
o
r
y
.
D
o
n
't
c
opy t
h
e sta
t
e name
s
o much
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpente
r
A
d
d
c
heck_type
.
c (disabl
e
d)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpe
n
ter
kre
f
_put() an
d
ko
b
ject_
p
ut() are basica
l
l
y
like
a
free()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpen
t
er
Don't dereference
f
reed memory
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Add
all
t
he alloc
a
tion function
s
to check_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Car
p
enter
Ge
n
e
r
ate a
list o
f
f
unctions that all
o
cat
e
dat
a
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpente
r
Update the gen_frees_lis
t
.
sh
a
nd the gen
e
rated data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan
C
a
rpenter
S
ave function lists i
n
smatch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Car
p
enter
new (disabled) script: check_leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan
Car
p
enter
im
p
lied: add
g
e
t_
i
mplications()
for scripts to use
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
a
rpenter
Add comment
.
get_va
l
ue ret
u
rns UND
E
F
I
NE
D
on
e
rror
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
fu
n
ction_hooks: bump th
e
n
u
mber of entri
e
s in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carp
e
nter
new: add_
f
unc
t
i
o
n
_
a
ssign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Car
p
enter
Clean up the con
d
ition
a
l hook code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
Carpe
n
ter
new api:
add_conditiona
l
_hook(), se
t
_cond_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n Carpen
t
e
r
function_hooks: pas
s
the functio
n
name a
s
well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
don't try return block thi
n
gs in get
_
variable_from_expr_comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Ca
r
pe
n
ter
Ad
d
a lis
t
of
noreturn t
y
pe fun
c
tions that nullify
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
C
a
rp
e
nter
Merge branch 'deve
l
'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
re
c
omp
i
le th
e
check_*
.
c f
i
les if the
smatch headers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
check_overflow: test copy_to/
f
rom_u
s
er as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carp
e
nt
e
r
c
heck_overflow: d
o
n't mult
i
ply
t
he size of s
t
rings
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
assumed_nonnull c
r
a
p
.
.
.
temp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Ca
r
penter
A
d
d script to generate the free
s
l
ist
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
rename
r
eg
i
s
t
er_frees_
a
rgument t
o
check_frees_argument
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
fix order of
pro
c
essing
of commas
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpenter
get rid of FUNC
T
ION_CALL_AFTER_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
c
han
g
e order of c
o
ndition p
r
oce
s
sing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get rid
o
f ASSIGNMENT_AFTER
_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
check_mem
o
ry: read
f
r
eeing fu
n
ctions fro
m
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Ca
r
p
enter
check_me
m
o
r
y
:
rea
d
freeing func
t
ions from file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpe
n
ter
frees_argument: don'
t
count fun
c
t
i
o
ns that only fre
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpenter
core: improve an
d
ing condi
t
ion handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Car
p
enter
c
he
c
k_overflow: move to new ad
d
_function_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan
Carpenter
check_lo
c
king:
move t
o
the
n
ew fu
n
ction
hook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpent
e
r
check_
l
ocking: fix some dou
b
le unlock fal
s
e
p
ositives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpent
e
r
core:
a
d
d_fu
n
ctio
n
_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpe
n
ter
make some vars
static
.
o
ther random sp
a
r
s
e stuff
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
Carpenter
c
o
re:
add_
u
nmatched
_
state
_
hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Ca
r
penter
implied: re-add t
h
e
d
ebug o
u
tput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Car
p
enter
cha
n
ge conv
e
ntion
:
registe
r
_template() -> check_templa
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Car
p
e
n
t
e
r
locking: add so
m
e more m
u
tex
f
unction
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpent
e
r
M
ake --known-condit
i
o
ns
a
n option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
an Carpen
t
er
handle known c
o
ndi
t
ions
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
an Ca
r
penter
c
h
eck_memory:
a
d
d rud
i
mentary validation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carpenter
ne
w
scrip
t
to print a list of functions which free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
r
penter
check_m
e
mory: make
a
rgumen
t
s static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Car
p
enter
template:
fix
m
emory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
penter
t
e
mplat
e
: remove u
n
use
d
h
eader, update comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_
l
ocking: a
d
d
mute
x
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_memory:
add kzalloc(), more complex variables
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
implied: handle
&undef
i
ned better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n Carpenter
info: loop co
u
ld be re
p
l
a
ce
d
with if statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carp
e
n
t
er
kchecker: add "--sparse" option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Carpenter
smatch_impl
i
ed/slist: m
o
ve
f
un
c
tions from slist to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Car
p
ent
e
r
c
h
eck_
m
em
o
ry: use comple
x
variables
instead of regu
l
ar
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
ch
e
ck_memo
r
y: assume parents assigned
o
n
all
paths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
an Car
p
ent
e
r
ch
e
c
k_memory: More chang
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
Carpenter
ass
i
g
n
ments can add a parent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Ha
n
dle init
i
alization in the
declarations;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan
Ca
r
pen
t
er
Cut
d
own on false p
o
sitive
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
rpenter
Parse
t
he retur
n
statem
e
nt before calling the re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan
C
arpenter
Fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan
C
a
r
p
e
nte
r
Remo
v
e s
o
m
e false positives and enable the check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan
Carpenter
Demo
t
e
argument null derefs to
c
ross func null
derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan C
a
r
p
enter
Lab
e
l the output
:
error, warn, or
i
nfo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan C
a
r
p
enter
A
dd a hack to handle th
e
ke
r
nel
'
s r
e
defi
n
ed if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Ha
n
dle more comparisons than just (foo ==
0
) and
(f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpe
n
ter
check_lock
i
ng: a merge with NULL
is a merge with
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
D
an
C
arpenter
Remove
unneeded
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
a
rpente
r
A
dd line
n
umber bac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
Carpenter
Use th
e
most r
e
cent
i
m
p
licat
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carp
e
n
ter
Add option -
-
assume-loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n
Carpenter
Add
an option --n
o
-implie
d
to
t
urn of implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpenter
im
p
lie
d
poo
l
s
:
cleanup ho
w
implied pool
s
are cre
a
t
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
check_m
e
mo
r
y: separate out a
m
alloced
state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Da
n
C
a
rpenter
All along I was adding the pools to the wrong
p
l
a
ce
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
r
p
e
n
t
e
r
C
l
ean u
p
.
Move a
couple if
d
efs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nter
Add a sanity ch
e
ck th
a
t
-
>
possib
l
e
has a ->
m
y_p
o
o
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next