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 set_state() and friends return the new sm_state
2010-03-12
Dan Carpe
n
ter
make set_s
t
ate()
a
nd fri
e
nds return the new sm
_
state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
intr
o
duce clone_tracke
r
_l
i
st()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpenter
a
dd "equiv" field
t
o
struct
data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Ca
r
pen
t
er
move the alloc_dinfo()
f
unctions to smatch
_
extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan C
a
rpent
e
r
check_signed: war
n
about comparing
(
un
s
igned va
r
i
able
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
e
n
t
er
u
p
date validation/sm_casts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* smatch_scripts/show_errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpenter
*new*
s
match_scripts/whitespase
_
on
l
y
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
a
r
p
e
nter
a
d
d -n
o
-lineno option to s
p
arse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpente
r
validat
i
on/sm_redundant_check
.
c now it's "
i
nfo" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpente
r
check_precedenc
e
: print one warning message instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
an
Carpenter
chec
k
_s
i
gn
e
d: handle unsign
e
d 6
4
bit v
a
riables better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
g
e
t_value() handle some more math operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpen
t
er
make
r
e
dundant nul
l
checks before kfr
e
e
() an "info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
check_signed: Eliminate some false p
o
sitives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
precedence: check for &&
v
s &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
penter
impli
c
ati
o
ns: improve handli
n
g o
f
compari
s
o
n
s
wi
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
use implications from POSTOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
te
r
conditions: p
a
rse EXPR_
P
O
S
TOP
s
after evaluat
i
ng the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
a
rpenter
che
c
k_over
f
low:
remov
e
false positives caused
b
y printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Car
p
enter
flow: improve han
d
ling
of while(i--) { loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpe
n
t
e
r
re
m
o
ve stran
g
e
loop message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpenter
k
patch
.
sh
:
ask about alloc() failures speci
f
ically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpenter
check_deref: h
a
ndle _
_
GFP_NOFAIL (remo
v
e fal
s
e positives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Ca
r
penter
check_der
e
f: handle
p
o
i
nte
r
s used as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
s
ma
t
ch_flow: c
l
e
an
u
p
.
merge c
o
mmon code in handle_pre_loop(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan C
a
rpenter
improve implied_condition_true() for pre and post op
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Carpenter
while countdow
n
loops: handle
loops
whe
r
e the start
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpe
n
t
e
r
h
a
ndle for loops
where we don't
k
now
the upper limi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan C
a
rpenter
smatch_flow: h
a
ndlin
g
pre loop
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Da
n
Carp
e
nter
extra: comparing somethin
g
to zero doesn
'
t
mean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
ch
e
ck_overflow: re
l
ax rules
on
i
f (ptr
<
&array[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
D
an Carpenter
extra:
h
and
l
e loops like while(i--
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n Carpen
t
er
clean up: merge a couple f
u
nction fo
r
ha
n
dling f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan
Car
p
enter
fix handling o
f
(
2 <= x) compar
i
sons
where the var
i
able
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
D
an Car
p
enter
check_s
i
gned: disable most of the new war
n
ings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpen
t
er
get_type
(
)
f
ix
crash on get
t
ing point
e
r
type
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
an Ca
r
penter
get
_
value() m
o
re int
to long long mop up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get_type
(
) fi
x
p
o
inte
r
handlin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
F
i
x get_value() f
o
r ((unsigned
in
t
) -1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
t
ype_max()
:
handle unsigned lo
n
g lon
g
.
(sort of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nter
get
r
id of --ra
r
e
option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
rena
m
e
g
et
_
single_value_from_
r
a
nge() => get
_
single
_
value_
f
ro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
for loops: add
a
spe
c
ial case
for "for(i = 0; i
<
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Car
p
e
nter
check_si
g
ned: check i
n
t type
s
as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpenter
smatc
h
.
c
: use s
t
rncpy() instea
d
of st
r
cpy()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpen
t
er
debug: rename _
_
smatch_prin
t
_va
l
ue() => __sm
a
tc
h
_va
l
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpent
e
r
c
h
eck
_
signed: ex
p
r
-
>op
i
s
t
ype i
n
t
not
char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpen
t
er
I
n
t
r
oduce ge
t
_fuzzy_min()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Car
p
enter
p
recedence: cut down a few false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*
new* check_le16:
p
ri
n
t an error for double cpu_to_le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Car
p
enter
*new* c
h
eck_mod_timer:
p
r
in
t
a
n warn
i
ng
i
f someone
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carp
e
nter
st
r
ip_expr(): r
e
mov
e
force
casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Da
n
Carpenter
kpa
t
ch
.
sh
:
figure the email a
d
dr
e
ss out
automatically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
Carpenter
*new* s
m
atc
h
_sc
r
ipts/kpatch
.
sh:
scri
p
t for ma
i
ling
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carpenter
Prin
t
fewe
r
m
es
s
age
s
about
unre
a
ched cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n
Carp
e
nter
smatch_cond
i
ti
o
n
s
: small
cleanups and add d
e
bug cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carpenter
f
ix WA
R
N_ON
h
andling some more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Car
p
enter
smat
c
h_template:
s
mall cha
n
ges to
comment
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan C
a
rpenter
cle
a
n up the m
a
k
ef
i
le a
bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpe
n
ter
handle assignments like:
foo = x
< 1
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Ca
r
penter
s
m
a
t
ch_states: white spac
e
ch
a
nge
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
s
m
atch is
s
u
p
p
osed
t
o be using "l
o
ng lo
n
g"
t
ypes internally
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
te
r
new_bugs
.
sh: bet
t
er filteri
n
g of smatc
h
error
s
from
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
handle stuff lik
e
the kernel'
s
WARN_ON() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Ca
r
penter
smatch_extra: foo =
!!
x
; does not mo
d
ify
x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
n
ter
hand
l
e assignments lik
e
: foo = !bar(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpe
n
t
e
r
check
_
ove
r
f
l
ow
:
check
for
m
emset() issues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
a
utomatically generate the
l
ist of fu
n
ctions
w
hich
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpe
n
ter
*new* smatc
h
_scripts/summ
a
rize_errs
.
sh: sc
r
i
p
t f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
D
an Carpenter
k
er
n
el: fi
x
xfs false po
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpenter
check_overflow: hand
l
e: "i
n
t
*p = &array;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
p
e
nter
check_overflow: fix
b
ug in g
e
t_array_
s
i
z
e_
b
y
tes
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Ca
r
penter
p
u
sh some more stu
f
f
on t
h
e
big_ex
p
ress
i
on_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overf
l
ow: handle cast
s
li
k
e ((
c
har *)array)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow: fix assig
n
ing arrays
t
o point
e
rs of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Car
p
ente
r
check_overflow: f
i
x
ali
g
nment bu
g
i
n
get_array_size_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpenter
check_overflow
:
p
r
e
fer recent ass
i
gn
m
ents ov
e
r the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
Add quotes around
s
tring l
i
terals
in smatch ou
t
put
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
che
c
k_overflow:
update str
c
py() and strn
c
py() ch
e
cks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
kernel
.
no_return_funcs: __reiser
f
s_panic doesn't
r
eturn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Ca
r
penter
check_ove
r
f
lo
w
: store th
e
s
ize in bytes instead of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
p
e
n
t
er
check_overf
l
ow: don't compl
a
in about i
f
(ptr
<
&arr
a
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
s
match_flow: change how
the big expr
e
s
sion stack works
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpenter
c
heck_o
v
er
f
low: renam
e
my_decl_id => my_siz
e
_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
hec
k
_o
v
erflow: whi
t
e
space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
ch
e
ck_ove
r
flow: use
the _expr()
h
ooks instead of
doi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
pente
r
c
heck_ov
e
rflow:
remove some old
d
ebug
g
i
n
g code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpe
n
ter
c
h
eck_overflow: rename dest => arr
a
y_e
x
pr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_o
v
erflow: get_i
n
i
tializer_by
t
e
s() =>
g
et_initia
l
izer_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpent
e
r
check_overflow: o
p
tion_spammy
=
>
op
t
ion_i
n
fo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Car
p
enter
c
h
eck
_
o
verfl
o
w:
handle indexed a
r
ray initializ
a
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
C
a
rp
e
n
t
er
check_o
v
erflow
:
f
ix endless loop parsing "int x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
p
enter
fi
x
ge
t
_im
p
li
e
d_m
a
x()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Car
p
ente
r
check_o
v
erflow: lots of i
m
provemen
t
s a
n
d also a vali
d
ation
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan C
a
rpenter
f
i
x
cras
h
ca
l
ling get
_
typ
e
() on
i
mplicitly
d
ef
i
n
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
Add smatch
_
d
at
a
/kernel
.
no
_
return_fu
n
cs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
fun
c
tion h
o
o
k
s:
get ri
d
o
f conditional funct
i
on hooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
C
a
r
p
enter
add smatch_sc
r
ipts/
n
ew_bugs
.
sh:
p
rin
t
s
t
h
e
bu
g
s
introduced
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
err_ptr_
d
eref: update to
use n
e
wer api
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next