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
Dan
Carpe
n
te
r
move the alloc_dinfo()
f
unctions to smatch_
e
xtr
a
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
check_signed: warn about comparing (unsigne
d
var
i
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Ca
r
penter
update valid
a
tion/sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
enter
*new*
s
match_
s
cripts/show_errs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n
Car
p
enter
*
n
ew
*
smatch_sc
r
ipts/whitespase_only
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
rp
e
nter
add
-no-lineno option
t
o sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
validati
o
n/sm_redundan
t
_
check
.
c now it's "info
"
not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an
Ca
r
penter
check_prece
d
ence: pr
i
nt one warning messa
g
e instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
chec
k
_
signed: han
d
le unsi
g
n
e
d
6
4
bit va
r
iables better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
get_value(
)
handle s
o
me more math operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Ca
r
pen
t
er
make redu
n
dant null chec
k
s before kfree()
a
n "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
check_signed: Eli
m
inate som
e
false pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
preced
e
nce: check for && vs
&
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Car
p
enter
im
p
lications: improve handlin
g
of com
p
arisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpent
e
r
use implications from POSTOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
conditions:
parse EXPR_POSTOPs af
t
e
r
evaluating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
n
t
er
check
_
overflow: remove false posi
t
i
v
es caus
e
d b
y
prin
t
k
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpenter
flo
w
: imp
r
o
ve hand
l
ing of while
(
i--) { loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
C
a
rp
e
nter
remov
e
strange loop m
e
ssage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpent
e
r
kpatch
.
sh: ask
a
bout a
l
loc() fail
u
res specific
a
lly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
penter
ch
e
ck_d
e
ref: handle __GFP_
N
OFAIL (
r
emove
f
alse positives)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
D
a
n Carpenter
check_dere
f
:
ha
n
d
l
e pointers used as arr
a
ys
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
arpen
t
e
r
sm
a
tch
_
flow:
c
lean up
.
merge c
o
mmon code
i
n handle_
p
re_loop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Car
p
enter
improve implied_condit
i
on_true
(
) for pre and
post ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an Carpenter
while c
o
un
t
down loops: handle loops where the sta
r
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Ca
r
penter
h
andle for loops
w
he
r
e we don't know the upper li
m
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Carpenter
smatch_flow: han
d
ling pre
l
oops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
extra: compari
n
g so
m
ething t
o
z
ero
d
oesn't mean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpe
n
ter
check_overflow:
r
elax rules on if (p
t
r < &arr
a
y
[
max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
D
an Carpe
n
ter
e
xtra: handle loops
l
ike
wh
i
le(i-
-
) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carp
e
nter
c
l
ean up: merg
e
a couple function for
h
andling
for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n C
a
rpe
n
t
e
r
fix
handling of
(
2 <
=
x) comparisons where the var
i
able
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpen
t
er
c
heck
_
si
g
ned: di
s
able
m
ost of the new warning
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
get_type() fix
c
rash
on getting pointer types
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get
_
value() more int to lon
g
lo
n
g mo
p
up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get_ty
p
e
(
) fix
p
ointer handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpenter
Fix get_valu
e
() for ((unsigned int) -1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
type_max(): handle
unsigned lo
n
g lo
n
g
.
(sort of)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get rid of
--rar
e
option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an
C
arpente
r
rename
g
e
t_sin
g
le_value_from_range(
)
=
>
g
et_sin
g
l
e_v
a
l
u
e
_
fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n
Carp
e
n
t
e
r
for loops: add a sp
e
cial case
f
or "for(i = 0
;
i <
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpe
n
t
e
r
check
_
signed: check int types as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
ter
sm
a
tch
.
c: use
s
trncpy()
instead of strcp
y
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
penter
debu
g
: rename
__smatch
_
print_value() => __sm
a
tch_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpenter
chec
k
_si
g
n
ed:
expr
-
>op i
s
type int not cha
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
an Carpenter
Introduce get_f
u
z
zy_min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
pe
n
ter
p
r
ecedence: cut down a few f
a
lse po
s
itives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpent
e
r
*new* check_le16: p
r
int an error for double cpu_to
_
le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpen
t
er
*new* check_mod_timer: print an warning if someone
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Da
n
C
a
r
penter
st
r
ip_expr():
re
m
ove force c
a
sts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Da
n
C
arpen
t
er
kpatch
.
sh: fi
g
ure the
em
a
il address out automa
t
i
c
ally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
an Carpenter
*new* smatch_scripts/k
p
atch
.
sh: s
c
r
i
pt fo
r
m
ailing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
an Carpent
e
r
Print fewer me
s
sages about unreached c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
C
arpent
e
r
s
match_conditi
o
ns: small cleanups and add debug
c
od
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
fix WARN_ON handlin
g
some m
o
r
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
arpe
n
ter
smatc
h
_te
m
plate:
s
mall c
h
anges to comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
cle
a
n up t
h
e makefil
e
a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carp
e
nter
handle assignmen
t
s like: foo = x < 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
sma
t
ch_states
:
white
space change
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
er
smatch is supposed t
o
be using "long lo
n
g
"
types interna
l
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpent
e
r
new_bugs
.
sh: better
f
iltering of sma
t
ch
e
r
r
ors
from
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
ter
han
d
le stuff like the kern
e
l'
s
WARN_O
N
() ma
c
ro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
t
er
sma
t
ch_extra: foo = !!x; does not mo
d
ify x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carpenter
handle as
s
i
gnments like:
foo = !bar(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
e
nter
check
_
overflow: check for memset(
)
issues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
a
u
tomat
i
cally gene
r
ate the list of fu
n
c
t
i
o
ns
w
h
i
ch
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
*new* smatc
h
_scrip
t
s/summarize_err
s
.
s
h
:
script f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpen
t
er
kerne
l
: fix x
f
s f
a
lse positiv
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
penter
chec
k
_overflow:
h
andle:
"
i
n
t *p = &ar
r
ay;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
pent
e
r
chec
k
_overflow: f
i
x bug in
g
et_array_size_bytes()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
push so
m
e
more st
u
ff
on the big_expression_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n
C
arpenter
check_ov
e
r
f
low: han
d
l
e
casts like (
(
char *)
a
rray)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an
C
arpenter
check_o
v
erflow:
fix assig
n
ing arr
a
ys
t
o p
o
inte
r
s of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
e
r
check_overflow: fix align
m
ent bug in get_ar
r
a
y
_
s
i
ze_byte
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
p
e
nte
r
c
h
eck_overflow: pr
e
fer recent assi
g
n
m
ents ov
e
r the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carp
e
n
t
er
Add quo
t
e
s
arou
n
d
string litera
l
s in smatc
h
ou
t
put
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpenter
check_overflow: u
p
d
a
te
s
tr
c
py() and strncpy() c
h
ecks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
penter
ke
r
nel
.
no_return_funcs: __rei
s
er
f
s_
p
a
n
ic
d
oesn't re
t
urn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: store
the size
in bytes instead of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpent
e
r
c
heck_
o
v
e
rflow:
d
on
'
t compl
a
i
n about if
(
ptr
<
&
a
r
r
a
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
sm
a
tch_fl
o
w: ch
a
nge
h
o
w
the big exp
r
ession sta
c
k works
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
c
h
ec
k
_overflow: rename
m
y_dec
l
_id => my_
s
i
z
e_
i
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
a
rpenter
check_
o
verflow: white
s
pace
c
hanges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
ch
e
c
k
_o
v
er
f
l
o
w: use t
h
e
_
e
x
pr() hooks i
n
ste
a
d of doin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
h
eck
_
overfl
o
w
: remove s
o
me ol
d
debugg
i
ng code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nte
r
c
h
e
ck
_
o
v
er
f
low: rename des
t
=
>
array_expr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check
_
overflow: get_initializer_
b
y
tes()
=
>
g
et
_
initial
i
zer_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
ent
e
r
check_overflow: option_spa
m
my =>
o
ption_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n C
a
rpenter
c
heck_overflow: handle i
n
dexed array initial
i
zations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
check_
o
v
erflow: fix endless loo
p
pars
i
ng
"
in
t
x
=
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
fix get_implied_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carp
e
nter
ch
e
ck_overflow: lot
s
of improvements and a
l
so a
val
i
da
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan
C
arpenter
fix crash calling ge
t
_type() on implicitly
d
efined
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
A
dd smat
c
h_
d
ata/kernel
.
no_return_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n Carpente
r
function hoo
k
s: get
rid of conditional
function hooks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
an Carpenter
add smatch_
s
cripts/new_bugs
.
s
h: prints the bugs int
r
odu
c
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpent
e
r
er
r
_ptr_deref: u
p
date to u
s
e ne
w
er api
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
unre
a
chable
co
d
e: enabl
e
by d
e
fault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n Ca
r
penter
show_unr
e
acha
b
le
.
sh:
a
dd -k (kernel mode) -b
(
ig
n
ore
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Da
n
Carpenter
unre
a
chab
l
e code: work aro
u
nd gcc work arounds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next