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
kernel: free_area() doesn't call kfree()
2010-03-17
Dan Carpe
n
ter
kernel: free_area()
doesn't call kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpen
t
er
*new* check_retu
r
n
.
c: complain if
you d
o
n't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math: ma
k
e get_implied_value() work
f
o
r point
e
rs b
e
tter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math: cleanup:
c
reate se
p
a
rate _g
e
t_im
p
l
i
e
d_v
a
lue(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handle
m
odulus '%'
o
pera
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math: handle EXPR_
P
OSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpent
e
r
m
ath: cleanup: make handling binops a switch(
)
st
a
tement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carp
e
nt
e
r
math: clea
n
up
c
r
e
a
t
e separate handle_binop
(
) function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpente
r
math: cleanup
.
use cast_to_
t
ype(
)
in
s
tead of re-imp
l
imenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanu
p
.
se
p
arate hand
l
e_preo
p
() into
i
t's o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
Carpenter
equiv
:
fix crashin
g
bug introd
u
c
ed
i
n
8c3
5
8883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
Carpenter
Create s
e
parat
e
smatch_ma
t
h
.
c f
i
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
update smatch_data/ for 2
.
6
.
3
4-r
c
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
i
m
plied:
clean
u
p
m
ak
e
a separate handle_zero_compari
s
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Car
p
enter
equiv: hand
l
e compariso
n
s with zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
ter
e
q
uiv
:
cl
e
anup
s
eparate
s
e
t
_extra_
t
r
u
e_
f
a
l
se() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpent
e
r
equiv, imp
l
ied
:
fix handling borrowed implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpenter
i
mplied
:
d
o
n't update the equive
l
ent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan C
a
rpenter
rm validation/smatch_closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
equi
v
: don'
t
overwrite the imp
l
icatio
n
in
f
ormation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
enter
rename __set_state()
=> __s
e
t_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n
Carp
e
nter
rename
c
lone_state
(
) => clone_sm(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
equi
v
:
preserv
e
->e
q
uiv ac
r
o
s
s
merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use
t
h
e
equivale
n
t v
a
riable c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpe
n
ter
remove tra
c
kers
f
rom ->equiv w
h
en they are no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpent
e
r
F
ix
c
rashing bug
caused by last commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpe
n
ter
store
information in the
new dinfo-
>
equiv thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpent
e
r
introduc
e
add_t
r
acker_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Car
p
enter
make s
e
t
_
state() and
f
r
i
ends return th
e
new s
m
_sta
t
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpenter
intr
o
duce clone
_
trac
k
er_l
i
s
t
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
enter
add "equiv" fi
e
ld to struct
d
ata_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
ent
e
r
move th
e
all
o
c_
d
info
(
) fu
n
ctions to smatch_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan
C
a
r
pe
n
ter
check_signed: warn about comparing (
u
nsigned vari
a
bl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Ca
r
pente
r
u
pd
a
te
validation/sm_cas
t
s2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arp
e
nter
*new* sm
a
tch_scripts/sh
o
w_er
r
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
ent
e
r
*new* sm
a
tch_scripts/whitespase_only
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
a
d
d
-no-
l
ineno
o
ption to sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
val
i
dation/sm_redundant_check
.
c now it'
s
"info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpenter
check_precedence: print
one warning me
s
s
a
ge in
s
tead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpent
e
r
c
h
eck_signed: handle unsigned
6
4 bit variables bette
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Car
p
en
t
er
g
e
t_value() handle some more math
o
p
erations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpent
e
r
make redundant
nu
l
l checks bef
o
re kf
r
ee() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carp
e
nter
check_si
g
ned:
E
liminate s
o
me fals
e
positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
precedence: check
for && v
s
&
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
nter
implications:
improve han
d
lin
g
of c
o
mparisons w
i
th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
use
impli
c
atio
n
s from
P
OS
T
O
P
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpenter
c
o
nditions: parse EXPR
_
POSTOPs af
t
e
r evaluatin
g
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an C
a
rpenter
c
h
e
ck
_
overflow: remove fal
s
e positives cau
s
ed by printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpenter
flow:
i
mprove
h
an
d
l
ing of while
(
i--) { l
o
ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
remove
strange loop m
e
ssage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
k
patch
.
sh: ask about al
l
oc() fail
u
res speci
f
ically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
check
_
deref: handle __
G
F
P
_
N
O
F
A
IL (remove
false
p
o
sitives)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
D
a
n Carp
e
n
t
e
r
check_deref: handle point
e
rs
u
s
e
d as arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Ca
r
p
enter
s
match_flow:
c
lean up
.
me
r
g
e
common code in h
a
ndle_pre_loop
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
impr
o
ve imp
l
ied_c
o
ndition_true(
)
for pre a
n
d p
o
st ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
while
co
u
ntdown lo
o
ps: handle loop
s
where the
st
a
rt
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Car
p
enter
handle for l
o
ops
where we
d
on't know the upper limit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
n
t
er
s
match_fl
o
w:
handling pre loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
extra
:
c
o
mparing so
m
ethi
n
g
to zero d
o
esn't mean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Car
p
enter
check_overflow:
r
elax rules on
if (p
t
r < &
a
r
r
a
y[max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
D
an Car
p
enter
extra: han
d
l
e loops like while(i--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n Car
p
e
nter
clea
n
up: merg
e
a couple function for handling
f
or
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carp
e
n
te
r
fix handling of (2 <=
x) c
o
mparisons where th
e
v
ariab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
D
a
n Carpenter
check_signed
:
di
s
able most
o
f the new
w
arnings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Da
n
Carpenter
ge
t
_t
y
pe
(
) fix crash on getting
pointer
t
ypes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpenter
get_value()
more int
t
o
long
long
m
op up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get_ty
p
e() fix
p
ointer han
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpe
n
ter
Fix
get_value() for
(
(unsigned
i
nt) -1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
type_max(): handle unsigned
l
ong long
.
(sort o
f
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpenter
get rid of --rare
o
ption
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nter
r
e
n
a
me get_singl
e
_
v
alue_f
r
om_r
a
n
g
e
() => get
_
single
_
v
a
lue_f
r
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Car
p
enter
for
l
o
ops:
add a special c
a
se for "for(i = 0
;
i
<
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
arpenter
check_signed: check
int types as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carp
e
n
ter
sm
a
tch
.
c: u
s
e strncpy() instead of
s
t
r
c
py()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
r
pe
n
ter
debug: rename __smatch_pr
i
n
t
_value() =>
_
_smatc
h
_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
check
_
si
g
ned: expr->op is ty
p
e
i
n
t not char
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpenter
In
t
roduce get_fuzzy_min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
prece
d
ence:
c
ut down a few false
positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
p
enter
*new* che
c
k_le16: print
an error for double cpu_
t
o_l
e
1
6
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Car
p
e
nter
*new* che
c
k
_m
o
d
_
t
imer: print
a
n warning if someone
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan C
a
rpenter
strip_exp
r
(): remove
force ca
s
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan
Car
p
enter
kpat
c
h
.
sh: figure the e
m
ail
a
ddr
e
s
s out automatically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
an Carpenter
*
n
ew* smatch_scripts/kp
a
tch
.
sh: script for
m
a
il
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carpente
r
Pr
i
n
t
f
e
wer messages a
b
o
u
t unreached code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
an Carpenter
smatch_conditions: sm
a
ll cleanups and
add debu
g
cod
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
fix WARN_ON handling s
o
me more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
D
an
C
arp
e
nter
smatch_templ
a
te:
s
mall chan
g
es to comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Car
p
enter
clean up the makef
i
le a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
arpenter
han
d
le assignments
lik
e
: foo =
x < 1
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
er
smatch_states: white
s
pace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n
Carpente
r
smatch is supposed to be
u
s
ing "
l
ong long" types inte
r
nally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpent
e
r
new_bugs
.
sh:
better f
i
ltering of smatch errors from
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n
Carpenter
handle s
t
uff like
the kernel'
s
WARN_ON()
m
acro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch_extra: foo = !!x; do
e
s not modify x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
h
andle assignments like: foo = !bar()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
enter
che
c
k_overflow:
check for memset
(
) issues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n C
a
rp
e
nter
a
u
tomatic
a
lly generate the list of fu
n
c
t
ions whi
c
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
*ne
w
* smatch_scripts/summariz
e
_errs
.
s
h: script
f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carp
e
nter
kernel: fix
xfs fal
s
e positiv
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow: handle: "int *p = &array;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next