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
cleanups from clone_slist() changes.
2009-04-03
D
a
n Carpente
r
cleanups from clone
_
slist() changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
ar
p
enter
Implied range
s
.
Part #1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
D
a
n
Carpen
t
er
Add the alloca
t
ion fu
n
c
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Carp
e
nter
f
re
e
_scq i
s
defined 2 times q
u
ite
dif
f
e
r
ently
.
I
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Fix
i
mpli
c
atio
n
s
(fallout from clone_slist() changes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
arpenter
M
ajo
r
memory s
a
ving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Carpenter
-
-debug mea
n
s print the implica
t
ions
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
D
a
n Car
p
enter
Sa
v
e me
m
ory
.
Don't copy the stat
e
name so much
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n
Carpenter
Add
che
c
k
_
t
ype
.
c
(disabled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
arpente
r
k
r
ef_put() a
n
d kobje
c
t_put() are basically like
a
free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan
Ca
r
penter
Don'
t
d
e
r
e
f
erence freed memory
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Add a
l
l the allocat
i
on fun
c
tions to check
_
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpen
t
er
Generate a
l
ist of func
t
ions
t
ha
t
a
l
loca
t
e
d
ata
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpente
r
Update the gen_f
r
ees_list
.
sh and the g
e
ner
a
ted dat
a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpen
t
er
Save function l
i
sts in
s
match_da
t
a/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
new (disabl
e
d) scri
p
t:
che
c
k_le
a
ks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Car
p
enter
impl
i
ed
:
add g
e
t_implications() for script
s
to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpe
n
ter
Add c
o
m
men
t
.
get_
v
alue returns UNDE
F
I
N
ED o
n
e
r
ror
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carp
e
nter
f
u
n
ction
_
hooks: bump the number
of
e
n
tries in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new: add_f
u
nct
i
o
n
_assign_ho
o
k
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpenter
Clean up the condit
i
onal hook c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Ca
r
penter
n
e
w api: a
d
d_
c
on
d
i
t
i
o
nal_hook(), s
e
t_cond
_
states()
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
function_hooks: pass the f
u
nc
t
io
n
name as
w
ell
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpen
t
er
don't t
r
y r
e
tur
n
block thin
g
s in
g
e
t_variable_from_ex
p
r_comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Ca
r
penter
Add
a
l
i
st
o
f noreturn type functions
t
h
a
t nu
l
l
i
fy
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Ca
r
penter
Merge branch 'dev
e
l'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
recompile the che
c
k_*
.
c
files i
f
the smatch headers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an
Carpenter
ch
e
ck
_
ov
e
rflow: test copy_to
/
from_user as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check
_
overflow: don't multiply the
size of string
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an
C
ar
p
enter
assum
e
d_nonnull crap
.
.
.
t
e
mp fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
Add script to
g
enera
t
e the frees list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
rename
r
egist
e
r_free
s
_ar
g
ument to ch
e
ck_frees_argumen
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpen
t
er
fix order of
processin
g
of c
o
mmas
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an C
a
rpent
e
r
get rid
of F
U
N
CTION_CA
L
L_AFTER_HOO
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
change
order of
condition pro
c
essing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
rpenter
ge
t
rid of ASSI
G
NMENT
_
AF
T
ER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
rpenter
check
_
m
e
mory:
r
ead freeing functio
n
s
f
ro
m
fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpente
r
ch
e
ck_memory: read f
r
eeing functions
f
rom
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
frees
_
argumen
t
: don't count functions th
a
t
only free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
D
a
n
Carpenter
core: improve anding condit
i
on han
d
ling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpente
r
c
h
e
ck_overflow:
m
o
ve to new add_function_hook
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carp
e
nter
check_l
o
cking
:
move to th
e
new
f
u
nctio
n
hook
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan C
a
rpen
t
er
check_lo
c
king: fix some dou
b
le unlock false pos
i
t
i
v
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
co
r
e: add_function_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Ca
r
penter
make
s
ome vars s
t
atic
.
other
r
ando
m
sp
a
rs
e
s
t
u
f
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
core: add_unmatched_state_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Carpenter
impl
i
ed: re-add the debug o
u
tput
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
r
penter
ch
a
ng
e
convention:
r
egister_te
m
p
l
ate() -> check_template(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Carpenter
lock
i
ng: add some
m
ore mutex func
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
Car
p
enter
Make --known-conditions an option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
pent
e
r
handle know
n
conditions better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
an Ca
r
pen
t
er
check_m
e
mo
r
y: add rudimentary
v
alidation test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
rp
e
nter
new
script to print a
list of f
u
nctions which free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpenter
check_memor
y
:
m
ake arguments static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
rpenter
template: fix memory l
e
ak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpent
e
r
te
m
plate: remove unused header, update commen
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
C
arpe
n
ter
check_locking
:
add mutexes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Ca
r
pen
t
er
check_memory: add kzalloc(), mor
e
comple
x
va
r
iables
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carp
e
nter
impl
i
ed: handle &undefined better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
an
C
arpen
t
er
in
f
o: lo
o
p
c
ould
b
e replaced
with if stateme
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n Carpent
e
r
kchecker:
ad
d
"
--sparse" option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Carpenter
sm
a
tch_impli
e
d/slist: move function
s
fr
o
m sli
s
t to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Carpenter
check_memory: use c
o
mplex variabl
e
s
instead of r
e
gular
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Carpenter
c
h
eck_memory
:
assume parent
s
a
ssigned on a
l
l pat
h
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Ca
r
pent
e
r
check_memory: M
o
r
e
changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
Ca
r
penter
as
s
ignments c
a
n add a parent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan
Carpenter
Handle initialization in t
h
e declarations;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Cut down o
n
fals
e
positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n C
a
rp
e
nte
r
Parse the re
t
urn statement before ca
l
ling th
e
return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan
C
a
rpent
e
r
F
ix crashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
a
n Carpent
e
r
Remove some
false positives and ena
b
le the check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpe
n
ter
D
emote argument nul
l
d
e
refs to cros
s
f
u
nc
nu
l
l d
e
refs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpente
r
Label t
h
e output: err
o
r
, warn, or info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan
C
a
rpenter
Add a hack
to
handle the kernel's redefined if
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan
C
arpen
t
er
Han
d
le more comparisons
t
han just (foo
=
=
0) an
d
(foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n
Carpenter
check_locking: a merge with
N
ULL is a mer
g
e with the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
ar
p
enter
R
e
move unne
e
de
d
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
an Ca
r
p
e
nter
Add
l
i
n
e nu
m
ber ba
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
U
s
e
the most recent implication
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpen
t
er
Add o
p
tion --assume-loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan
Ca
r
penter
Add
an
op
t
ion --no-
i
mp
l
ied
to turn of implications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpen
t
er
implied pool
s
: cleanup how
impl
i
ed pools a
r
e c
r
eated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpente
r
check_memo
r
y:
s
eparate o
u
t a m
a
lloced state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan C
a
r
p
enter
All along I
w
as adding
t
he pool
s
to
t
he
w
rong place
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
Carpenter
Clea
n
up
.
Move a coupl
e
i
f
d
efs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n
Carpenter
Ad
d
a sanity check that ->possible has a ->my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Clean up
.
Freeing t
h
e sm_states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Oring the s
l
ists seems
like
m
er
g
e
_
s
lis
t
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Ca
r
penter
Add
a
--debug-
i
mplied optio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
an Carpente
r
c
h
eck_memory: Fix segfault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpent
e
r
k
c
hecker: helper scri
p
t to inv
o
k
e smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
che
c
k
_
m
emory: new co
d
e
.
not
u
sed y
e
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carp
e
n
t
e
r
F
ix bug in compound conditions a
n
d
a
dd v
a
l
i
da
t
ion
t
est
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
enter
ch
e
ck_locking: handl
e
functio
n
s with no
r
eturn statem
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n
Carpenter
Fix so s
e
curity_fixup_ops() doesn't t
r
igger the OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Ca
r
pente
r
Fix 'or'in
g
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpen
t
er
F
i
x NUL
L
deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
F
o
r some reason sm
a
tch can't find these header files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n
Carpe
n
ter
Fi
x
st
r
ing
memor
y
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next