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 Carpenter
m
ath: c
l
eanup: ma
k
e han
d
l
i
ng binops a switc
h
() sta
t
ement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
ath: cleanup
c
reate
s
eparat
e
han
d
le_
b
inop() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math: cleanup
.
use c
a
s
t
_to_
t
y
pe()
instead of re-implimenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpenter
m
a
t
h: clea
n
up
.
se
p
arate handle_preop() into it'
s
own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpenter
equiv: fix
c
r
a
shing bug
i
ntroduced
i
n 8c3
5
888
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
separ
a
t
e smatch_mat
h
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
r
pe
n
t
e
r
u
p
date smatc
h
_data/ for 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
impli
e
d: clean up make a separate handle_zero_
c
omparison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Car
p
enter
e
q
uiv: handle compari
s
ons w
i
th zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv
:
c
l
eanup separ
a
te
s
et_extra_tr
u
e_false() i
n
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
ar
p
enter
eq
u
i
v, implied: fix
ha
n
dling b
o
r
rowed imp
l
icati
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpen
t
er
implied: don't update th
e
equivelent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan
Carpe
n
t
e
r
rm valida
t
ion/smatch_closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carp
e
nter
equiv: don't
o
verwrite the
implication
i
nfor
m
ati
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpen
t
er
rename __set_state() =>
__set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
rename cl
o
ne_state() =>
c
lone_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
equiv: preserve ->equiv across merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use the equi
v
alent variable
c
od
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
enter
remo
v
e
trackers from
->eq
u
iv when they
a
re no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpen
t
e
r
Fix crashing bug caus
e
d
by las
t
commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpenter
stor
e
i
nformation in the n
e
w d
i
nfo
-
>eq
u
iv thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
i
n
t
r
oduce a
d
d_tr
a
cke
r
_ex
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpenter
make
s
e
t
_state() and
frien
d
s return t
h
e new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpenter
int
r
odu
c
e clone_tracker_l
i
st()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rp
e
nter
ad
d
"equ
i
v"
field to struc
t
data_in
f
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carp
e
nter
move the alloc_d
i
n
f
o() fu
n
ctions t
o
smatch_ex
t
ra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
D
an Carpen
t
er
check_
s
igned: war
n
about co
m
paring
(uns
i
gned vari
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpe
n
t
e
r
u
p
date validation
/
sm_
c
a
s
ts
2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
pe
n
ter
*
new* smatch_scripts/show
_
errs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*
ne
w
* smatc
h
_scripts/whitespa
s
e_only
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add -no-lineno option
t
o
sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
rpenter
valid
a
t
i
on/sm_redu
n
dant_check
.
c now it'
s
"info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
check
_
pre
c
e
de
n
ce: print one warning mes
s
age i
n
stead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
t
e
r
check_signed: ha
n
d
le
unsigned
6
4 bit variables
better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
g
et_va
l
ue() han
d
le s
o
m
e
more
m
ath ope
r
a
t
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Ca
r
p
e
nter
make re
d
und
a
nt null
c
h
e
c
ks before kfree() a
n
"info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n Car
p
ent
e
r
check_si
g
n
e
d: Eliminate s
o
me false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
precedenc
e
: che
c
k for && vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpenter
implicati
o
ns: improve
han
d
ling of comparisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n
Carpenter
use imp
l
ica
t
ions from
POST
O
Ps
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
c
o
ndition
s
: parse EXPR_P
O
STOPs after evaluatin
g
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpenter
check_overflo
w
: remove
false positiv
e
s caused
b
y
printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
nter
flow:
i
m
prove ha
n
dling of wh
i
le(i-
-
) { loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
remov
e
str
a
ng
e
loo
p
message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpent
e
r
kpatch
.
sh:
a
s
k about alloc
(
) fail
u
res specifically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpen
t
e
r
ch
e
ck
_
deref: handle __GFP_NO
F
AIL (remove false positives)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan
Carpenter
check_deref: handle
p
ointe
r
s used as arr
a
ys
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Car
p
e
nter
smatch
_
flow: clean up
.
merge common code in handle_pre_loop
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
nter
i
mprove implied_condi
t
ion
_
tru
e
() for pr
e
a
nd
post ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an
C
a
r
penter
while
c
ountdown loops: handle loo
p
s
where th
e
start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Ca
r
penter
handle for lo
o
ps where we don't know the u
p
p
e
r
limit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an Carp
e
nt
e
r
smatch_flow: handling
pre loo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
D
a
n
Carpente
r
ext
r
a: comp
a
ri
n
g s
o
mething t
o
zero doesn't
mea
n
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
<
&arr
a
y[
m
ax
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpe
n
ter
extra: handle lo
o
p
s
li
k
e whi
l
e(i--
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpenter
clean up: merge
a
couple function
for handling
for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpenter
fi
x
h
an
d
ling
o
f (2
<= x) compar
i
sons where the
v
ariable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
D
an Carpenter
check_si
g
ned: dis
a
ble most of the
n
ew warni
n
gs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
D
a
n Ca
r
pente
r
get_typ
e
() fi
x
crash on getting
pointer ty
p
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpen
t
er
ge
t
_
v
alue() more
int t
o
long long mo
p
up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nt
e
r
g
et_type() fi
x
po
i
nter
h
an
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n
C
arpenter
Fix g
e
t_valu
e
(
)
f
or ((unsigned int) -1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
type
_
m
a
x
():
handle
unsigned l
o
ng l
o
ng
.
(sort of)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
pente
r
get
rid
o
f --rare option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
te
r
rena
m
e get_single_value_from_rang
e
() => get_single_value
_
fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nter
for loops: add
a special case for "
f
or(i = 0; i <
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpenter
check_s
i
g
ned:
ch
e
ck int types as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
s
match
.
c: use strncpy() instead of strcpy()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
deb
u
g: rena
m
e __smatch_print_value()
=
> _
_
smatch_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
ch
e
c
k_signed: e
x
p
r->op is
type
i
n
t not
cha
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
C
arp
e
nter
I
ntroduce get_fuzz
y
_min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
an
C
arpente
r
p
recedence: cut down
a
few
fal
s
e positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpente
r
*new* chec
k
_le16: print
an
error for
d
ouble cpu_to_le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpente
r
*new* c
h
eck_mo
d
_timer: print an warning if someone
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Car
p
ente
r
st
r
ip_expr(): remove force
c
ast
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpenter
k
p
atch
.
s
h
: figure
t
h
e
email address out automatically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpent
e
r
*new* smatch_scripts/kpatch
.
sh: scrip
t
for mai
l
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Car
p
e
nter
Print fewer messages
abo
u
t unreached
c
ode
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
smatch_conditions:
s
mall cleanup
s
and add deb
u
g c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
fix WARN_ON handling some more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
D
a
n Carpenter
s
match_t
e
mplate: sma
l
l changes t
o
comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carp
e
nter
clea
n
u
p
the makefi
l
e
a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
handl
e
a
ssignments l
i
ke
:
foo = x <
1
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch_sta
t
e
s:
w
hit
e
s
p
ace
c
h
a
n
ge
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatc
h
is
s
uppo
s
ed to
be using "long lo
n
g" t
y
pe
s
i
nternally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
new_b
u
gs
.
s
h
: bett
e
r fil
t
ering of smatc
h
e
r
ror
s
from
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpente
r
handle stuf
f
like
t
he kernel's WARN_ON
(
)
macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
enter
smatch_extra: foo =
!
!x; does no
t
modify x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arp
e
nter
handle assign
m
e
n
t
s
l
i
ke: foo = !bar()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Car
p
enter
che
c
k_overflow: check for mem
s
e
t
() issu
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carpenter
automaticall
y
g
e
nerat
e
th
e
li
s
t of fu
n
ctions which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
*
new*
smatch_
s
c
ripts/su
m
m
a
ri
z
e_e
r
rs
.
sh: script
f
or
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan
C
ar
p
e
n
ter
kernel:
f
ix xfs fa
l
se po
s
i
t
ives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an
Carpente
r
check_overf
l
ow:
handle:
"int *p =
&
arra
y
;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
c
hec
k
_o
v
erflow: fix bug
i
n get_array_size_b
y
tes()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
nter
push some more stuff on the big_
e
xpression_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carp
e
nter
c
h
e
c
k_overf
l
ow: handle
c
asts
l
i
ke ((char *)array)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpenter
ch
e
ck_overflow:
f
ix assig
n
ing
a
r
r
a
ys to pointers of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Ca
r
penter
c
h
eck_ov
e
rflow: fix al
i
gnment bug in get_array_size
_
bytes
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpent
e
r
check_ov
e
rflo
w
:
p
ref
e
r recent
a
ss
i
gnm
e
nts over the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next