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
err_ptr: fix btrfs false positives
2010-03-20
Dan Car
p
enter
e
rr
_
ptr
:
f
ix
b
trfs
f
als
e
p
ositives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
rr_ptr: handle whe
n
a
n
err_ptr is reassigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
*new* check_d
b
_info
.
c
p
r
i
nts ou
t
stuff that
w
ill be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nt
e
r
cleanup: move stu
f
f
f
rom smatch_e
x
tra
.
c
to smatch_mat
h
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
w
h
ite
s
pa
c
e ch
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
equiv: f
i
x crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
chec
k
_overflow:
m
alloc() => __a
l
loc_sm
a
tch_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
sma
t
ch
.
c: don't lea
k
t
h
o
s
e
10
b
y
t
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpenter
a
s
s
i
gned_expr: fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpent
e
r
kernel: free_area() doesn't call kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
D
an Carp
e
nter
*
new* check_return
.
c: complain if you
d
o
n't che
c
k the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
math: make get_implied_val
u
e() work
f
or pointers
b
etter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpe
n
te
r
math: cleanup: cre
a
t
e
separ
a
t
e
_get_implied_
v
alue(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpen
t
er
math:
handle
modulus '%'
o
pera
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
m
a
th: handle EXPR_PO
S
TOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rp
e
nter
m
ath
:
cleanu
p
: make handling bin
o
ps a sw
i
tc
h
() statem
e
nt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Car
p
e
n
t
e
r
math: cleanup c
r
eate
se
p
arate handle_
b
inop() fu
n
ction
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
math: cl
e
anup
.
use cast_to
_
t
ype() ins
t
ea
d
o
f
re-impli
m
enting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Ca
r
p
e
nter
math: c
l
e
a
n
up
.
s
e
parate
h
andle_pr
e
op() into
i
t's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpenter
e
q
u
i
v:
fix cr
a
shing bug int
r
oduced i
n
8c35888
3
a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Carpen
t
e
r
Cr
e
ate sep
a
r
ate smatch_math
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpe
n
ter
up
d
ate smatch_data/ f
o
r
2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpent
e
r
implied
:
cle
a
n
up make a separate handle_zer
o
_c
o
mparison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
C
arpenter
equiv: hand
l
e
comparisons wit
h
zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: c
l
eanup separate set_e
x
tra_true_false() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpente
r
eq
u
iv, im
p
lied: fix handling borrowed impl
i
c
a
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan
C
a
rpenter
implied: don't update the equivelent
s
t
ates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpenter
rm validation/smatch_closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpente
r
equiv: don't overwrite the implicati
o
n information
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpent
e
r
rename
_
_
s
et_
s
tate()
=
> __set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpenter
rename clone_s
t
at
e
() =>
clone_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
equi
v
:
preserve ->equiv across m
e
rges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
n
t
e
r
Use the eq
u
i
v
al
e
nt v
a
riable
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
remove tracke
r
s from ->eq
u
iv when they are
n
o
long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fix crashing bug cause
d
by last co
m
mit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Car
p
en
t
er
stor
e
information in th
e
new dinfo->equiv th
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
introduce add_tr
a
cker_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Ca
r
penter
make set_st
a
te()
a
nd friends return the
new sm_sta
t
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arp
e
nter
introduce c
l
o
ne_tracker_lis
t
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpe
n
t
e
r
add "eq
u
iv" field to struct data_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Ca
r
penter
m
ove the alloc_dinfo() functions to sm
a
tch_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Da
n
Ca
r
penter
che
c
k
_
signe
d
: warn about comparing (unsigned vari
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
rpenter
update va
l
idatio
n
/sm_c
a
sts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpenter
*new* smatch_s
c
ripts/show_err
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* smatch_scripts/whi
t
espase_onl
y
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpente
r
a
dd -no-li
n
eno option to sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpent
e
r
validation/sm_redund
a
nt
_
check
.
c now
i
t'
s
"info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_pr
e
cedence: print
one warning message ins
t
ead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpente
r
c
heck_signed: hand
l
e uns
i
g
n
e
d
64
b
it
v
ariables be
t
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
g
e
t_value()
handle some mo
r
e mat
h
operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Da
n
C
arpe
n
ter
mak
e
redun
d
ant n
u
ll checks before
kfree() an
"i
n
fo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpen
t
e
r
ch
e
c
k
_signe
d
:
E
l
i
m
i
na
t
e some false
positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n Carpenter
pr
e
c
e
dence: c
h
eck
for
&
& vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpente
r
implicati
o
n
s: improve
h
a
n
d
l
ing of
c
omparisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
use
implica
t
ions from POSTOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
C
ar
p
ente
r
conditions:
pars
e
EXPR_POSTOPs after evaluating
t
he
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpenter
check_overflow:
remove f
a
lse positiv
e
s c
a
used by printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
flow: improv
e
h
andling
o
f whi
l
e(i--) { loop
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
r
emove strange loop me
s
sage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
p
e
n
t
e
r
kpatch
.
sh: ask about alloc(
)
failures spe
c
ifically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpenter
che
c
k_deref
:
handle
__GFP_NOFAIL (remove false positiv
e
s)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpenter
ch
e
ck_deref: hand
l
e pointe
r
s
used as arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an
Carpenter
smat
c
h_flow: c
l
ean up
.
merge common
c
ode in hand
l
e_pre
_
loop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
improve
im
p
lied_condition_true() f
o
r pre and
p
ost
o
ps
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpente
r
while count
d
o
wn loo
p
s: handle
l
oops
w
her
e
t
h
e start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
ha
n
dle
for loo
p
s where we d
o
n
'
t
k
now the upper
l
imit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
Carpenter
s
m
at
c
h_flow: han
d
ling pre
l
oo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
extra: comparin
g
some
t
hi
n
g
t
o
zero doesn
'
t mean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
check_overfl
o
w: relax rules o
n
if (ptr < &arra
y
[max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpe
n
ter
e
xtra:
h
andle
l
o
o
p
s
like whi
l
e(i--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpenter
cl
e
a
n
up: m
e
r
g
e a
couple function for handling for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpente
r
fix
h
andling of (2
<= x) com
p
arison
s
where
t
he
variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
c
heck_signed:
d
isable most of th
e
new warnings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Ca
r
penter
ge
t
_t
y
pe() fix
c
rash
o
n
gett
i
ng pointer t
y
pes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpenter
ge
t
_value() mor
e
int to l
o
n
g
long
mop up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
Car
p
en
t
er
ge
t
_
type() fi
x
pointer han
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
Fix get_value()
f
or ((unsigned int) -1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpe
n
t
er
type_
m
ax(): handle unsig
n
ed long long
.
(sort of)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpenter
ge
t
rid o
f
--rare option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
penter
rename get_
s
i
ngle_value
_
from_range
(
) =
>
get_single_value_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpente
r
f
o
r
l
oops: a
d
d
a
sp
e
cial case for "for(
i
=
0;
i
<
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
check
_
signed
:
check int types as
w
el
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
ar
p
e
n
te
r
sma
t
ch
.
c: use strncpy()
instead of s
t
rcpy()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
an Carpen
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
Dan
C
a
rpenter
check_
s
igned: expr->
o
p i
s
type i
n
t not
c
har
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
Introduce get_
f
uzzy_min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Car
p
e
n
ter
precedence: cu
t
do
w
n a f
e
w false posi
t
ives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carp
e
nter
*new* check_le16: print an error for
d
o
u
ble
cpu_to_le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
ter
*new* check_mod_timer:
print
a
n warni
n
g
if someone
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpe
n
ter
st
r
ip_expr(): remove force casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Da
n
Carpente
r
kpatch
.
s
h
: figure th
e
email
a
d
dr
e
ss
out automatic
a
l
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Ca
r
pent
e
r
*new* smatc
h
_scrip
t
s
/
kpat
c
h
.
sh: script for mail
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpen
t
er
Print fewer messag
e
s about unrea
c
hed code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
sm
a
t
c
h
_
conditions:
sma
l
l
c
lean
u
ps a
n
d add
de
b
ug 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
Da
n
Carpenter
sma
t
ch_template:
s
ma
l
l
changes to
c
omm
e
nts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
clean up the makefil
e
a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carp
e
nter
handl
e
assignments like: foo = x < 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carpenter
smatc
h
_states: white space chan
g
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpenter
s
ma
t
ch is sup
p
osed to be using "long long" typ
e
s intern
a
lly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next