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
introduce add_tracker_expr()
2010-03-12
Da
n
Carpenter
intr
o
duce
add_tracker_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n C
a
rp
e
nter
make set_
s
tate() and friends return the new s
m
_
state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpen
t
er
i
ntrod
u
c
e
clone_tra
c
ke
r
_list(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
n
t
e
r
a
d
d
"e
q
uiv" field t
o
st
r
uct data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpenter
m
o
v
e
the alloc_dinfo() fu
n
ctions
t
o
smatch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan
C
a
rpenter
chec
k
_sign
e
d:
w
a
r
n
a
b
out
comparing (unsign
e
d v
a
riabl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpente
r
updat
e
v
a
li
d
ati
o
n/sm_
c
ast
s
2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* smatch_scripts/show_errs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
en
t
er
*ne
w
* sma
t
ch_script
s
/whitespase_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpenter
a
dd -no-
l
ineno option
to sparse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
p
e
nte
r
vali
d
ation/s
m
_redundant_chec
k
.
c
now it's "info" n
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
c
h
eck_precedence: print
one w
a
rning m
e
ssage instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
a
r
p
enter
check
_
s
igned: handle unsig
n
ed 64 bit va
r
iables
be
t
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Car
p
enter
g
e
t_va
l
ue
(
)
h
andle some more math oper
a
t
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpen
t
er
make
r
ed
u
ndant
n
u
l
l checks befo
r
e kfree() an "info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
Carpenter
chec
k
_signed: Eliminate some false posit
i
v
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpen
t
e
r
precedence:
c
heck for &
&
vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpen
t
er
implica
t
ions:
improve han
d
ling of co
m
p
arison
s
with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
pente
r
use implications f
r
om POSTOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
pen
t
e
r
con
d
i
t
ions:
p
ar
s
e EXPR_POSTOP
s
aft
e
r ev
a
luating the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_overflow: remov
e
false pos
i
tives caused by printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpent
e
r
flow: improve handling of
w
h
i
le(i--)
{ loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpenter
remove s
t
range loop me
s
sage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
kpatch
.
s
h
:
ask about alloc() failures
s
p
e
cifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_deref: hand
l
e __
G
F
P
_NOFAIL (remove false posi
t
ives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
D
an Car
p
enter
check
_
deref:
handl
e
pointers
u
sed as
a
rrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
C
a
rpent
e
r
sm
a
tch_flow: c
l
e
an
u
p
.
merge c
o
mmon
code in handle_pre_loop()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpe
n
ter
improve
i
mplied_condit
i
on_true() for pre and post ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Carpenter
whil
e
countdown loops: handle loops where th
e
star
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
n
ter
handle for loo
p
s where
we d
o
n't know the upper limit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
smatch_flow:
h
andl
i
ng
p
re l
o
ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
ext
r
a
: comparin
g
some
t
hing to zero
doesn
'
t mean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan
C
ar
p
ent
e
r
ch
e
ck_overflow:
r
elax rules
o
n if (
p
tr
<
&array[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
ext
r
a:
handle loops like
w
hile(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 Carpent
e
r
f
i
x
handling of (2
<= x) comparisons where the va
r
iable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Da
n
Carpent
e
r
check_signe
d
:
disable
most of the new warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carp
e
nter
get_type() f
i
x cra
s
h
on ge
t
ting
po
i
nt
e
r types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
t
e
r
get_value()
mor
e
int
t
o long long mop
u
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpenter
get_ty
p
e() f
i
x pointer handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Car
p
en
t
er
Fix ge
t
_valu
e
() for ((unsi
g
ned int
)
-
1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpen
t
er
typ
e
_max():
handle unsigne
d
long
l
ong
.
(
s
ort of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
arpente
r
g
et ri
d
of --rare op
t
io
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Ca
r
penter
re
n
a
m
e
g
et_single_value_from_range() => get_single_
v
alue
_
fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
a
rpenter
for lo
o
ps:
add a s
p
e
cial case for "f
o
r(i = 0;
i
<
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
arp
e
nter
check
_
sign
e
d: c
h
eck
int types as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpente
r
smatch
.
c: use strncpy()
instead
of strcpy()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
debug: rename _
_
smatch_print_value() => __smatch_va
l
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpenter
check_signe
d
:
e
x
pr->
o
p is type int not
char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpente
r
Introduc
e
get_fuzzy
_
mi
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
prece
d
ence:
cu
t
do
w
n
a few false positive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
te
r
*
n
ew* check_le16: pr
i
nt
a
n
e
rror for
d
ouble
cpu_to_le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpenter
*new*
check_
m
o
d
_
timer
:
p
r
in
t
an warning if
s
omeone
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n Carpenter
strip_exp
r
(): remove force cas
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan
Carpente
r
k
patch
.
s
h: figure the email a
d
d
ress o
u
t au
t
omatically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpe
n
ter
*new* s
m
a
tch_s
c
ripts/kpatch
.
sh: script
fo
r
mai
l
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
C
ar
p
enter
Print fewer messages ab
o
ut
u
n
reached code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpe
n
ter
smatch_condit
i
ons: small cle
a
nups and add debug
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n Ca
r
penter
fi
x
W
ARN_ON han
d
ling some more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
D
a
n
Carpenter
smatch_template:
s
mall changes to comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
arpe
n
ter
cle
a
n up the ma
k
efi
l
e a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
ha
n
d
l
e assignments like: foo = x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carp
e
nter
sm
a
tch_
s
tates: white
s
pace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
s
match i
s
supp
o
s
e
d
to b
e
u
si
n
g "
l
on
g
long" types interna
l
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
r
penter
new_b
u
gs
.
sh: better f
i
lt
e
ring of
sm
a
tch err
o
rs f
r
om
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
e
nter
handle st
u
f
f
like
t
h
e k
e
rnel's WARN_ON() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
r
p
enter
smatch_ext
r
a: foo = !!x; doe
s
not modify x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
an
Carpenter
handle
assi
g
nments
like: foo = !bar(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
C
a
rpenter
check_o
v
erflow: chec
k
fo
r
me
m
s
e
t() issues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpe
n
ter
autom
a
tic
a
l
l
y
generate t
h
e list
o
f functio
n
s
which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
*n
e
w* smatch_scripts/sum
m
arize_errs
.
sh
:
sc
r
ipt f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpen
t
er
k
e
r
ne
l
: fix xfs
false positi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpen
t
er
check_
o
v
e
rflow: handle: "int *p = &array
;
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n
Ca
r
penter
chec
k
_over
f
l
ow: fix b
u
g
in
g
et
_
array_size_
b
ytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpenter
pus
h
some
more
stuff on the b
i
g
_
expression_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpente
r
c
heck_over
f
low: handle cast
s
like ((char *)array)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n C
a
rpente
r
chec
k
_overflow:
f
ix assigning a
r
rays to p
o
inters
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpe
n
t
er
check_overflo
w
: fix al
i
gnment bug
in
g
et_array_size_byte
s
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpenter
check_
o
ver
f
lo
w
: prefe
r
recent assignments over the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
ter
A
d
d quotes around string literals i
n
s
m
atch output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
ter
check_overfl
o
w: update strcpy
(
)
and strncp
y
()
checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
ke
r
nel
.
no_return_funcs
:
__reis
e
r
f
s
_panic doesn't
return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpenter
check_
o
verf
l
ow: store
t
he size in bytes instea
d
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpe
n
ter
check_overf
l
o
w: don't com
p
la
i
n about
if (
p
tr < &arra
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
en
t
er
smatch_flow: change
how
t
h
e
b
ig expression stack works
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
heck_overf
l
ow: rename m
y
_dec
l
_id => my_si
z
e_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
ch
e
ck_ov
e
rflow:
white space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Car
p
e
nter
c
h
eck_overflow: use the _
e
xpr() ho
o
k
s inste
a
d of do
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
chec
k
_o
v
erfl
o
w:
r
e
m
ov
e
some
ol
d
debugging code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carpenter
check_overflow
:
r
ename dest =>
a
rray_exp
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
check_overfl
o
w
: get_initializer
_
by
t
es() => get_initialize
r
_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: option_spammy => opti
o
n
_
i
nf
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: ha
n
dle indexed
a
r
ray initializations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
check_over
f
low:
f
i
x
e
ndle
s
s l
o
o
p
parsing "int
x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
a
r
pe
n
ter
fix g
e
t_imp
l
ied_max
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpente
r
check_over
f
low
:
lots of
i
mproveme
n
ts and also a val
i
dation
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
fix crash calling get
_
type()
on imp
l
i
c
itly d
e
fin
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan
C
a
r
penter
Add s
m
atch_data/kernel
.
no_r
e
tu
r
n_func
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan
C
arpen
t
er
function h
o
oks: get rid of c
o
ndit
i
onal function hooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan C
a
r
penter
add s
m
a
tch_script
s
/new_bugs
.
s
h: prints the bugs introduced
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next