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
Da
n
C
a
rpen
t
er
m
o
ve the all
o
c_dinfo
(
) func
t
i
ons to s
m
at
c
h_extr
a
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
check_sig
n
ed: w
a
rn
about com
p
aring (
u
nsigned variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n
Carpen
t
er
update validation/sm_casts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpent
e
r
*new* smatch_s
c
ripts/sho
w
_
e
rrs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpente
r
*new* smatch
_
script
s
/whitesp
a
se_
o
nly
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add -no-lineno o
p
tio
n
t
o
s
parse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
C
a
rpent
e
r
validation
/
sm_redu
n
dant_c
h
ec
k
.
c
n
o
w
i
t
'
s "info" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_precedence: prin
t
on
e
warn
i
ng message instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
check_signed:
h
andle
u
nsi
g
ned 64 bit variables bet
t
er
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 ope
r
ations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
Car
p
enter
make redun
d
ant
null checks before kfree()
a
n
"info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpen
t
er
c
h
ec
k
_si
g
ned: Eliminate so
m
e false positive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpen
t
er
preceden
c
e:
ch
e
ck for &&
vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
ter
implica
t
ions: improve handling of compar
i
s
o
ns wi
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
use implic
a
tions from POS
T
O
Ps
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
pen
t
e
r
c
o
nditions:
p
a
rs
e
EXPR_POSTOPs after evaluating the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpenter
check_o
v
erflow:
remove false posit
i
v
e
s caused by p
r
i
ntk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpent
e
r
flo
w
: improve hand
l
in
g
of
w
hile(i--) { loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpen
t
e
r
remo
v
e strange loop message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
kpatc
h
.
sh:
ask about alloc
(
)
f
ailures
s
pecifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_
d
eref: hand
l
e __GFP_NOFAIL (remove fal
s
e posit
i
ves)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpenter
check_deref:
h
andle pointers used as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
smatch_f
l
ow: clean up
.
merg
e
comm
o
n
code in han
d
l
e
_p
r
e_loop()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
n
t
e
r
improve implied_c
o
ndition_true(
)
for pre an
d
post
o
ps
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
while countdown loops: ha
n
dle loops wher
e
the start
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
an Ca
r
pente
r
hand
l
e for loops where we don't know the upp
e
r limi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Car
p
enter
smatch_flo
w
: handling pre loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan
C
a
rpenter
extra:
c
omparing som
e
thing to zero doesn't mean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Ca
r
penter
c
h
e
ck_overflow: relax rules on if (ptr < &array
[
ma
x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpent
e
r
extra: handle
l
oops
like whi
l
e(i--) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carp
e
n
t
er
clean up: merge a
c
o
uple
f
unction for handl
i
ng f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
an Carpenter
fix handling of (2 <= x) comparisons wh
e
r
e
the variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carp
e
nter
check_signed: d
i
sable most of the new warni
n
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Car
p
enter
get_type() fix crash on getting pointe
r
t
ypes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpenter
get_value() mo
r
e in
t
t
o
long long mop up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Car
p
en
t
er
g
e
t_type(
)
fix po
i
n
ter handli
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
ter
Fix
g
et_value()
f
o
r ((uns
i
gned int) -1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpent
e
r
t
y
pe_max(): hand
l
e u
n
signed lon
g
l
ong
.
(sort
of
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nter
get rid
of --ra
r
e option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Car
p
enter
rename
get_
s
ingle_val
u
e_from_ra
n
ge() => get_sin
g
le
_
value_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
for loops: add a special case for "for(i
=
0
; i <
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpen
t
er
check_signe
d
: check
int
typ
e
s as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
rpente
r
smatch
.
c:
u
se strnc
p
y(
)
i
nstead o
f
strcpy()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpenter
debug: rename __sm
a
tch_pri
n
t_value() => __smat
c
h_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
ar
p
enter
check_signed:
expr->op is
type int not c
h
a
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
Introduce
g
et_fuzzy_m
i
n()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
pen
t
er
precedence: cut do
w
n a few fal
s
e
pos
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*new* check_le16: prin
t
an error for doubl
e
cpu_to
_
le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*
n
ew
*
che
c
k
_
mod_timer: pr
i
n
t
an warning
if someone
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Car
p
enter
str
i
p
_
e
xpr(): remove forc
e
casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpen
t
er
kpatc
h
.
sh: figure
the e
m
ail address out au
t
omatically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
C
arpe
n
ter
*new* smatch
_
scripts/
k
patch
.
sh: scrip
t
for mail
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n
C
arpe
n
ter
P
rint fewer messages ab
o
ut unreac
h
ed co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpente
r
smatch_
c
o
n
ditions:
smal
l
cleanup
s
and add
d
e
b
u
g
cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Ca
r
pe
n
ter
f
i
x
WARN_O
N
han
d
ling
som
e
more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpent
e
r
smatch_te
m
p
l
at
e
: small ch
a
n
g
es to
co
m
ments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
arpe
n
ter
cl
e
an up th
e
m
akefi
l
e a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpe
n
t
er
handle assig
n
ments like:
foo = x
<
1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Car
p
en
t
er
smat
c
h_sta
t
es
:
whi
t
e
spac
e
changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch
is sup
p
osed to be using "long lo
n
g
"
types internally
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
an Car
p
en
t
er
n
e
w_b
u
gs
.
sh: bet
t
er filtering of sma
t
ch errors f
r
om
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpent
e
r
handle stuf
f
li
k
e the kernel's
WAR
N
_
ON
(
) macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpent
e
r
smatch
_
extra:
foo
= !!x;
d
oes not modify x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
ter
han
d
le assignme
n
ts like: f
o
o = !bar()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
check_overf
l
ow: che
c
k
for mem
s
et() iss
u
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n
Ca
r
p
e
n
ter
aut
o
mati
c
a
l
ly gen
e
rate the
li
s
t o
f
functions w
h
ic
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
D
a
n
Carpen
t
er
*new*
sma
t
ch_
s
crip
t
s/s
u
mmarize_er
r
s
.
sh
:
script for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan
C
arpenter
kernel:
fi
x
x
f
s false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
ter
check_overflow: handle: "int
*p = &ar
r
ay
;
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
c
heck_o
v
erflow: fix b
u
g i
n
get_array_s
i
ze_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n
Carpen
t
er
p
u
sh som
e
m
o
re stuff
o
n the
b
ig_express
i
on_
s
t
a
c
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpente
r
check_overflow: hand
l
e casts like ((char *)
a
rra
y
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
check_overf
l
ow: fix assigning
arrays
to
p
ointers of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpe
n
ter
check
_
overfl
o
w:
f
ix alignment bug
in ge
t
_array_size_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpen
t
er
chec
k
_overflow: prefer recent ass
i
g
n
m
e
nts o
v
er the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
an C
a
r
penter
Add quotes around
s
tring lite
r
als i
n
smatch o
u
tput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpent
e
r
check_overflow
:
up
d
ate strcpy() and strncp
y
(
)
checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpenter
ke
r
n
e
l
.
no_return
_
func
s
:
__reiser
f
s_panic doesn't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
check_
o
v
erflow: store the size in bytes
i
nste
a
d of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
che
c
k
_
ov
e
rf
l
ow:
don
'
t
comp
l
ain about if (ptr < &
a
rray
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carp
e
nte
r
smatch_flow
:
change how the big expre
s
sion stack w
o
rk
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overf
l
ow: rename my_decl_id => my
_
size_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overfl
o
w
:
whit
e
s
pace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
C
a
rpenter
check_overflow:
u
s
e the _e
x
p
r() ho
o
ks instead of doing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
heck_overflow: remove so
m
e old debugging
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
h
eck_over
f
low: rename dest =>
a
rray_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
heck_overflow: get_i
n
itializer_bytes() => get_ini
t
i
al
i
z
er_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpe
n
ter
check_overflow: option
_
s
p
ammy =>
op
t
i
o
n_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
check_overflo
w
: handle indexed array initializations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
c
he
c
k_overflo
w
:
f
i
x
endless l
o
op parsing
"int
x
=
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
fix get_implied_
m
a
x
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan
C
arpenter
chec
k
_overflow: lo
t
s
o
f improvements
a
nd also a validation
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Car
p
enter
fix crash calling get_type() on implicitly defined
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
Add smatch_
d
a
ta/ke
r
nel
.
n
o
_return_fun
c
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
an C
a
rpe
n
t
er
function hooks: get rid of
c
onditional
function hooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Car
p
en
t
er
add smatch_
s
c
r
i
p
ts
/
new_
b
u
gs
.
sh: prints the bu
g
s introduced
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n Ca
r
penter
err_ptr_deref: update to use newer api
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
unreachable code
:
e
nable by default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
Car
p
enter
show_unreach
a
ble
.
sh: add -
k
(
kernel mode) -
b
(ignor
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
unreac
h
a
ble code:
work
around gcc work
ar
o
un
d
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next