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
Make validation test harder.
2009-05-04
Dan Carpenter
Make vali
d
ation test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpent
e
r
Re
w
ork s
m
atch implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan C
a
rpenter
g
e
t_valu
e
(): handle
a co
u
p
le mo
r
e bit operator
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Ca
r
pe
n
t
e
r
Set t
h
in
g
s in smatc
h
extra instead
of
smatch impli
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan
Carpent
e
r
Handle s
w
i
t
ch sta
t
e
m
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Da
n
Carpe
n
ter
Revert "Don't the
i
mplications for the state det
e
rmining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
Revert
"H
e
r
e is a bu
g
i
n
hand
l
ing compo
u
nd conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
h
a
n
dle
i
f
((foo
=
d
o
wn_trylock())
< 0) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
D
an Carpenter
add_i
s
_merg
e
d_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan
Car
p
ente
r
Dereferencing
a
v
ariable
doesn't make it
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
Redo checking fo
r
out of range args t
o
ERR_
P
T
R
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
D
an Carpenter
Here is a bug in
h
andling compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
an
C
arp
e
nter
Handle straight forward
c
omp
a
ri
s
o
ns to
z
ero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan C
a
rpenter
Sto
r
e the
i
mplications
f
or re
t
urn_imp
l
ies_state() a
s
si
g
nments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Add: retu
r
n_imp
l
ies_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an Carpenter
R
ename smatch_extra_he
l
per
.
c to smat
c
h_r
a
nges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an Carpent
e
r
Eliminate set_cond
_
states() functi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Small c
l
ean up
.
All
o
cating filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpenter
Ve
r
i
f
y tha
t
th
e
val
u
e pas
s
ed to ER
R
_PTR() isn't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
penter
F
ix comp
i
ler int<->ptr convers
i
on war
n
ings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
t
e
r
Merge adjacent range
s
.
1-2,3-4 becomes 1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
e
nt
e
r
Save some allocations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpente
r
F
i
x s
t
rncat(
)
bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpenter
Improve h
a
ndling
o
f for lo
o
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Han
d
le
once thr
o
ugh
loo
p
s differently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
C
a
rpenter
Fi
x
merging ranges
.
C
o
mpletely brok
e
n bef
o
re
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
arpenter
Ty
p
o: <= in
s
tea
d
of >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
R
e
ve
r
se all th
e
r
a
n
g
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carpenter
Don't th
e
i
m
plications for the state determining the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
n
t
e
r
m
atch_compar
i
son to hand
l
e l
e
ss tha
n
, greater
than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Car
p
e
nter
C
h
ange locki
n
g
o
ut
p
ut
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Do
n
'
t
allocat
e
so many extra_undefined states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
create a
l
loc_extr
a
_stat
e
_em
p
t
y()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
remove true_comparis
o
n
(
) and do_compa
r
ison()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Carpenter
m
o
ve (true|false)_compar
i
son_r
a
nge(
)
to smatch_extra
_
helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
clear
->my_
l
ist
s
fo
r
&ign
o
re
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
Print more --debug-implied inf
o
r
m
ation
w
hen --debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
Remo
v
ed hard c
o
ded o
p
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
F
i
x range
comparison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remove unused
f
unction:
range_
l
ist_intersectio
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
ent
e
r
Han
d
l
e
UNDEFINED ran
g
e and displ
a
y the
n
ame
co
r
r
e
ctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
enter
Fix s
t
ate names for ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n
Carpenter
Implied ranges
.
Part #3
.
Range
L
ists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
ent
e
r
U
p
date da
t
a
fi
l
e
s
fo
r
2
.
6
.
30-r
c
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n C
a
rpenter
sm
a
tch
_
extr
a
.
save ot
h
er c
o
mpar
i
sons besides ju
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle:
i
f ((foo =
t
ry_lock()))
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
rename: expr_
t
o_val() -> get_im
p
lied
_
val
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Ca
r
penter
Fix
handling
of if (IS_ERR(foo = b
a
r())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Car
p
enter
handle if condit
i
onal functi
o
n
s ar
e
assigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpente
r
Add new
r
estri
c
ted known_con
d
ition_
t
rue
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
r
e
name
k
n
o
w
n_condition_true() t
o
imp
l
i
ed
_
condition_true(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
Add ERR_PTR() c
h
eck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
__module
_
pu
t
_and_exit() does
n
't re
t
urn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
Separate the l
i
st of
f
reed arguments from decremen
t
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpente
r
W
r
i
te a script to print function
s
t
hat return
NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Don't fr
e
e bin_d
i
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
a
rpen
t
e
r
Oops
.
Commit
t
hese essential f
i
les
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Car
p
e
nter
Handle k
n
own condition
s
when
t
h
e
y ar
e
a simpl
e
v
alue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpent
e
r
Add
CASE
_
HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpenter
Fix memory
leaks found by val
g
r
ind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpent
e
r
alloc_string() ->
alloc_sna
m
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Put some validation sc
r
i
p
ts in the
c
loset
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Implied
r
anges
.
Part
#
2
.
Filters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Silenc
e
the
mutually exclusive output ag
a
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
D
an Carpenter
Free all data_info at the end of a function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Add
-
-no-data option and warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
Carpente
r
ra
n
ge
fix
.
and
i
ng slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
an Carpenter
cleanu
p
s from cl
o
ne_s
l
ist
(
) chan
g
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n Carpenter
Implied ranges
.
Pa
r
t #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Da
n
Ca
r
pe
n
ter
Add the allocati
o
n
f
uncs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
free_scq is
defined 2 tim
e
s quite differently
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpen
t
er
Fix implication
s
(fallout from clone_slist() chang
e
s)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
M
a
jor memo
r
y savi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpenter
-
-
deb
u
g
m
eans pr
i
nt the implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
A
dd --no-implied to the hel
p
t
e
xt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n Carpe
n
ter
Save memory
.
Don't copy the state name
s
o m
u
c
h
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n Carpenter
Add check_type
.
c (disabled
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n
C
a
rpente
r
k
ref_put(
)
an
d
kobjec
t
_put()
are ba
s
ic
a
lly lik
e
a
free
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
D
an Carpenter
Don
'
t der
e
feren
c
e
f
r
eed memor
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan
Carpenter
Add all the a
l
lo
c
ation functions to check_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
G
enerate a list of
functions that
allocate data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpenter
Update t
h
e
g
e
n_free
s
_list
.
sh and the ge
n
erated data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Car
p
enter
Save function lists in smat
c
h_data
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan
C
arpe
n
te
r
ne
w
(disabled) sc
r
ipt: c
h
eck_
l
eaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan
C
arpenter
implied: add get_implica
t
io
n
s
(
) for scr
i
pts
t
o use
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
A
d
d comment
.
get_v
a
l
ue returns UNDEFINED on error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
f
u
nc
t
ion_hooks:
bump the number of
en
t
ri
e
s in
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
Carp
e
n
t
er
new: ad
d
_function_assign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpe
n
ter
Cle
a
n up
t
he cond
i
ti
o
nal
h
ook code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpen
t
er
ne
w
api: add_conditional_hook(), set_con
d
_
states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
function_hook
s
: pa
s
s the
function na
m
e as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
C
a
r
pe
n
ter
d
on't tr
y
return blo
c
k thing
s
in get_variable_fro
m
_ex
p
r_comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
Carpenter
Add
a list o
f
noretu
r
n type
f
unctions that
nulli
f
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
D
an Carpe
n
t
er
Merge branch
'
devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
recompile the che
c
k
_
*
.
c fil
e
s
if the smatch heade
r
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpente
r
check_overf
l
ow: test copy_to
/
from_u
s
er as we
l
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
a
r
penter
che
c
k
_overflow: don't multiply th
e
s
i
ze
of
s
trings
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpe
n
ter
ass
u
m
e
d_nonnull crap
.
.
.
temp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
A
dd script to generate the frees list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpente
r
ren
a
me re
g
i
ster_fre
e
s_ar
g
u
ment t
o
c
h
eck_fre
e
s_argument
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next