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
D
an Carpenter
rename clone_state()
=
>
c
lone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpenter
equ
i
v: preserve ->equiv across merg
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
Us
e
the e
q
uivalent va
r
ia
b
le code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
nt
e
r
r
e
move tr
a
ckers
f
rom ->
e
quiv whe
n
they
a
r
e
no
lon
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
C
a
rp
e
nter
Fix crashing bug c
a
used by
last commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpenter
store information i
n
the n
e
w dinfo->eq
u
iv
t
hing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpenter
i
ntroduc
e
a
d
d
_tracker
_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpen
t
er
make set
_
s
tate() a
n
d fr
i
e
nds return the new sm
_
st
a
te
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nte
r
intr
o
duce clon
e
_tracker_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add "eq
u
iv" field to st
r
u
c
t da
t
a_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Car
p
e
nter
mov
e
the all
o
c_dinfo() functions to sma
t
c
h_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Da
n
Carpenter
ch
e
c
k_signed: warn about
c
omparin
g
(unsigned vari
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpente
r
update
va
l
idatio
n
/s
m
_casts
2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
rpente
r
*new*
smatch_scripts/s
h
ow_errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new
*
s
match_scripts/wh
i
tespase_on
l
y
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
pen
t
er
add -no
-
lin
e
no
o
p
tion
t
o spars
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpenter
vali
d
a
t
ion/sm_
r
edundant_check
.
c now it's "info" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpent
e
r
check_pr
e
ced
e
nce: prin
t
one warning message instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
an
C
arpen
t
er
check_sig
n
ed
:
han
d
le
unsigned 64
b
it varia
b
l
es
bet
t
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
get_value() h
a
ndle some m
o
re math ope
r
atio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
m
a
ke redundant nu
l
l checks b
e
fore kfree() an "i
n
fo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
c
h
eck
_
si
g
ned: Elimina
t
e some f
a
lse positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
precedence: check
f
or && v
s
&
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
implications: improve handling
o
f compari
s
ons with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an
C
arpenter
use impli
c
at
i
ons from POST
O
Ps
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carp
e
nter
conditions: pars
e
EXPR_POSTOPs aft
e
r evalua
t
ing the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpenter
check_
o
verflow: rem
o
ve false positi
v
es caus
e
d by
p
rintk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
e
n
ter
flow: improve handling of while(
i
--) { loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpent
e
r
remove s
t
range loop message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
ter
kpatch
.
sh:
as
k
abou
t
alloc() f
a
i
lures
spec
i
fically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpent
e
r
c
h
eck
_
dere
f
:
h
an
d
le __
G
F
P
_
N
OFAIL
(remove f
a
l
se positives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan
Carpenter
c
h
ec
k
_
d
e
ref:
handle p
o
inters used as
arra
y
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
an
Carp
e
nte
r
sm
a
tch_
f
low:
c
lean up
.
me
r
ge commo
n
code in h
a
ndle_pre_loop()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
improve i
m
plied_condition_true() f
o
r
pre and post ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Ca
r
p
e
nter
while
c
ou
n
tdown loops
:
handle loo
p
s
w
h
e
re th
e
sta
r
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
h
andle for
l
oops where we don't know the upper li
m
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
an Car
p
enter
smatch_flow: handling pre loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carp
e
nte
r
extra: comparing something t
o
zero doesn't mean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Ca
r
penter
check_overflo
w
: re
l
ax
rule
s
on i
f
(ptr < &arr
a
y[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
D
an
C
arpenter
extra: handle
loops like while(i
-
-) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan Car
p
enter
c
lean up:
m
e
r
ge a coupl
e
function for handli
n
g for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carp
e
n
ter
fix han
d
ling of (2 <= x) comparisons w
h
ere th
e
variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Ca
r
pent
e
r
c
heck_
s
igned: d
i
sable m
o
st of the new warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Da
n
Carpenter
get_type() fix crash on
g
etting pointer types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
Ca
r
penter
g
e
t_val
u
e(
)
mor
e
int to
l
ong
lon
g
m
op up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get_type() fix pointer hand
l
in
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Ca
r
p
e
n
ter
Fix get_va
l
ue() f
o
r ((u
n
signed
int) -1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
type_max():
han
d
l
e
un
s
igned long long
.
(s
o
rt
of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Car
p
enter
g
e
t
r
i
d
of --rare option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Car
p
enter
r
e
name
g
et_single_value_from_r
a
nge
(
) => get_si
n
gle_value_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
an
C
arpent
e
r
for loops:
a
dd
a
special c
a
se f
o
r "for(i
=
0; i <
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
a
rp
e
nte
r
check_signed: check int types as we
l
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
smat
c
h
.
c:
use
strncpy() ins
t
ead of strc
p
y()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpe
n
ter
d
ebug: rena
m
e
_
_s
m
atch_print_
v
a
l
u
e() => __smatch_value
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
c
h
e
ck_signed: exp
r
->op is type int n
o
t
c
h
a
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpent
e
r
Introd
u
ce get_fuzzy_min()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpenter
pre
c
ede
n
ce: cut down a few false
po
s
i
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carp
e
nt
e
r
*new* check_le16: pri
n
t an
e
rror fo
r
dou
b
le cpu_
t
o_
l
e16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
penter
*new* che
c
k_mod_t
i
m
e
r
:
print an warning if som
e
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n Carp
e
nter
strip
_
expr(): rem
o
ve force
c
asts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n Carpenter
k
patch
.
sh: figure the
e
mai
l
addres
s
out automatical
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carp
e
nte
r
*new* s
m
a
t
ch_scripts/kpatch
.
sh: script for
m
ailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
Carpente
r
Print
f
e
wer messa
g
es a
b
out unrea
c
h
e
d
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
smatch_conditions: small cle
a
nups and add debug code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carp
e
nter
fix WARN_
O
N
handl
i
n
g
some mor
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
arpenter
smatch_template: smal
l
changes to commen
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpen
t
er
clean up
t
h
e makefile a b
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan
Carpenter
handl
e
assignments li
k
e:
foo = x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
enter
smatch_states: white space c
h
anges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
sma
t
ch is supposed to be us
i
n
g
"long long"
t
ype
s
internally
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpenter
new_bugs
.
sh: better
f
ilter
i
ng
o
f
smatch errors from
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
h
an
d
l
e stuf
f
l
i
k
e the kernel's W
A
R
N_ON
(
) macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Ca
r
penter
smatch_extra:
foo = !!x; does
n
ot modify x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
handle assignments like: foo = !
b
ar
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
check_overflow: check
f
or memset() issues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
automat
i
cal
l
y gene
r
at
e
the li
s
t of funct
i
ons
wh
i
ch
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
*
n
ew*
s
m
atch_scripts/su
m
marize
_
err
s
.
s
h: script for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Da
n
Carpenter
kernel: fix
xfs false p
o
si
t
ive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
che
c
k_overflow: handle: "int *
p
= &array;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
che
c
k_overflow:
fix b
u
g
in get_array_size
_
bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpenter
pu
s
h
som
e
mo
r
e
s
tuff
o
n the
b
ig_expres
s
ion_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
penter
check_
o
verf
l
ow
:
h
a
ndle casts like
((char *)
a
rray)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
penter
check_overflow: f
i
x a
s
s
i
gning arr
a
ys
t
o pointers of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n
C
arpenter
check_
o
verflow
:
fix
a
lig
n
ment bug
i
n ge
t
_array_size_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
enter
check_ove
r
flow: prefer
recent assignment
s
over the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
an
Carpenter
Add
quotes around string
l
iterals in
sma
t
ch o
u
tput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpent
e
r
check_overflow
:
update
str
c
py()
a
nd st
r
n
c
py() checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
enter
kernel
.
n
o_return_funcs: __reiserfs_panic doesn't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
r
p
e
nter
c
heck_
o
v
e
rf
l
ow: store the s
i
ze i
n
bytes instead o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
ar
p
ent
e
r
check_overflow: don't co
m
plain
a
bo
u
t if (ptr < &array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
smatch_
f
low: change how
the big e
x
pression
s
t
ack w
o
rks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpent
e
r
check_ov
e
rfl
o
w
:
rename m
y
_d
e
c
l_i
d
=> my
_
size_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpe
n
ter
check
_
o
v
erflow: whit
e
s
p
a
ce changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Ca
r
penter
check_overflow: use th
e
_expr() hoo
k
s instead of d
o
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overfl
o
w: remove some old debugg
i
ng code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overf
l
o
w: rename dest => ar
r
ay_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
h
e
c
k_overflow:
g
et_initializer_byt
e
s()
=> get_initial
i
zer_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
che
c
k_ove
r
flow: option_spammy => opt
i
on_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
c
heck_overflow: handle i
n
d
e
xed
a
rr
a
y
initialization
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
enter
chec
k
_overflo
w
:
fix endless loop
p
arsing "int x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next