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
potential bug fix for gotos with implications
2009-05-04
Dan Car
p
enter
p
o
tential
b
ug f
i
x f
o
r
goto
s
with
i
mplications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
C
a
rpenter
Make vali
d
ation test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpe
n
ter
R
ework smatc
h
impl
i
ed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Da
n
Car
p
e
nter
get_v
a
l
ue():
h
a
n
dle a coup
l
e
mor
e
bit operators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpen
t
er
S
e
t things in smatch ext
r
a i
n
stead of sma
t
c
h
implied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carp
e
nter
Han
d
le switch statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpe
n
t
e
r
Revert "Don't
the impli
c
a
tions for
t
he state determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
D
an Carpen
t
er
Revert
"Her
e
is a bug
in
h
an
d
ling compound
c
ondi
t
ions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan C
a
r
penter
han
d
le
i
f((foo = down_t
r
ylock()) <
0)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carp
e
nte
r
add_is
_
merged_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
Dere
f
e
rencing a var
i
abl
e
d
oesn't make i
t
u
ndefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
D
an
C
a
r
pente
r
Redo che
c
king
f
or out
o
f ra
n
ge arg
s
to ERR_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Da
n
Carpenter
Her
e
is a bug in h
a
ndling c
o
m
p
ound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n Carpente
r
H
andle str
a
i
g
h
t forward comp
a
risons
t
o zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n Carp
e
nt
e
r
S
t
o
re th
e
implications
fo
r
ret
u
rn_implies_state()
a
s
sig
n
m
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpe
n
ter
A
d
d:
return_imp
l
ies_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
R
e
name sm
a
tch_ext
r
a_he
l
per
.
c to sm
a
tch_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Car
p
en
t
er
E
li
m
inate se
t
_cond_states(
)
f
unc
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpenter
Small c
l
ean
u
p
.
Allocating filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Verify th
a
t
the
value
passed
t
o ERR_PTR(
)
isn't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an Carpent
e
r
F
i
x
compiler i
n
t<->ptr conversion warning
s
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
ar
p
enter
Merge
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 Carp
e
nter
Save some allo
c
ations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Ca
r
penter
Fix
strncat() bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Da
n
Carpen
t
er
Im
p
rove handling
of for loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
Carpenter
Handle o
n
ce
throu
g
h
l
o
ops differently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
F
i
x merging ranges
.
C
ompletely
br
o
k
e
n
befor
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
T
ypo: <= 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 Ca
r
penter
Don't the implications
f
or the state de
t
ermining
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpe
n
ter
matc
h
_comparis
o
n t
o
handle less than, greater than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
Change locking outp
u
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
t
e
r
Don't allocat
e
s
o many extra_unde
f
ined states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpenter
c
r
eate alloc_
e
xtra_state_
e
mpty()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
remove true_comparison() and do_c
o
mparison(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
move (true|false)_com
p
arison_range() to sma
t
ch_
e
xtra_helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
clea
r
->my_list
s
for &ignore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpenter
Print more --de
b
ug-implied
i
nfor
m
a
tion when --debu
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Removed hard coded options
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
n
t
er
F
i
x range compar
i
son
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an Car
p
enter
remo
v
e unused func
t
io
n
: range_list
_
i
n
tersection()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpent
e
r
Han
d
le
U
NDEFINED rang
e
and display the name corre
c
tly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
a
r
p
e
nt
e
r
Fi
x
state nam
e
s fo
r
r
a
nge
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
I
m
plied
ranges
.
Part
#3
.
Range L
i
sts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
U
p
d
a
t
e data files for
2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
s
m
a
tch_extra
.
save o
t
h
er comparisons besides just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n Carpenter
h
andle: if ((foo = try_
l
ock())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
C
arpenter
renam
e
: exp
r
_
to_val() -> get_
i
mplied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpen
t
er
Fix ha
n
dling
of if (IS
_
ERR(foo = bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carp
e
nter
handle if
c
ondi
t
ional functions are assigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
A
d
d
n
e
w restric
t
ed kno
w
n_co
n
dition_true(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
re
n
ame
k
n
o
wn_condition_true()
to
implied_condition
_
t
r
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpente
r
Add
ERR_P
T
R() chec
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
__module_p
u
t_and_exit() d
o
esn't
ret
u
r
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
ter
Separ
a
te the l
i
st of freed ar
g
uments from decremented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Wr
i
t
e a
script to pri
n
t func
t
ions
th
a
t re
t
ur
n
NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
D
o
n't free bin_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Ca
r
pe
n
ter
Oops
.
Commit th
e
se essent
i
al files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpenter
Handle known con
d
itions
when
t
he
y
a
r
e a simple v
a
lue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
A
d
d
CASE
_
HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Car
p
enter
Fix
memory lea
k
s
f
ound by val
g
rind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an C
a
rpenter
alloc_string() -> alloc_sname()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpen
t
er
P
ut
some v
a
lidation scrip
t
s i
n
the close
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
p
ent
e
r
Implied
range
s
.
Part
#
2
.
Fil
t
e
rs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Silence the mutual
l
y exclusive o
u
t
put
a
gain
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Ca
r
p
enter
F
ree all
d
a
ta_i
n
fo at the en
d
of a
f
un
c
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Add --no-data option and
warnin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
Carpenter
range
f
ix
.
andi
n
g slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
c
l
eanups from clone
_
slist() cha
n
g
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
arpent
e
r
Implied r
a
nges
.
Pa
r
t
#
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan C
a
rpenter
Ad
d
the allocatio
n
f
un
c
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
free_s
c
q is de
f
ined 2
t
imes q
u
ite
di
f
f
e
rently
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
an Ca
r
pe
n
ter
Fix implications
(
fal
l
out from
c
lone_slist() ch
a
nges)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpente
r
M
a
jor
m
e
mory saving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
an
Carpente
r
--debug means print t
h
e impl
i
catio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Car
p
enter
Add --no
-
i
m
p
lied to the help text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan
Carpe
n
ter
S
a
ve memory
.
D
o
n't
c
op
y
t
he sta
t
e name so much
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Add chec
k
_type
.
c
(
disabled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan C
a
rpenter
kref
_
put() and kobject_put()
are ba
s
ically like a
f
r
e
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
D
a
n C
a
rpenter
Don't de
r
e
f
e
re
n
ce freed memory
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Add all the a
l
location fu
n
c
tions to check_le
a
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Generate a
l
ist of
functions tha
t
all
o
cate data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpent
e
r
Upd
a
te the
gen_
f
rees_list
.
sh and t
h
e ge
n
erated
data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpente
r
S
a
ve
f
unction lists in smatch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
D
a
n Carpenter
new (
d
isab
l
ed) scr
i
pt: check_l
e
a
k
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
D
an Carpenter
implied:
a
dd get_i
m
p
licat
i
ons()
f
o
r
scripts to
u
se
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpen
t
er
A
dd comm
e
nt
.
get_value re
t
urns
UNDE
F
IN
E
D
on
e
rror
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpente
r
function_ho
o
ks: bump the
number of entries
in th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
an Carpe
n
ter
new: add_f
u
nct
i
on_assign_h
o
ok()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
an Carpenter
Clea
n
up
the condit
i
onal
h
oo
k
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new api: add_condi
t
i
o
nal_hook(), set_cond_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
function_hoo
k
s: pass the fun
c
tion n
a
me as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
Ca
r
penter
don't t
r
y
retur
n
bloc
k
things in get_
v
a
riable_from_expr_comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpente
r
Add a list of no
r
eturn type
func
t
ions that
nul
l
if
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
Carpent
e
r
Merge bra
n
ch
'
devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carp
e
nter
recompi
l
e the
check_*
.
c files
if the smatch headers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
ch
e
ck_o
v
e
rflow: test copy_to/
f
ro
m
_
u
ser as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
a
rpenter
check_overflow: don't mul
t
ip
l
y
t
he s
i
z
e
of s
t
ring
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
assumed_nonnull crap
.
.
.
te
m
p fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
Ad
d
script
t
o genera
t
e the frees l
i
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next