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
math: cleanup: make handling binops a switch() statement
2010-03-16
D
an C
a
rpenter
math: cleanup: make h
a
ndling binops a swi
t
c
h
() st
a
t
e
ment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpenter
math: cleanup
c
rea
t
e separate h
a
ndle_binop() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
t
h: clean
u
p
.
use cast_to_type() instead of re-impliment
i
ng it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math:
cleanup
.
separate h
a
ndle_pr
e
op() i
n
to it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpenter
e
quiv
:
fix crashing bug introduc
e
d in 8c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
Ca
r
pen
t
er
Create
s
eparate smatch_mat
h
.
c
file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
update smatch_data/
f
or 2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
an
Carpe
n
t
er
impl
i
e
d: clean up make
a separat
e
handle_zero
_
c
o
m
parison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
an Carpenter
equiv: han
d
le comparisons with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
an Carpenter
equiv: cle
a
nup separa
t
e set_
e
xtra
_
true_
f
alse() into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n C
a
r
penter
equiv,
i
m
pli
e
d: fix handling
b
orrowed implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan
C
arpen
t
er
impl
i
e
d
: don't
u
pdate the e
q
uiv
e
lent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm validation/smat
c
h_cl
o
set/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
equ
i
v: d
o
n
't
o
v
e
rwrite t
h
e impl
i
cation inf
o
rmation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
nter
ren
a
me __set_sta
t
e() => __set_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an
C
arpent
e
r
ren
a
me clone_
s
tate() => clone_
s
m()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
nter
e
q
uiv:
preserv
e
-
>equ
i
v a
c
ross
m
e
rges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpenter
Use th
e
equ
i
valent variable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpent
e
r
remove tr
a
ckers f
r
om ->e
q
uiv when
t
hey are n
o
long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fix crashing bug
c
aused by
l
ast co
m
mit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpenter
store inform
a
tion in the ne
w
d
i
nfo->
e
quiv thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
intro
d
uce
a
d
d
_tracker_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
C
arpenter
make set
_
state
(
) an
d
f
riends return the new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
en
t
er
introduc
e
clone
_
track
e
r_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpe
n
ter
a
d
d
"
equiv" field to struct data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpen
t
er
move t
h
e alloc_dinfo() fu
n
ctions to sm
a
tch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan
Carpent
e
r
check_sig
n
e
d
: warn ab
o
ut comparing (
u
nsigned
v
ariable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpenter
update valida
t
ion/
s
m_ca
s
ts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
*new* smatch_scripts/show_errs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
r
penter
*n
e
w* smatch_scripts/whitespase_on
l
y
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
a
dd
-
no-lineno option
t
o sparse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
validation/s
m
_
r
edundant_chec
k
.
c now it's "i
n
fo" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpe
n
ter
check_prec
e
dence: print one warning message i
n
s
t
ead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_signed: handle u
n
signed
6
4
bit variables better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Da
n
Carp
e
n
t
er
get_v
a
lue() han
d
le
some more math operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
D
an Carpenter
mak
e
redundant null checks be
f
or
e
kfree
(
)
an
"i
n
fo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Da
n
Carpent
e
r
check
_
si
g
ned: Eliminate some
fa
l
se pos
i
tiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
precedence:
che
c
k
for && vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpe
n
ter
impl
i
cations: improve handling
of comparisons with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpenter
us
e
implicat
i
ons from P
O
STOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpe
n
t
e
r
con
d
itions:
p
ar
s
e EXPR_POST
O
Ps after evaluating the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpenter
check_overflow: r
e
move false
p
ositive
s
caused
b
y pr
i
ntk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
fl
o
w: imp
r
ove han
d
li
n
g of w
h
ile(
i
--) { loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
remove str
a
n
g
e
l
oop message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
kpatc
h
.
sh:
a
sk abou
t
alloc() failu
r
es spec
i
f
i
cally
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpenter
check_deref: ha
n
dle _
_
GFP_NOFAIL (rem
o
ve false posi
t
ives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Da
n
Ca
r
pen
t
er
check_deref: h
a
ndle
point
e
r
s used as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
an
Ca
r
penter
smatch
_
flow: c
l
ean up
.
merge com
m
o
n
code in handle_p
r
e_l
o
op()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Carpenter
improve imp
l
ied_condition_tru
e
()
f
or pre
a
nd post
o
ps
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Carpen
t
er
whi
l
e coun
t
down loops:
h
an
d
le loops wh
e
re the
s
t
art
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
arpent
e
r
hand
l
e for
l
oops
w
he
r
e we don't know th
e
upper limi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Ca
r
penter
s
m
atch_flow: handl
i
ng pre loo
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carp
e
nter
extra:
c
omparing some
t
hing to zer
o
doesn't mean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
ch
e
ck_overfl
o
w:
relax rules on if
(
ptr
< &array[
m
ax
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Da
n
Carpenter
extra: ha
n
dle loo
p
s l
i
ke wh
i
le(i--
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan Ca
r
pen
t
er
clean
u
p: merg
e
a couple function
f
or
h
andling
f
or
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
an Car
p
enter
fix
handling
o
f
(
2
<= x) c
o
mpar
i
sons where the variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Ca
r
pente
r
c
h
e
ck_signed: disable
mo
s
t of the ne
w
wa
r
n
i
n
gs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Da
n
Carpente
r
get_ty
p
e()
f
ix
crash on getting p
o
inter types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
C
a
rpenter
get_val
u
e() more in
t
to long long mop up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n
Carpen
t
e
r
get_type() fix pointer handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpenter
Fix get_valu
e
()
for ((unsign
e
d
in
t
) -1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
type_max
(
):
handle
uns
i
g
n
ed long l
o
ng
.
(
so
r
t
o
f
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpenter
get
rid of --rare option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
rename get_single_value_fro
m
_range() => get_si
n
gle_value_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpenter
for
l
o
o
ps
:
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 Carpe
n
ter
ch
e
c
k
_sig
n
ed: check int
t
ypes
as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
penter
s
m
atch
.
c
:
use strn
c
py() instead of s
t
r
cpy()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
debug: rename __sm
a
tch_p
r
int_value() => __smatch_
v
alue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
check_signed: ex
p
r->op is t
y
p
e
i
n
t
not char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpenter
I
ntrodu
c
e
g
et_fuzz
y
_m
i
n()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpen
t
er
prece
d
e
n
ce:
c
u
t
do
w
n a few
false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpenter
*
n
e
w
*
che
c
k_le16
:
pri
n
t an error f
o
r doub
l
e cpu_to_le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n
C
arpenter
*
n
e
w* c
h
e
ck_mod_timer: print an w
a
rning
if
so
m
eon
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan
Carpenter
strip_expr()
:
r
e
move force casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpenter
kpatch
.
sh: figure the ema
i
l address ou
t
automatically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Car
p
ent
e
r
*new* smatch
_
scripts/kpatch
.
s
h: scr
i
pt for mailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carp
e
nter
Pri
n
t fe
w
er messages about
unreached code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
C
arpe
n
ter
smatch_conditions: small cle
a
nu
p
s and add d
e
bu
g
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
Carpenter
fix WARN_ON hand
l
ing some mor
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
arpenter
smatch_te
m
p
l
a
t
e
: small changes to com
m
ents
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
clean up the makefile a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
h
a
ndle assi
g
nments like
:
foo =
x
< 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
er
smatch
_
states: whi
t
e sp
a
ce ch
a
n
ge
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch
is su
p
p
ose
d
t
o
b
e using "long long" types in
t
ernally
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n
Carpen
t
er
ne
w
_
b
ugs
.
sh: better filt
e
ri
n
g of sma
t
ch errors
f
rom
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpenter
hand
l
e stuf
f
like the kernel'
s
WARN_ON() m
a
cro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpent
e
r
sm
a
tch_extra: foo
=
!!x; d
o
es not
mo
d
i
fy x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
handle assignments li
k
e: fo
o
= !
b
ar()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
ch
e
ck
_
overf
l
ow: check for memset()
i
ssues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
autom
a
t
i
cally
generate the list of funct
i
ons whi
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Ca
r
penter
*ne
w
*
s
match_sc
r
ipts/
s
ummariz
e
_errs
.
s
h
:
scri
p
t
for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
kernel: f
i
x
x
fs false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_ove
r
f
l
ow:
handle:
"
int *p
= &array;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Ca
r
p
e
n
t
e
r
check_overflow: fix bug
i
n
g
e
t
_
array_size_
b
ytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
ar
p
enter
p
u
sh
some more stuff
o
n the big_
e
xpressi
o
n_
s
tack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
p
e
n
ter
c
h
ec
k
_ove
r
fl
o
w
: h
a
n
d
le casts
like
(
(char *)a
r
r
ay)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
e
nte
r
check_overflo
w
:
f
ix a
s
si
g
ning arr
a
ys to pointers of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
t
e
r
c
h
e
ck_overflow: fix a
l
ignment bu
g
in get_
a
rray_s
i
ze
_
bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carp
e
nter
check_overfl
o
w: p
r
efer
r
ec
e
n
t
assignments o
v
er the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next