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
Dan Car
p
enter
m
a
t
h: cle
a
nup: make handling bi
n
ops a switch() sta
t
ement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup create
sepa
r
a
t
e handl
e
_b
i
nop() fu
n
c
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpen
t
er
ma
t
h: cleanup
.
u
s
e
c
a
st_to_type() instead of r
e
-im
p
limenti
n
g
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
math: clean
u
p
.
separate hand
l
e_preop() i
n
t
o
it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Carpe
n
ter
equiv: f
i
x cra
s
hing bug introduced in
8c35888
3
a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pente
r
Cr
e
a
t
e
separate sm
a
t
ch_ma
t
h
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
C
a
rp
e
nter
update sma
t
ch_data/ for 2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
enter
i
m
p
li
e
d: clean up
m
a
k
e a separate handle_zero_co
m
pari
s
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carp
e
nter
equi
v
: handle
c
omp
a
risons with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpent
e
r
equiv: cleanup
separat
e
set_e
x
tra_true_false() into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nter
equiv, i
m
pli
e
d: fix ha
n
d
l
ing borrowed implic
a
t
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
implied: don't up
d
ate the
e
q
u
ivelen
t
states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Car
p
en
t
er
rm valida
t
ion/sm
a
tch
_
closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan C
a
r
p
enter
equi
v
: don't overwrit
e
the implication infor
m
a
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename __set_state() => __set_s
m
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpenter
r
ename clone_state() => clo
n
e_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
e
q
uiv: preserve ->equiv a
c
ross
m
erges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpent
e
r
Use
the eq
u
i
valent variable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an
Ca
r
penter
re
m
ove tra
c
kers from ->equiv
when
t
hey are no l
o
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carpen
t
er
Fi
x
c
r
ash
i
n
g
b
ug caused by last commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
C
arpenter
store i
n
formati
o
n in the new dinfo->equ
i
v
thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpenter
introdu
c
e
a
d
d
_tr
a
cker_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nter
make set_
s
tate()
a
n
d
f
riend
s
return th
e
new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nter
introduce clone_track
e
r_list
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpente
r
add "eq
u
iv" field to s
t
r
uc
t
data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
m
ove the alloc_dinfo(
)
fun
c
tions
to smatch_
e
xtra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan
C
arpente
r
check_s
i
gned: warn
a
bout comp
a
ring (u
n
sign
e
d variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carp
e
nte
r
update
v
a
li
d
ation/s
m
_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
Da
n
Carpe
n
ter
*new* sma
t
ch_scripts/whitesp
a
s
e
_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
en
t
er
add -
n
o-lineno opt
i
on to
s
parse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
enter
va
l
i
dation/sm_
r
edundant_ch
e
ck
.
c now it'
s
"in
f
o" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
check_prece
d
e
n
ce: print one warning
message instea
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
a
rpenter
c
heck_s
i
gned: handle uns
i
gne
d
64 bit va
r
iables better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
get
_
value()
h
andle some
m
o
r
e
math operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arpenter
make redunda
n
t nul
l
checks before kfree()
an "info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
Carpent
e
r
chec
k
_signed: E
l
i
m
inate
s
ome fal
s
e positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n Carpent
e
r
p
recedence: check for && vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Car
p
enter
implications: i
m
prove ha
n
d
ling of c
o
mpa
r
iso
n
s with
.
.
.
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 Carpenter
conditi
o
ns: parse EXPR_P
O
STOPs after evalu
a
tin
g
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_overflow:
re
m
ove f
a
lse pos
i
tives
c
a
u
sed by printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpente
r
flow: improve h
a
ndling
of wh
i
le(i--) {
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpenter
remov
e
s
tra
n
ge
l
oop message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
k
p
atch
.
sh:
ask
a
bout alloc() failur
e
s sp
e
cifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
che
c
k_d
e
ref: han
d
le __GFP
_
N
OFAIL (remo
v
e false p
o
sitives
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carp
e
n
t
er
check_der
e
f
: handle pointers use
d
as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Car
p
enter
sm
a
tch_flow: c
l
ean up
.
merge common code
i
n handle_pr
e
_loop()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
im
p
r
ove impl
i
ed_condition_tru
e
()
for pr
e
an
d
post ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
while countdow
n
loops: handl
e
loo
p
s where t
h
e st
a
rt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
arpente
r
handle for loops where we don't know
t
h
e upper limit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpenter
smat
c
h_flow:
handling pre loop
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan
C
arpenter
ex
t
ra: compa
r
ing something to zero d
o
esn't m
e
an it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpe
n
ter
chec
k
_overflow: r
e
lax rules on
if (ptr < &array[ma
x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
extr
a
:
h
andle
loops l
i
ke while(i--) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n Carpenter
clean up:
m
erge a couple
function for handling for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan
Carpent
e
r
fix handling of (2 <=
x
) comparison
s
wher
e
the varia
b
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan
Car
p
enter
ch
e
c
k_sig
n
ed
:
d
i
sable mos
t
of t
h
e new war
n
ings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
get_
t
y
p
e() fix c
r
as
h
on getting po
i
nter types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
pe
n
ter
get_
v
alue() more int to l
o
ng lon
g
mop
u
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Ca
r
penter
get_type() fix point
e
r handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
pent
e
r
Fix get_value() for ((unsigned int
)
-
1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
Ca
r
pen
t
er
type_
m
a
x()
:
handle unsigned long long
.
(sor
t
of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nter
get
r
id
o
f
--rare option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
renam
e
get_singl
e
_value_from_range(
)
=> get_sin
g
le_value
_
fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
penter
for loo
p
s:
add a specia
l
case for "for(i
=
0;
i <
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
arpenter
c
h
e
c
k
_
s
ig
n
ed:
check int types
as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
smatch
.
c: use strncpy() instead of strcpy()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
debug: rename __smatch_pri
n
t_va
l
ue() =>
__s
m
a
t
ch_va
l
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
penter
ch
e
c
k
_signed: expr->op is
t
ype int not char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpenter
I
ntrod
u
ce
get_
f
uzzy_min()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpenter
precedence: cut down
a
few false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carp
e
n
t
er
*new*
c
h
e
ck_
l
e16:
p
rint an error
for doubl
e
cpu
_
to_le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
rpen
t
er
*
new* che
c
k_mod
_
t
i
mer: prin
t
an warnin
g
i
f someone
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpenter
strip_expr
(
):
r
emove force c
a
sts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Da
n
Carpenter
kpatch
.
sh: figur
e
t
h
e email address out a
u
toma
t
ically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
an
C
arpenter
*new* sma
t
c
h_scripts/
k
patch
.
sh: script for mailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
Print fewer messages
abo
u
t unreac
h
ed code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan C
a
rpenter
sm
a
tch_conditions: sm
a
ll cleanups and add debug cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
fix WARN_ON handling some m
o
re
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Car
p
e
n
ter
smatch_template:
s
m
a
l
l
chang
e
s to comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Ca
r
penter
cle
a
n up
th
e
m
akefile a b
i
t
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
Da
n
Carpenter
s
m
a
t
ch_state
s
:
wh
i
te space ch
a
nges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
er
smatch is supposed to be using "lon
g
long"
t
ypes i
n
ternally
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpenter
new_bugs
.
sh: b
e
tter filteri
n
g of sm
a
tch er
r
ors
from
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
a
rpente
r
ha
n
dle s
t
uff like th
e
kernel's WARN_ON() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpe
n
ter
s
match_ex
t
ra: foo =
!
!x;
does not mo
d
ify
x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
rpenter
h
a
n
dle assignments like: foo = !bar()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpente
r
check
_
overflow
:
c
h
eck for memset()
i
s
sues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
a
utomatical
l
y
g
enerate
t
h
e
list of
functions which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
*new*
s
match_scripts/summarize_errs
.
s
h
: script for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpe
n
ter
kernel: fix xfs
f
a
lse
p
ositives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpenter
c
heck_overflow: handle: "i
n
t *p = &a
r
r
a
y;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpenter
check_overflow: fix bug
i
n
get_
a
rray
_
size_b
y
tes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arp
e
nter
push some more st
u
ff on the big
_
expres
s
ion_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n
Car
p
ent
e
r
c
heck_
o
ver
f
low: ha
n
d
l
e casts lik
e
(
(
char *)arr
a
y)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpenter
check_overflow: fi
x
assigning arrays to p
o
inters
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
enter
check_o
v
erflow: f
i
x alignment b
u
g in get
_
a
rray_s
i
ze_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpen
t
er
check_overflo
w
: prefer recent assignments
ov
e
r the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next