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
move the alloc_dinfo() functions to smatch_extra.c instead of smatch_range.c
2010-03-12
D
a
n
C
a
rpenter
m
ov
e
the alloc_dinfo() fun
c
tions
t
o
smatch_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
D
an Carpenter
c
h
eck_signed:
warn about comparing
(
u
ns
i
gned variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carp
e
nter
u
p
date valida
t
ion/sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpente
r
*new* smat
c
h_script
s
/
s
how
_
e
rrs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
n
ter
*new*
s
ma
t
ch_scr
i
pts/whitespase_only
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Ca
r
pen
t
er
add -no-lineno op
t
io
n
to s
p
a
r
s
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpenter
validation/sm_redundant_ch
e
ck
.
c now it's "info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Ca
r
pent
e
r
check_precedence: print
one warni
n
g message instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
che
c
k_
s
igned: handle unsig
n
ed 64 b
i
t va
r
ia
b
les bette
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Car
p
enter
g
et_
v
alue(
)
h
a
n
dle some more math
o
p
era
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Ca
r
penter
make redundant
null ch
e
c
ks before k
f
ree(
)
an
"
info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpe
n
ter
c
heck_signed: E
l
iminate s
o
me false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpe
n
ter
precede
n
ce: check
for &&
vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Car
p
enter
impl
i
cations: i
m
prove
h
andling
o
f comparisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpent
e
r
use imp
l
ications fr
o
m
POSTOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
penter
c
onditions: parse EXPR_POST
O
Ps after eva
l
uating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
penter
c
heck_ov
e
rf
l
ow: remove false posi
t
ives caused by pri
n
tk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
f
low:
i
mp
r
ov
e
handli
n
g
of whi
l
e(i--) { loo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an
C
arpenter
remove
strange
loop
message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
kpatc
h
.
sh: ask
a
b
o
ut alloc()
fa
i
lures specifically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpen
t
er
c
h
eck_deref: handle __GFP_
N
OFAIL (rem
o
ve false po
s
i
tives)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpent
e
r
check_deref: handle p
o
inters used as arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
nt
e
r
s
m
a
t
ch_flow:
c
le
a
n up
.
me
r
ge common
c
o
d
e in h
a
ndle
_
pre_l
o
op()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
i
mprove implied_
c
o
n
dition_true() for
pre and post ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
a
rp
e
n
t
er
while
countdown loops:
handl
e
loops where the start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpen
t
er
handl
e
for l
o
ops where we don't know the
upper limit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpe
n
ter
smatch_flo
w
:
hand
l
ing pre loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
D
an C
a
rpenter
e
x
tr
a
: comparing s
o
m
e
thi
n
g to zero doesn't mean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan
C
arpenter
chec
k
_o
v
erflow: relax rules on if
(
ptr
<
&array[max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
D
an
C
arpe
n
te
r
extra:
handle loop
s
l
i
ke wh
i
le(i--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n Carpenter
clean
u
p
: merg
e
a couple func
t
ion for handling for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Da
n
Carpenter
fix ha
n
d
l
i
n
g
of (2 <= x)
c
omparisons
w
here the
v
ar
i
able
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
check_signed: dis
a
ble most of the
n
ew warn
i
n
g
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
get_type() fix crash o
n
getting pointer typ
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpent
e
r
get_v
a
lue() more int to long lo
n
g
mo
p
u
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpen
t
e
r
get_
t
ype() fix
p
ointer handl
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpenter
F
i
x get_value()
f
or ((unsigne
d
i
n
t) -1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpen
t
er
type_
m
ax(): handle unsigned long l
o
ng
.
(sort of)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
arp
e
nter
g
et
rid
of --ra
r
e opt
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
C
a
rpenter
r
ename ge
t
_sing
l
e_value
_
from_range
(
)
=> get_si
n
gle_value_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpen
t
er
fo
r
l
oops: add a special case for
"for(i
=
0; i
<
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
che
c
k_sig
n
ed
:
check int type
s
as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
an Carpe
n
ter
smatch
.
c: use strncpy() instead of strcpy()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpenter
debug: rename _
_
smatch_
p
r
i
n
t_value()
=> __smatc
h
_va
l
ue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpen
t
er
check_signed: expr->op is type int not
char
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpenter
Introduce get_f
u
zzy
_
min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arp
e
n
ter
precedence: cut down a few false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpenter
*new* c
h
e
ck_le16:
p
rint
an er
r
or
f
or double cpu_to_
l
e16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
rpenter
*ne
w
* ch
e
ck_mo
d
_t
i
mer:
p
r
i
nt an
warning
if someone
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpenter
strip_expr(): remove
force
cast
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpenter
kpatch
.
s
h
: figure
the ema
i
l
address
o
ut aut
o
matic
a
lly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n
Carpen
t
er
*new* smatch
_
scripts/kpatch
.
sh: script for ma
i
li
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
Print fewer messages about unr
e
ached code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan C
a
rpen
t
er
smatch_conditions: small cleanups and add debug
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan
C
arpent
e
r
fix
W
ARN_ON handling so
m
e more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
smat
c
h_tem
p
late: s
m
all
c
han
g
e
s
to c
o
mments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
cl
e
an
u
p the ma
k
efile a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpente
r
handle ass
i
gnments li
k
e
:
foo = x < 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Ca
r
pe
n
ter
smatch_states:
w
h
ite space changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an Ca
r
penter
s
match is supposed
t
o
be
usin
g
"lo
n
g long"
t
y
pes internally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
ter
n
e
w_bu
g
s
.
sh: better fil
t
erin
g
of smatch err
o
rs fro
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nte
r
handle stuff like the kernel's WARN_ON() macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
rpenter
smatch_extra: foo = !!
x
;
doe
s
not modify x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Carpen
t
er
handle assignments like: f
o
o = !bar()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n C
a
rpenter
check_overflow: check for memset() issues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
r
penter
auto
m
at
i
c
a
l
l
y
gene
r
ate t
h
e list of functi
o
ns wh
i
ch
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Ca
r
pent
e
r
*new* smatch_scripts/summarize_er
r
s
.
sh: sc
r
ipt for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
D
a
n C
a
rpenter
k
ernel: fix xfs
f
alse positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpenter
c
hec
k
_overflow: h
a
ndle: "int
*
p = &ar
r
a
y;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_o
v
erflo
w
: fix bug in ge
t
_array_size_byt
e
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpe
n
ter
push som
e
more
stuff
o
n the big_expres
s
ion
_
stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
c
heck_over
f
low: handle
casts like ((ch
a
r *)array)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
pent
e
r
check_overflow:
f
i
x ass
i
g
n
ing arrays to p
o
inters of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Ca
r
p
en
t
er
check_o
v
e
rflow
:
fix alignm
e
nt bug
i
n
g
et_array
_
size_by
t
es()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow: prefe
r
rece
n
t assignm
e
nts over
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an
C
arpenter
Add
quote
s
aroun
d
string
l
iterals in smatch
output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow
:
update strcpy() an
d
strncpy()
c
hecks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
kernel
.
no_
r
eturn_funcs
:
__reiserfs_panic does
n
't re
t
u
r
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
check_overflow: store the size in
b
y
tes instead
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpente
r
check_overflow:
don't
c
omplain about
i
f
(ptr < &array
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
s
m
a
t
ch
_
f
low: change h
o
w
the
b
i
g expression stack
works
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
check_overflow:
rename
m
y_decl_i
d
=> my_siz
e
_id
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
Carpenter
check_overflow: whit
e
s
p
a
c
e
c
hanges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
c
hec
k
_
o
verflow: use the _expr
(
) hoo
k
s instead
of do
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
chec
k
_ove
r
flow: remove some old debugging co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nt
e
r
c
heck_overflow:
rename d
e
st =
>
array_
e
xpr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpenter
check_overflow:
g
e
t_initializer_bytes() => get_initiali
z
er_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carpenter
check_overflow: option_s
p
ammy => opt
i
on_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
check_overflow
:
h
and
l
e indexed array initia
l
izations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carpenter
check_overflow: fix
endl
e
ss l
o
op parsin
g
"i
n
t x =
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
fix get_impl
i
ed_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
D
an Carpe
n
t
er
check_ov
e
r
f
l
o
w: lots of improv
e
ments
and
a
ls
o
a validation
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
D
an
C
arp
e
n
t
er
fix cra
s
h calling
g
et_type
(
) on implicitly
defi
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Da
n
Carpenter
Add sma
t
ch_data/kernel
.
no_retur
n
_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n
Carpenter
function hooks:
g
et rid of c
o
n
diti
o
nal f
u
nction hooks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n C
a
rpenter
a
d
d smatch_scripts/new_bugs
.
sh: prints
t
he b
u
gs introduced
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan C
a
r
p
enter
err_ptr_d
e
ref
:
update to use n
e
we
r
api
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan
Carpenter
unreach
a
ble cod
e
: enable
b
y default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
Carpenter
show
_
unre
a
chable
.
sh:
add
-
k (kernel m
o
de
)
-b (ignore
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan
Carpent
e
r
unreachable co
d
e:
w
or
k
around g
c
c w
o
rk arou
n
d
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next