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
rename clone_state() => clone_sm()
2010-03-13
Dan C
a
rpenter
rename
c
lon
e
_stat
e
() => clone_
s
m(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
en
t
er
equiv: prese
r
ve ->equiv ac
r
oss merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpe
n
ter
Use the
e
quivalen
t
variable
cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
enter
rem
o
ve tracker
s
fr
o
m ->equiv
when they are no long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpe
n
t
e
r
Fix crashing b
u
g caused by las
t
co
m
mit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpente
r
s
t
o
re inf
o
rm
a
tio
n
in
t
h
e new d
i
nfo->equiv
thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpenter
introduce add_tracke
r
_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpenter
mak
e
s
e
t_state() and frien
d
s return the new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpent
e
r
introduce c
l
one_tracker_lis
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add "equiv" field
to struct dat
a
_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
enter
move the
al
l
oc_dinfo(
)
functions to s
m
atch_e
x
t
r
a
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
check_signed: warn
a
b
o
ut com
p
a
ring
(
unsigned variabl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
penter
up
d
ate valid
a
tion/s
m
_c
a
sts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*
n
ew* smatch_scripts/show
_
errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpent
e
r
*n
e
w* smatch_
s
cripts/whitespase_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
e
n
ter
add -no-lineno option to sparse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
vali
d
ation/sm_redundant_check
.
c
now
i
t's "i
n
f
o" no
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
chec
k
_
prece
d
e
nce: pr
i
nt one warning message
i
n
s
t
e
ad
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_signed: h
a
n
d
le
unsigned 64
b
it variab
l
es bett
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpe
n
ter
g
e
t_val
u
e() handle some more ma
t
h operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpe
n
ter
m
ake r
e
dunda
n
t null
check
s
befo
r
e kfre
e
() an "info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n Carpe
n
ter
c
heck_signed: Eliminate som
e
false positiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpen
t
e
r
precedence: check
for && vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
implica
t
ions:
i
mprove han
d
ling of compariso
n
s with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
use implications from POSTOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
nt
e
r
condit
i
ons: parse EXPR_POSTO
P
s aft
e
r evalu
a
ting the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n
Carpe
n
ter
check
_
overflo
w
: remove fal
s
e positive
s
c
au
s
ed by
p
rintk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
f
l
o
w
: improve h
a
ndling of wh
i
l
e(i--) {
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Ca
r
pen
t
er
remove strange loop m
e
ssa
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
a
rpe
n
ter
kp
a
tch
.
sh: ask abou
t
all
o
c
() failures specifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
c
h
e
ck_deref
:
handle __G
F
P_NOFAIL (remo
v
e f
a
ls
e
positives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpenter
check_deref: handle pointers used as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan
Carpenter
s
m
atch_f
l
ow: clean up
.
merge
common code in han
d
le_
p
re_l
o
op()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpe
n
t
e
r
impro
v
e implied_condition_t
r
ue() for pre and post
o
ps
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
C
ar
p
enter
whi
l
e count
d
own l
o
ops: handle loops
where
the
start
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Car
p
enter
handle for loops
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 Carpente
r
smatch_flow: handl
i
n
g
pre loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
extra: comparing som
e
thing
to ze
r
o doesn
'
t mean
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
check_overflow: relax rules on if (ptr < &
a
r
ray[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpente
r
extra: handle loops l
i
ke while(
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 fo
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n
C
arpenter
fi
x
han
d
ling
of
(
2 <= x) compar
i
sons
w
here th
e
variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan C
a
rpenter
check_signe
d
: disa
b
le mos
t
of the
new warni
n
gs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Da
n
Ca
r
p
ent
e
r
get_type() fix cra
s
h on getting point
e
r t
y
pes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
ter
g
e
t
_value() more int
t
o long long m
o
p u
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpenter
get_t
y
pe() fi
x
pointer handlin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
Fix
g
et_value(
)
for ((u
n
si
g
ned i
n
t) -1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpente
r
type_max(): handle
uns
i
gned l
o
ng
long
.
(sort of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rp
e
nter
get rid of --rare option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
rename
g
et_single_value_f
r
om_ra
n
ge(
)
=> get
_
s
ingle_va
l
ue_
f
ro
.
.
.
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
Car
p
enter
check
_
signed: che
c
k
int types as wel
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
s
m
atch
.
c: use strncpy() ins
t
ead
o
f
s
trcpy()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpe
n
ter
d
e
b
u
g: rename __smatch
_
p
r
int_value() => __smatch_value(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n
C
a
r
p
enter
ch
e
c
k
_signed: expr->o
p
is type int not char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n
C
arpe
n
t
er
Introduce g
e
t_fuzzy_min()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
prec
e
dence: cu
t
down a
f
ew f
a
l
se pos
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*
n
ew
*
check_le16
:
print an error for double
c
p
u_to
_
le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpent
e
r
*new* check_mod_timer: pri
n
t an warn
i
ng
i
f so
m
eone
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Car
p
en
t
er
strip_expr():
r
emove force casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n Ca
r
p
enter
kpatch
.
sh: figu
r
e
th
e
email address o
u
t au
t
om
a
tically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
C
ar
p
enter
*new*
s
match_s
c
ript
s
/kpatch
.
sh: script fo
r
m
ailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
C
a
rpenter
Print fewer me
s
sa
g
es
about unreached code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carp
e
nter
smatch_condition
s
:
small cleanu
p
s an
d
add debug
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
fix WAR
N
_ON handling some more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Car
p
ente
r
smatch_template:
s
ma
l
l changes t
o
comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
D
an Carpente
r
clean up the make
f
ile a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
handle ass
i
gnme
n
ts li
k
e
:
foo = x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nter
s
m
a
tch_sta
t
e
s:
w
hite s
p
ace
c
hanges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
e
n
t
er
smatch is
supposed to be using "long long" t
y
p
e
s
i
nterna
l
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpenter
new_bugs
.
sh: better f
i
ltering of smatc
h
er
r
ors from
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpenter
hand
l
e stuff like the ke
r
n
el's
W
A
RN_ON() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Ca
r
penter
smatch_extra: foo = !!
x
; does n
o
t modif
y
x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carpe
n
ter
handle as
s
ign
m
ents like: foo
=
!ba
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Carpenter
check_overf
l
ow
:
c
h
eck for memset() i
s
sue
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
automa
t
ically generate th
e
l
i
st o
f
func
t
ions
w
hich
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan C
a
rp
e
nter
*new* smatch_scripts/
s
u
mm
a
rize_e
r
rs
.
sh: script for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpe
n
te
r
ke
r
nel: fix
x
fs fals
e
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpenter
ch
e
c
k_o
v
erflow: handle: "i
n
t *p = &a
r
ray;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
c
heck_ov
e
rflow: fix bug in get_array_size_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpenter
pus
h
some
more stuff
on
t
he big_expres
s
ion_sta
c
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow: handle casts like
(
(
c
har *)array)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpen
t
er
c
h
eck_overflow: fix assigning array
s
t
o pointers of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
t
e
r
check_o
v
erf
l
o
w
:
fix al
i
gnment bug in
get_array_size_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpent
e
r
c
h
eck_over
f
low: p
r
ef
e
r
r
e
cent assignmen
t
s ove
r
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpenter
Add q
u
otes ar
o
und
s
tring literals
i
n
smatch output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
an Ca
r
pent
e
r
check_overflow:
u
pdate strcpy() an
d
str
n
cpy
(
) checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
ke
r
nel
.
n
o_return_funcs:
__reiserfs_pan
i
c do
e
s
n
't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
a
r
penter
check
_
overflow:
s
to
r
e the
siz
e
in byt
e
s inst
e
ad of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpent
e
r
c
heck_overflow:
d
o
n
't complain a
b
out if (ptr < &array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
smatc
h
_flow: c
h
ange
how the
big expres
s
ion stack works
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check
_
over
f
low: rename my_decl_i
d
=>
my_size_i
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
Car
p
enter
check_overflo
w
:
w
hit
e
space ch
a
nges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
Carpenter
ch
e
c
k
_ove
r
f
l
ow: use the _expr() hooks instead
of doing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
chec
k
_
o
verf
l
ow:
remove
some
old debugging code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
check_overf
l
ow: ren
a
m
e dest => array_
e
xpr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
che
c
k
_overflow:
get_ini
t
i
a
lizer_bytes() =>
get_initializer_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_
o
ver
f
low: option_spammy =>
o
p
t
ion_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
che
c
k_
o
verflow: handle
indexed array initializations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Car
p
enter
check_overflow:
fix endless l
o
op par
s
ing "int x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next