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 C
a
rpe
n
ter
Ma
k
e validation tes
t
harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Rework smatch im
p
lied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan C
a
rpent
e
r
get_value(): handle a couple more bit
o
perator
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpent
e
r
Set t
h
ings in smatch
extra instead o
f
s
m
a
tc
h
implied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n Carpenter
Ha
n
dle
s
witch
s
ta
t
ements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Ca
r
pent
e
r
R
ev
e
rt "Don't th
e
impl
i
cations for
the
s
t
a
te determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
D
a
n Carpent
e
r
R
e
vert "H
e
re is a bug in handlin
g
compo
u
nd conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carp
e
nter
handle if((
f
oo =
d
own_t
r
y
lock()) <
0
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
D
a
n Carpenter
add_is_merged
_
hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
C
arpenter
Derefe
r
encing a
v
ariable doesn't make
i
t undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan
Carpente
r
Re
d
o checking fo
r
out
o
f range arg
s
to ERR_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
D
an Carpente
r
Here
is
a bug
i
n hand
l
ing co
m
pound cond
i
t
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Handle straight
forward comparis
o
n
s to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Ca
r
pent
e
r
S
t
ore the implications for re
t
u
r
n_implies_state
(
)
assignment
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carp
e
nter
Add: retu
r
n_implies_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
ter
Rename sm
a
tc
h
_extra
_
help
e
r
.
c
t
o
smat
c
h
_ra
n
ges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Eliminate se
t
_
c
ond_s
t
a
tes() functi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
e
r
Small clean
u
p
.
Allocating filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
t
e
r
Ve
r
ify that the value
p
assed to ER
R
_PTR() isn'
t
too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an
C
arpenter
Fix compiler int<->ptr conversion warni
n
gs
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpe
n
t
e
r
Mer
g
e
a
djacent ranges
.
1-2,3-4 becomes 1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Save som
e
all
o
c
a
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nter
Fix s
t
rncat()
b
ugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpente
r
Impro
v
e
h
andling
o
f
for loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Car
p
enter
Handle on
c
e throug
h
loops di
f
ferentl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
Carpenter
F
ix merging
ranges
.
Completely broken
b
efore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
arpenter
Ty
p
o
: <
=
instead of
>
=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Reverse all the ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Don't the implications for the state determinin
g
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
match_com
p
arison to handle less than, great
e
r than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
enter
Change locking output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
Do
n
'
t
allocate so ma
n
y ext
r
a_undefined
s
tates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpe
n
ter
c
r
eate allo
c
_e
x
tra
_
state_empty()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
remov
e
tru
e
_comparison(
)
and do
_
co
m
parison()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
mo
v
e (true|false)_compa
r
is
o
n_range() to smat
c
h_extra_helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
clear ->my_lists for &
i
g
n
or
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
Pr
i
nt more -
-
debug-implied information
when --debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
e
n
ter
Removed hard coded o
p
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Fix range
comparison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpente
r
remove unuse
d
function: rang
e
_lis
t
_inte
r
se
c
tion()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Handle UNDE
F
INED ran
g
e
and display th
e
name cor
r
ec
t
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an Car
p
ente
r
Fix
state names for
ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpenter
Imp
l
ied
r
a
nges
.
Part
#
3
.
R
ange Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Update
data files for 2
.
6
.
3
0
-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
smatch_extra
.
s
a
v
e other com
p
aris
o
ns besides just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
C
arpenter
ha
n
dle: if ((foo = try_loc
k
())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Car
p
enter
rename: ex
p
r
_to
_
val() -> get_imp
l
ied_valu
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpente
r
Fix handling of
if (IS_
E
RR(foo
=
bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n Carpe
n
ter
handle
if co
n
d
itional functions are assign
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add
n
e
w
restricted kn
o
wn
_
condition_true(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
renam
e
known_condition_tr
u
e()
t
o
i
mplied_
c
ondition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add ERR_PTR() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Car
p
enter
__
m
odule_put_and
_
exit
(
) doesn
'
t re
t
urn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
e
r
S
eparate the l
i
st of fr
e
ed
a
rgument
s
fr
o
m
decremented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Ca
r
pente
r
Wri
t
e
a
s
cript to print fu
n
ctions that return NU
L
L
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carp
e
nter
Don't free
b
i
n_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
t
e
r
Oops
.
C
o
mmit these ess
e
n
t
ia
l
f
i
le
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpenter
Ha
n
dle known c
o
nditio
n
s when th
e
y ar
e
a simple value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpenter
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 va
l
gr
i
nd
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
C
ar
p
enter
a
llo
c
_string()
-
> alloc_sname
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Car
p
enter
Put some v
a
lidat
i
on scrip
t
s in the cl
o
set
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpent
e
r
Implied ranges
.
Part
#
2
.
Filters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
Carpenter
Sile
n
ce the
mutual
l
y exc
l
usive
o
ut
p
ut again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Free a
l
l
d
a
t
a
_info at the end
of a funct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpen
t
er
A
dd --no
-
data option an
d
w
a
rning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
arp
e
nter
rang
e
f
ix
.
a
nding slis
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
an
C
a
rpenter
clea
n
up
s
from clone_slist() chan
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Car
p
e
nter
Implied
r
an
g
e
s
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan
C
a
rpenter
Add the
a
llocat
i
on
f
unc
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Carpenter
fr
e
e_s
c
q is defined 2 times quite
differen
t
l
y
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
an Carpenter
Fix implicat
i
ons (f
a
llout from c
l
on
e
_slist() changes)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
rpente
r
Major me
m
ory saving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n Carpenter
-
-
d
eb
u
g means print the im
p
lications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
ar
p
e
n
ter
Add --no-implied
to
the
h
e
l
p
text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n
Ca
r
p
enter
Save memory
.
D
on'
t
copy the state name
s
o
m
u
ch
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Da
n
Car
p
enter
Add che
c
k_type
.
c (disab
l
ed)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan C
a
rpent
e
r
kref_put() a
n
d kobject_put() are
b
asic
a
lly like a free()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
D
a
n
C
arp
e
nter
Don
'
t derefe
r
ence freed memo
r
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpent
e
r
Add a
l
l the allocation functi
o
n
s
t
o
c
h
eck_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Generate
a
lis
t
of
funct
i
ons
t
hat al
l
ocate data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
D
a
n Carpente
r
Update the
gen_frees_
l
is
t
.
sh and the gene
r
ated data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Da
n
Carpenter
S
a
ve fun
c
t
ion l
i
sts in sm
a
tch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
D
an Carp
e
nt
e
r
ne
w
(disabled) scri
p
t: check_leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
D
an Carpenter
i
mplied: add get_im
p
lications() for scripts to use
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpe
n
te
r
Add comment
.
g
e
t_va
l
u
e re
t
urns UND
E
FINED on error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpenter
function_
h
o
o
k
s: bump the number of entries in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
Carpenter
new: add_function_assign_hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
ar
p
enter
Clean up the conditio
n
al
hoo
k
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Car
p
enter
n
e
w a
p
i: add_conditional
_
hook
(
), se
t
_cond_state
s
();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n Carpenter
funct
i
on_hooks: pass the func
t
ion name as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpe
n
t
e
r
d
on't try re
t
urn
bloc
k
thi
n
gs in
g
et_variable_from_expr_comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n Carpenter
Add a l
i
st of noreturn type fun
c
tions t
h
at
n
ullify
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpent
e
r
Mer
g
e bran
c
h 'deve
l
'
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpent
e
r
recompile the check_*
.
c f
i
l
e
s i
f
t
h
e
smatch
h
ea
d
ers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpente
r
check_overflow
:
test copy_to
/
from_user as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
check
_
o
v
erflow: don't
m
u
lt
i
ply
t
he size o
f
strings
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
assumed_no
n
null crap
.
.
.
t
emp fi
x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
Add s
c
ript to
g
e
n
erate the frees li
s
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
e
nter
rename regi
s
ter_frees_argument to check_frees_argument
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next