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
check_overflow: malloc() => __alloc_smatch_state()
2010-03-19
D
an Carpen
t
er
check_overflow: malloc() => __alloc_smatch_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
smatch
.
c:
d
on't lea
k
those 10
b
ytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
assigne
d
_exp
r
: fix memory
l
e
ak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
kern
e
l:
f
ree_area()
d
oesn't
c
all kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpent
e
r
*new* ch
e
ck_return
.
c:
co
m
pla
i
n
if you don'
t
c
heck the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
e
nter
math: make get_implied_v
a
lue() work for pointers
bet
t
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpenter
math: c
l
eanup:
c
rea
t
e sep
a
rate _get_implied_valu
e
(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpenter
math:
handl
e
modulus
'%' op
e
r
a
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpenter
m
a
th:
handle EXPR_POSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an
C
a
r
penter
math: clean
u
p: make handling binops a switch() s
t
a
t
ement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpenter
math:
cleanup create
s
eparate ha
n
dle_binop
(
) fu
n
c
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpe
n
t
e
r
math
:
c
le
a
nup
.
use
c
ast
_
t
o
_type(
)
ins
t
ead of
re-imp
l
i
m
enting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Ca
r
pent
e
r
ma
t
h
: cleanup
.
separate handle_pr
e
op() into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nter
equ
i
v: fix crash
i
ng bu
g
introduced in
8
c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpent
e
r
Create separate smatch_math
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
update smatch_data/ for
2
.
6
.
34-
r
c1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carp
e
nter
implied: clean up make a
s
eparate handle
_
ze
r
o
_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
equi
v
: handle compa
r
isons with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rp
e
nter
equi
v
:
c
l
eanup separate
s
et_
e
xtra_true_false() into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv, impli
e
d: fix handl
i
n
g bo
r
rowed implic
a
t
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan C
a
rpenter
implied
:
don't u
p
date t
h
e equivelent s
t
ate
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan C
a
rpenter
rm v
a
l
i
d
a
t
i
on/s
m
a
t
ch_
c
loset/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
eq
u
iv
:
don't ove
r
write t
h
e implication information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
nter
re
n
ame __s
e
t_s
t
at
e
() => __set_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
rename clone_s
t
ate() => clone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
eq
u
iv: preserve ->equiv across mer
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Car
p
enter
Use the equivalent
variable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Ca
r
pente
r
re
m
ove trackers from -
>
equ
i
v
when they ar
e
no long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpent
e
r
F
i
x crash
i
ng b
u
g
c
a
used by last commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an
C
a
rpenter
s
tore in
f
ormation in the new din
f
o->equiv thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpenter
introduce a
d
d_t
r
a
c
ker_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
a
r
p
en
t
e
r
mak
e
set_state() and friend
s
re
t
ur
n
th
e
new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduce
c
lo
n
e_tra
c
ker_list(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add "e
q
uiv" field to stru
c
t data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpenter
move
the al
l
oc_dinfo() functions to smatc
h
_
e
xtra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
che
c
k_signed: war
n
about compari
n
g (unsigned variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Car
p
enter
update
v
alidation/sm_ca
s
ts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpente
r
*new* smatch_
s
c
r
ipts/show_errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
*
n
ew* smat
c
h_script
s
/whitespase_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
pe
n
t
e
r
a
d
d -no-lineno option to spar
s
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
validation/sm_redundant_ch
e
ck
.
c now
i
t
's "info" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
an Car
p
en
t
er
check_precede
n
ce:
print one
warn
i
n
g
message instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
che
c
k_signe
d
: handle unsigned 64 bit vari
a
bles
b
e
t
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
get_value()
h
an
d
l
e
some more
math
o
p
erations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Ca
r
penter
make r
e
dundant
n
ull checks before kfree
(
) an "inf
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n
C
arpent
e
r
chec
k
_signed
:
Elimi
n
ate some false
p
ositives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
Car
p
ente
r
p
recedence:
c
heck for &
&
vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
implications
:
i
m
p
rove handling of co
m
p
a
risons with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
use implica
t
ions fro
m
POSTOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
c
o
n
d
itions:
p
arse
EXPR_POSTOPs after evaluating the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpent
e
r
check_overflow:
r
emove false
p
o
sitives
caused
b
y
prin
t
k
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
nt
e
r
flow:
i
mprove han
d
l
i
ng of wh
i
le(i--)
{
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
r
emo
v
e strange loop mess
a
ge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpenter
k
p
atch
.
sh: ask a
b
o
u
t
al
l
oc() failures specifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
check_deref:
handle __GFP_NOFAI
L
(remove false positives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
D
a
n Carpe
n
ter
check_dere
f
:
handle
p
ointe
r
s used as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n
Carpenter
smatch_flow: c
l
e
an up
.
m
e
rge
c
ommon code in handl
e
_pre_loop()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpent
e
r
im
p
rove implied_condition_true() f
o
r pre and po
s
t ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
while countdown loops:
ha
n
dl
e
l
o
ops where the s
t
art
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
n
ter
handle for lo
o
ps wher
e
we don't kn
o
w
t
h
e uppe
r
limit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
an Ca
r
p
e
nter
smatch_f
l
ow: han
d
ling pre loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
e
x
tra: comparing some
t
hing
t
o ze
r
o
d
oesn't mean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
D
a
n Ca
r
p
e
n
t
er
ch
e
c
k
_overflow: relax rules
o
n if (ptr
<
&arra
y
[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
D
a
n Carpenter
extra: handle loops
l
ike while(i--) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpenter
clean up:
merge a couple fu
n
c
t
ion for handling fo
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpe
n
ter
fix handli
n
g of
(
2 <= x) compari
s
ons where th
e
va
r
iable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
c
h
eck_si
g
ned: disable most of the new
wa
r
nings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpente
r
get_type()
f
ix crash on getting pointer ty
p
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpen
t
er
get_value() mor
e
int to
long long mo
p
up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get_type()
fix po
i
nter
h
a
n
d
ling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
Fix get_valu
e
()
f
or ((unsigned int) -1
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
C
a
rpen
t
er
type_max():
handle unsigned
l
ong long
.
(
s
ort of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
penter
g
e
t
r
i
d of --r
a
re option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
rename get_
s
ingle_v
a
lue_from_range() =
>
get_single_value_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpe
n
ter
f
or loops: add a special case for "for(i
=
0; i
<
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
an C
a
r
p
ent
e
r
check_signed:
c
h
eck int types as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n
C
arpen
t
er
smatc
h
.
c: use strncpy()
instea
d
of strcpy()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
debug: ren
a
me _
_
s
match_pr
i
n
t_value() =>
__sm
a
tch_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
an
C
a
rpenter
check_sign
e
d: expr-
>
op
is type in
t
n
o
t char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpent
e
r
Intr
o
duce g
e
t_fuzzy_mi
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
precede
n
ce:
cut do
w
n a
f
ew false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpenter
*new*
c
he
c
k
_
l
e1
6
: print a
n
error fo
r
double cpu
_
t
o
_le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carp
e
n
ter
*
n
e
w* check_m
o
d_timer: pr
i
nt
a
n warning i
f
s
omeone
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
an Carpenter
st
r
ip_expr(): remove forc
e
c
a
sts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan C
a
rpenter
kpatc
h
.
s
h: figu
r
e the email ad
d
ress out au
t
omatically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpente
r
*ne
w
* smatch
_
scripts/kpatch
.
sh:
s
crip
t
for mai
l
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n
Car
p
e
n
ter
Print fewer messages a
b
out un
r
ea
c
hed code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Ca
r
p
e
nter
smatch_c
o
ndition
s
:
small cleanups a
n
d add debug code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
fi
x
WARN_ON
handling some mor
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
D
a
n Carpenter
smatch_template
:
small changes to co
m
men
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Da
n
C
arpenter
clean
u
p t
h
e makefil
e
a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
handle a
s
sign
m
e
nts like: foo = x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carp
e
nte
r
s
m
atch_stat
e
s: w
h
ite
s
pace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Carpenter
smatch is supposed to be using "lon
g
long" types intern
a
lly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
enter
new_bugs
.
sh: bette
r
filtering of smatch
e
rror
s
from
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
handle stuff like the ker
n
e
l's WARN_ON() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch
_
extra: foo = !!x; does
not modif
y
x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
rpente
r
han
d
le assign
m
ents like: foo = !b
a
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Carpenter
check_overflow: check
f
or memset() issues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Ca
r
penter
aut
o
m
atica
l
ly generate
t
he list of functio
n
s w
h
i
ch
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next