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 Car
p
enter
rename clone
_
sta
t
e() =
>
clo
n
e_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
equiv:
pr
e
serve
->equi
v
across m
e
r
g
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
Use the equivalent
varia
b
l
e
co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
r
em
o
ve trackers from ->equiv when they are no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
a
r
penter
Fix crashing bug
caused by last commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpente
r
s
tore in
f
orma
t
ion
i
n the new dinfo-
>
equiv
t
hing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpente
r
intro
d
u
ce
add_tracker_exp
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
make set_state() and f
r
iends re
t
urn t
h
e new
s
m
_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
C
arpe
n
ter
introduce clon
e
_tracker_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
C
arpenter
a
d
d
"
equiv"
field
t
o struct data_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
a
rpent
e
r
mo
v
e
the alloc_
d
info() f
u
nctions to
s
m
atch_ex
t
ra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
check_signe
d
: w
a
r
n
a
bout comparing (
u
nsigned variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpenter
update
val
i
d
ation/sm_casts
2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
*new*
sma
t
ch_scripts/s
h
ow_errs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carp
e
n
t
er
*n
e
w*
s
m
atch_script
s
/white
s
pase_only
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
ent
e
r
add -no-lineno opti
o
n to s
p
arse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpente
r
valid
a
tio
n
/sm_redu
n
dant_check
.
c
n
ow it's
"info"
n
ot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpente
r
c
h
ec
k
_p
r
ecedence: print one w
a
rning message instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpen
t
e
r
check_signed:
hand
l
e unsigned 64 bit
var
i
a
b
les better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Da
n
Carpent
e
r
g
e
t
_
val
u
e() handle so
m
e
more math operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arp
e
nter
make red
u
nd
a
nt null checks
b
efor
e
kfree() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpent
e
r
check_signe
d
: El
i
minate s
o
me false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n
Carpenter
preced
e
nce: chec
k
for && vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
ter
im
p
l
i
cations: improve han
d
ling
o
f
compa
r
isons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
u
s
e
i
m
p
l
i
c
a
tio
n
s from POSTOP
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arp
e
nter
c
onditi
o
n
s
: parse
E
XPR_POST
O
Ps afte
r
ev
a
luating
t
he
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
a
r
p
e
n
ter
check_overflow: rem
o
v
e
false
p
os
i
tiv
e
s ca
u
s
e
d
b
y
printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpenter
flow: improve
handling o
f
whil
e
(i--) { loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
re
m
ove
stran
g
e l
o
o
p message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpenter
kpatch
.
sh: ask abo
u
t a
l
loc()
f
ailures specific
a
l
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpen
t
er
che
c
k
_deref: handle __G
F
P_NOF
A
IL
(
remove false posi
t
ives)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan
C
arpenter
che
c
k_deref: h
a
ndle pointer
s
used as arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpente
r
sma
t
ch_
f
l
ow: clean up
.
merge common cod
e
in ha
n
dle
_
p
r
e_l
o
op()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
improve impl
i
ed_c
o
ndition_true() for pre
and post ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Car
p
ent
e
r
while
c
ountd
o
wn
loops: handle loops wh
e
r
e t
h
e start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n
Car
p
e
n
t
er
handle for loops where we don't
k
now the upper
l
imit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
smatch_flo
w
: ha
n
dling p
r
e loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
e
xtra: comparing something to
z
er
o
d
o
es
n
't mean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpente
r
c
heck_ov
e
rflow:
relax rules
on if (p
t
r < &array[max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Da
n
C
arpenter
e
x
tra:
handle loops like while(i-
-
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n
Carpenter
cl
e
an
u
p: m
e
r
ge
a couple function for h
a
n
dling for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
D
an Carpenter
fix handling of (2 <= x) comparisons where
the variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
check_signed: di
s
ab
l
e mo
s
t of the new war
n
ings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpente
r
get_type() fix crash on getting
pointer types
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpente
r
g
et_val
u
e() more int to l
o
ng l
o
ng
m
o
p
u
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpen
t
er
get_typ
e
() fix pointer
ha
n
dling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nter
F
i
x get_value() for ((unsigned int)
-
1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
typ
e
_max(): handle u
n
signed long lon
g
.
(
s
o
r
t
o
f)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpen
t
er
get r
i
d of --r
a
r
e o
p
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpenter
r
ena
m
e get_singl
e
_
v
alue_from_range() => get_s
i
ngle_value_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpenter
f
o
r loops: a
d
d
a
special case
f
or
"
for(i
=
0;
i <
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
Carp
e
nter
chec
k
_
s
igned: ch
e
ck int types
a
s well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
s
ma
t
ch
.
c: use strncpy(
)
i
n
stead of str
c
py()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
t
e
r
debug:
rename
__smatch_print
_
v
a
lue() => __smatch_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpenter
check_signed: expr
-
>op i
s
type int n
o
t
ch
a
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpent
e
r
Intr
o
duce get_fuzzy_min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpen
t
er
precedence: cut down a fe
w
false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpenter
*n
e
w* ch
e
ck
_
le16
:
p
r
in
t
an error f
o
r double
c
pu_to_le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n
C
a
rpente
r
*new* chec
k
_mod_t
i
m
er:
p
r
i
nt
an warning if someone
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan
C
a
r
pent
e
r
strip_ex
p
r():
r
e
m
ove force ca
s
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
D
an C
a
rpenter
kpatch
.
sh: figure the ema
i
l address
o
u
t
automatically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
*new* smatch_scripts
/
kpatch
.
s
h
:
script for mailin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan
Carpenter
Print
f
ewer messages
a
bout
unreached c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carp
e
nter
smatch
_
c
onditions: small
cleanups and
a
dd deb
u
g co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
fix WARN_O
N
handling
s
o
m
e more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
D
an
Carpe
n
ter
sm
a
t
c
h_templat
e
:
s
mall changes to commen
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
arpenter
cle
a
n up the make
f
il
e
a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Car
p
enter
han
d
le assignments like:
f
oo = x
<
1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n
C
a
rp
e
nter
smatch_st
a
tes:
white sp
a
ce cha
n
g
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
s
m
atc
h
is suppo
s
ed
to be
usi
n
g "long long" t
y
pes internally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
rpenter
new_bugs
.
sh:
b
e
t
ter filtering of smatch error
s
from
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
handle stuff like the ker
n
el's WARN_O
N
() macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
rpenter
s
match_extra
:
foo =
!
!x; doe
s
not modify
x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nt
e
r
h
and
l
e assignments lik
e
: foo = !bar(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
rpenter
ch
e
ck_overfl
o
w
:
check for memset()
i
ssues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
automatically
g
enerat
e
the list of fu
n
ctions which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carp
e
nt
e
r
*ne
w
* smatc
h
_scri
p
ts/
s
u
mmarize_errs
.
sh: script for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Da
n
Ca
r
penter
ker
n
el:
f
ix xfs false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
che
c
k
_ov
e
rflow:
h
andle: "int *
p
= &a
r
ray;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
enter
check
_
ov
e
rflow: fi
x
bug in ge
t
_array_size_bytes(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
push
s
o
me more stuff on the
b
ig_ex
p
ression_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
penter
check_ove
r
flow: handle
c
as
t
s li
k
e
((char *)a
r
ray)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpenter
c
heck_overflow:
f
ix as
s
igning arrays to
pointers of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflo
w
: fix al
i
gnment bug in
get
_
array_s
i
ze_by
t
es
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpenter
check
_
ove
r
flow: prefer recent as
s
ignments ov
e
r the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Car
p
ente
r
Add quotes
aro
u
nd s
t
ring li
t
erals
i
n smat
c
h output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
ch
e
ck_o
v
e
rflow: update s
t
rc
p
y() and strncpy()
check
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
ker
n
el
.
no_return_f
u
ncs: _
_
reiserfs
_
p
a
nic
d
oesn't ret
u
r
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
check_
o
verflow: store the siz
e
in
bytes instead
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
a
rpente
r
check_overflow: don't
com
p
lain ab
o
ut if (ptr < &array
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpenter
smatch_
f
low: chang
e
how the big e
x
pres
s
ion stack works
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an Car
p
enter
c
h
eck_overflow:
re
n
am
e
my_decl_id
=> my_s
i
ze_i
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpent
e
r
check_overflow: white space changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_ove
r
flo
w
: use the _ex
p
r() hooks instead of doing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpent
e
r
chec
k
_
overflow: remove
s
ome old
debugging c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
c
h
eck_
o
verfl
o
w: rename dest =>
array_exp
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
check_overflow:
get_initializer_bytes() =
>
get_ini
t
ializer
_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpe
n
ter
check_overflow: option_spam
m
y => option_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
ar
p
enter
ch
e
ck
_
ove
r
flow: handle i
n
dexed arr
a
y
i
n
i
t
ialization
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: fix
en
d
les
s
loop
parsing "int x =
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next