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
smatch_implied: only print the nr_children message once.
2009-04-05
D
a
n C
a
rpenter
H
andle kn
o
w
n
conditions when they are
a s
i
mple v
a
lue
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
a
rp
e
nt
e
r
Add CASE_
H
OOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Car
p
enter
Fix
memor
y
leaks found by valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n
Ca
r
penter
a
l
loc_string()
->
alloc_sname()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpen
t
er
P
ut som
e
valid
a
t
ion
sc
r
ipts
i
n
t
h
e closet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
r
penter
Implied
ranges
.
Part #2
.
Filters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
Car
p
enter
Silence t
h
e mutually exc
l
us
i
ve output again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
Car
p
enter
Free
a
ll
d
ata_inf
o
at the
e
n
d of a function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Car
p
enter
Add
-
-no-d
a
ta option and
warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Ca
r
penter
range fix
.
anding slist
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n
Carpenter
cleanups
f
rom clone_slist()
changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Da
n
Carpenter
I
mp
l
ied range
s
.
Part #1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpenter
A
d
d
t
h
e alloc
a
tio
n
funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Car
p
enter
free_scq is d
e
fined 2 time
s
qu
i
te dif
f
erently
.
I
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n Carpen
t
er
Fix implicati
o
ns
(fa
l
l
o
ut
f
rom
c
l
o
n
e_slist() changes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
r
p
e
nt
e
r
M
ajor memory
s
av
i
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
a
rpent
e
r
--debug means print the impli
c
atio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Ca
r
penter
A
d
d --no-im
p
lied to the
h
elp
text
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Da
n
C
a
rpenter
Save memory
.
Don't copy
t
h
e
s
tate name so much
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
arpenter
Add check_type
.
c (
d
isa
b
led)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan
Car
p
e
n
te
r
k
r
ef_p
u
t
() and kobjec
t
_put() a
r
e
b
asically like a
free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpen
t
er
Don't dereference freed mem
o
ry
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
D
a
n Carpenter
Add all the allocation fu
n
ctions to check_leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carp
e
nter
Generate a lis
t
of
f
unctions tha
t
allo
c
ate
d
a
t
a
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Car
p
enter
Update the gen_f
r
e
es_list
.
sh and the
g
e
n
e
r
ate
d
data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
Save function lists in smat
c
h_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
D
an Carpen
t
e
r
new (disabled) script
:
c
heck_le
a
ks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpen
t
er
impl
i
ed: add get_i
m
p
lications(
)
f
o
r scripts to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
an
C
arpe
n
ter
Add co
m
m
e
n
t
.
get_val
u
e
r
eturns
UNDEFI
N
ED on error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Car
p
enter
fun
c
tion_h
o
oks: b
u
mp the number of ent
r
ies i
n
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpenter
new
:
ad
d
_function_assign_
h
ook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpe
n
ter
C
lean
u
p
the
condition
a
l hook code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan C
a
rpen
t
er
new api: add_conditional
_
hook(), set_con
d
_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
funct
i
o
n_h
o
oks:
pass the function name as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan C
a
rpent
e
r
don't
try return blo
c
k things
i
n
g
e
t_variab
l
e_from_ex
p
r_comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan C
a
rp
e
nt
e
r
Add
a
list of nore
t
urn type functions that
nullify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
arpenter
Merge
branch 'de
v
el'
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
recompi
l
e the check_*
.
c files if the
sm
a
tch he
a
ders
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpent
e
r
check
_
o
verflow: test co
p
y_to/from_user as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n
Carp
e
n
t
er
che
c
k_
o
verflow: don't
multiply the si
z
e of st
r
ings
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
assumed
_
n
o
nnull crap
.
.
.
temp
f
ix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpent
e
r
Add
s
c
ri
p
t to generate the
f
rees
l
i
st
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
rename register_frees_argume
n
t to check_fr
e
es_argument
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Ca
r
p
e
nter
fi
x
order of processin
g
of commas
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
en
t
e
r
g
et rid
o
f FU
N
CTION_CALL
_
A
F
TER_HO
O
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an
C
arpenter
ch
a
ng
e
or
d
er
o
f condi
t
ion processing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Ca
r
pen
t
er
ge
t
rid of ASSIGNMENT_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
check_memory: re
a
d f
r
eeing functions f
r
om
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Ca
r
pen
t
er
chec
k
_m
e
m
o
ry: read f
r
ee
i
ng fun
c
tions from fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
frees_
a
r
g
u
men
t
: do
n
't c
o
unt
f
unctions
that only
f
re
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpenter
c
ore:
i
mprove
andin
g
condi
t
i
o
n
handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Ca
r
penter
check_o
v
erfl
o
w: move to new
a
d
d_function_h
o
ok()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpenter
ch
e
c
k_lo
c
ki
n
g: move to the new function
h
ook
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan
Carpenter
c
h
e
ck_lockin
g
: fix some double unl
o
ck false positiv
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carp
e
nter
core:
a
dd_function
_
ho
o
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Car
p
enter
make
s
ome vars
s
t
atic
.
other random spa
r
se st
u
f
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
an Carpen
t
er
co
r
e: ad
d
_unmat
c
hed_state_h
o
ok()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Carpenter
imp
l
ied: re-
a
dd the debug output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
an
Carpenter
ch
a
nge
c
onv
e
ntion:
registe
r
_template() -> check_template()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
lo
c
king: add some more
m
u
tex functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
M
ake --kn
o
wn-c
o
n
d
itions an option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
Carpent
e
r
han
d
le known condi
t
ions bette
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_memory: add ru
d
imen
t
ary validation te
s
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
new script to pri
n
t
a l
i
st of function
s
which
free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpenter
che
c
k
_
memory: m
a
k
e
ar
g
ume
n
ts static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
templat
e
:
fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
t
em
p
late: remove unused he
a
der,
u
p
dat
e
comme
n
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
an Carpe
n
ter
check_loc
k
ing: add mutexes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carp
e
nter
c
heck_memor
y
:
add kzal
l
oc(), more com
p
lex var
i
ab
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpen
t
e
r
im
p
lied: handle &undefined better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carp
e
nter
in
f
o: l
o
op could be
re
p
laced with if
s
tate
m
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Car
p
enter
k
checker:
add "--sparse
"
o
p
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Carpenter
s
match_i
m
p
l
i
e
d/slist:
m
ove functions from slist to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
C
ar
p
enter
che
c
k
_me
m
ory: use co
m
plex v
a
ria
b
les instead of regul
a
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carp
e
nter
ch
e
ck_memory: assume pare
n
ts assign
e
d
on all paths
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n Carpente
r
c
heck_me
m
ory: More ch
a
n
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n
Carpenter
as
s
ignments can add a par
e
nt
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Han
d
le
i
nitialization i
n
the decl
a
ratio
n
s;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpe
n
t
er
Cut down on false p
o
sitives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Parse the return statement before
c
a
ll
i
ng t
h
e
r
e
turn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Fix crashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Remove some false positives
a
n
d
e
n
ab
l
e t
h
e ch
e
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Demote argument n
u
l
l derefs to cross func null derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan
C
arpen
t
e
r
L
a
bel t
h
e output: error, warn
,
or
i
nfo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Da
n
Carpente
r
A
dd a hack t
o
handle the
k
ernel's
r
edefi
n
e
d
i
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan
C
arpe
n
ter
Handle more comparisons th
a
n
jus
t
(foo == 0
)
and (foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Car
p
enter
check_locki
n
g:
a merge with NULL is a merge with the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
an Carpenter
Rem
o
v
e
unneeded cod
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add line nu
m
ber
back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Carpenter
Use the most r
e
cent implicati
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Car
p
en
t
er
Add option --assume-loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
arpenter
Add an op
t
ion --n
o
-implied to turn of implications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpen
t
e
r
implied pools:
clean
u
p
how impl
i
e
d
pools are
c
r
eated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
che
c
k_
m
emo
r
y: separ
a
te out a m
a
lloced s
t
ate
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan
C
a
r
penter
All
along
I was addi
n
g the pools
to
the wrong pla
c
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n
Carpenter
Clean up
.
Mo
v
e a c
o
uple ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
A
dd a s
a
nity check th
a
t ->p
o
ssible h
a
s a ->
m
y_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
an Carpenter
Clean up
.
Free
i
ng the sm_sta
t
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
C
arpent
e
r
Oring
t
he slist
s
see
m
s l
i
ke
merge_s
l
ist(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Add a --debug-implie
d
option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next