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
*new* check_resource_size(): prod people to use resource_size()
2010-03-22
Dan Ca
r
p
e
nter
*new* check_resource_size(): prod
people to use reso
u
rce_siz
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Da
n
Carpenter
ext
r
a
:
assume
impossible things are impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
rr_
p
tr
:
fix btrfs false positive
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpe
n
ter
err_ptr: handle when an err_p
t
r is reassi
g
ned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpenter
*new*
check_db_i
n
fo
.
c prints out stuff that will b
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpen
t
er
cleanup: mov
e
stuff from
s
ma
t
ch_e
x
t
r
a
.
c
to
s
match_m
a
th
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
whitespace
c
h
anges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
eq
u
iv
:
f
i
x crashi
n
g
bu
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
pente
r
check_overf
l
ow: malloc() =>
_
_alloc_smat
c
h_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
s
m
atch
.
c: don
'
t
l
e
ak those 10
b
ytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
e
nter
a
ssigned_e
x
pr:
f
i
x memory lea
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Car
p
e
nter
kernel
:
free
_
area()
does
n
't call
kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan C
a
r
penter
*new* check_return
.
c: compla
i
n
if you
don't check th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
math: make ge
t
_implied_val
u
e() work
for pointer
s
bet
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
en
t
er
math:
cleanup: c
r
e
a
te separat
e
_get_imp
l
i
e
d
_val
u
e(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
C
a
rpenter
math
:
ha
n
dle modulus '%'
op
e
r
a
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handl
e
EXPR_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: c
l
eanup: make handling
b
inop
s
a switch() statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
math: cleanup crea
t
e
sepa
r
a
t
e
han
d
le_
b
inop()
function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpente
r
mat
h
:
cleanup
.
use cast_
t
o_type
(
)
i
nstead o
f
re-imp
l
i
menting
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math: cleanup
.
separate
h
andle
_
preo
p
() into it's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
ter
equ
i
v: fix cra
s
hing bug introduced in 8
c
358883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
C
r
eate separa
t
e sm
a
t
ch_m
a
th
.
c f
i
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
up
d
ate
s
m
a
t
ch_data/ for 2
.
6
.
34
-
rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpen
t
e
r
impli
e
d
:
c
lean up make a separate ha
n
dle_zero_comparis
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Carpenter
e
q
uiv: han
d
le co
m
p
a
risons w
i
th zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: cl
e
anup separate set_extra_t
r
ue_false() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nter
eq
u
iv, implied:
f
i
x hand
l
ing borrowed impli
c
a
t
io
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpe
n
ter
implied
:
don't update the equi
v
elent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm
v
alid
a
tio
n
/smatch_closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan
Carpent
e
r
equiv: don
'
t o
v
erwrite the
implication informat
i
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carpenter
rename __set_state() => __set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
r
e
na
m
e
clone_state() => clone_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 Car
p
enter
U
se
t
h
e
e
quivalent variable co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
remove
t
rackers
from ->equiv w
h
e
n t
h
e
y
a
r
e no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
C
arpenter
Fix crashing
b
ug caused by last comm
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n C
a
rpe
n
t
e
r
store information
i
n
the
n
ew dinfo
-
>equiv thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpe
n
ter
introduce add_trac
k
er
_
expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
make set_st
a
t
e
() and friends ret
u
r
n
t
he n
e
w sm_s
t
at
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpenter
in
t
ro
d
uce clone_track
e
r_lis
t
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Ca
r
penter
add "equiv" field to struct data_in
f
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
m
ove
t
h
e al
l
oc_din
f
o
()
functio
n
s
t
o smatc
h
_
e
xtra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan
Carpen
t
er
c
h
eck_
s
igned: warn abo
u
t compari
n
g (unsi
g
ned variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
update validation/sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
*
n
ew
*
smatch_
s
cripts/show_
e
r
r
s
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* smatch_scripts/whitespase_
o
nly
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Car
p
enter
add
-
no-li
n
eno option t
o
sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
v
alidation
/
sm_re
d
undant
_
check
.
c
now it's "info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
check_p
r
ec
e
d
ence: prin
t
one warnin
g
message in
s
tead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
c
h
eck_signed:
han
d
le
u
nsign
e
d 64 bit variables better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
g
et_value() handle some more
m
a
t
h operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
an Carpenter
make
r
edundant nul
l
checks
b
e
fore k
f
ree
(
) an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carp
e
nter
che
c
k_sig
n
ed: Elim
i
nate some false posi
t
i
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carp
e
n
t
er
preceden
c
e: ch
e
ck
f
or &&
vs
&
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
implications: impr
o
v
e
h
a
ndli
n
g
of comparisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
nter
use implications from POSTOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
con
d
itions: parse EXPR_POSTOPs afte
r
ev
a
luating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_overflow:
rem
o
ve fals
e
positives ca
u
se
d
b
y printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Ca
r
penter
flow
:
impr
o
ve
handling of while(i
-
-) {
loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
nte
r
r
emov
e
strange lo
o
p message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpenter
kpatch
.
sh: ask about alloc() fai
l
ur
e
s sp
e
c
if
i
cal
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_deref: hand
l
e __GFP_NOFAI
L
(re
m
ove false positives)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan C
a
rpenter
check_de
r
ef:
h
andl
e
pointers used
as arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Car
p
enter
smatch_flow:
c
l
ean
up
.
m
e
rge common code
in handle_pre_loop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an Carpent
e
r
improve
implied_con
d
ition
_
true
(
) for pre and post
ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
arpenter
while countdown loops
:
handle
loops whe
r
e
t
he start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an Carpenter
handle fo
r
loops where
we don't know
the upper
limit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Ca
r
pent
e
r
smatc
h
_f
l
ow:
h
a
ndling pre loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
ex
t
ra: comparing something
to zero
doesn
'
t mean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Da
n
Carpenter
check_overflow: rela
x
rules on if (ptr < &array[max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
D
an Carpenter
e
x
tra: ha
n
dle loops like
w
hile(i--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan C
a
r
penter
clean up: merge a couple fun
c
tion
for handling for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
D
an
Carpenter
fix handlin
g
of (2 <= x) co
m
paris
o
ns wher
e
the
v
aria
b
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
check
_
signed:
d
i
s
a
b
le most of the ne
w
warnings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan
Ca
r
p
e
nter
g
e
t_type
(
)
f
i
x
c
r
as
h
o
n
getti
n
g pointer
typ
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
ter
ge
t
_val
u
e() more int to
l
ong long mop up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get_type() fix pointer
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpen
t
er
F
i
x get_value() for ((
u
nsigned in
t
)
-1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpenter
type_max(): handl
e
u
n
s
igned long l
o
ng
.
(
s
ort of)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
t
e
r
get r
i
d
of --rare option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Car
p
enter
rena
m
e get_single_va
l
ue_fro
m
_r
a
nge() => get_single_value_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Car
p
enter
for loops
:
add
a
special case for "f
o
r(i = 0; i <
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
pen
t
er
check_
s
igned: check
int types as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Car
p
enter
sma
t
ch
.
c: u
s
e strncpy() i
n
stead of str
c
py()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
an Carpen
t
er
debug: rename __sma
t
c
h
_print_value()
=
> __
s
m
a
tch_v
a
lue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
check
_
s
i
gned: expr-
>
o
p
is type
int no
t
char
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
pente
r
Introduce ge
t
_fuzz
y
_min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpe
n
ter
precedence: cut dow
n
a
f
ew false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*n
e
w* check_le16: print a
n
error
f
o
r
double
c
pu_to_l
e
16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
an Carpenter
*new* c
h
eck_mod_timer:
p
r
int an warn
i
ng if someone
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpen
t
er
strip_expr()
:
remov
e
force cas
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpente
r
kpatch
.
sh: figure the email address out au
t
omatically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n Carpenter
*new* smatch_s
c
ripts/kpatch
.
sh: script for mailing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carpenter
Print fewer m
e
s
s
ages about
u
nreached code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan
C
arpenter
smatch_conditions
:
smal
l
cleanups and add
debug co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpen
t
er
fix WARN_ON handling some more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Ca
r
pen
t
e
r
smatch_template: small
c
hanges
t
o comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Ca
r
penter
clean
u
p the makefile a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
ha
n
dl
e
assignments like:
f
oo = x < 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next