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
locking: add more standard locks
2010-03-29
Dan Carpe
n
ter
locking
:
ad
d
more s
t
andard loc
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
D
an C
a
r
p
ent
e
r
check_
l
ock
i
ng:
c
lea
n
up list of k
e
rnel locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Carpenter
handle select assigns
:
foo
=
a ? b :
c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpente
r
c
o
r
e
: fake cur_slis
t
more comple
t
ely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n
Carpenter
core: rewri
t
e
s
elect stat
e
ment hand
l
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
er
states: verify that the s
t
acks are emp
t
y
at the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Car
p
enter
Rename
f
un
c
tions: __p
o
p
_
foo() => __di
s
card_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
smatch_states: rename som
e
f
u
nctions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
relea
s
e_reso
u
r
ce:
Doh
.
It's loo
k
ing for the wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
fix select statement
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
penter
cor
e
: c
l
eanu
p
.
d
e
l
ete f
a
ke c
o
nditio
n
stack co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: m
a
k
e
fake cur_slists stackab
l
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
slis
t
:
m
ake
s
et_st
a
te_
s
tack()
r
eturn t
h
e new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*new* c
h
e
c
k_re
l
e
ase
_
re
s
ource
.
c:
che
c
k that we r
e
lease
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow:
s
plit
a
sm clobb
e
rs, inputs and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpenter
w
h
it
e
_spaceo
n
ly: allow header file
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan C
a
rpent
e
r
*
n
ew* strip_whitespace
.
pl: removes all the
wh
i
t
es
p
ace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* check_resource_s
i
ze(): prod people to use resour
c
e
_
s
i
z
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Car
p
enter
extra: assum
e
i
mp
o
ssible things are impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Ca
r
pen
t
er
e
rr_ptr: f
i
x btrfs f
a
lse positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Ca
r
p
e
n
ter
err_ptr:
handle when an e
r
r_ptr is reassigne
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpenter
*new* check
_
db_info
.
c
p
rints out stuf
f
that will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpent
e
r
cl
e
a
n
up: move stuff from smatch_extr
a
.
c to smatch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
whitespace
c
hanges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
equiv: fix c
r
ashin
g
b
u
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
che
c
k_overflo
w
:
m
alloc() =>
_
_allo
c
_smatch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
s
m
a
t
ch
.
c
:
do
n
't leak those 10 b
y
tes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpenter
a
ssigned
_
e
xpr: fix
m
emory
l
eak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
k
e
r
n
el: free_area() d
o
esn't call k
f
ree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Da
n
Carpen
t
er
*new* ch
e
c
k
_return
.
c: complain
i
f
you d
o
n't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
C
arpen
t
e
r
math: make
g
et_impl
i
ed_value() work for pointers bett
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
penter
ma
t
h:
clea
n
up:
c
reate sepa
r
a
t
e _get_implied
_
value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math: ha
n
dle mod
u
lus '%
'
operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math: handle
E
XP
R
_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
math: c
l
eanup:
ma
k
e handling bin
o
ps a switch() statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
ath: cleanup cr
e
ate
s
e
p
arate handle_
b
ino
p
() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
math: cl
e
anu
p
.
use cast_to_typ
e
(
)
inst
e
ad of re-implimenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math: cleanup
.
separate handle_preop(
)
into it's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
e
q
uiv: fix crashing b
u
g
introduc
e
d
i
n
8c358
8
83a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
ter
Create separ
a
te smatch_math
.
c fi
l
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
upd
a
t
e smatch
_
data
/
for 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpenter
implied: clean up make a
s
eparate handle_zero_c
o
mparison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: hand
l
e c
o
mparisons with zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
equiv
:
cleanup sep
a
rate set_ext
r
a_true
_
false() i
n
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpen
t
e
r
equiv, im
p
lie
d
:
fix han
d
ling borrowed
implicatio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan
C
ar
p
e
n
ter
i
m
p
l
i
ed: don'
t
update the equivele
n
t states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm validatio
n
/smatch_closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
e
quiv: d
o
n't overwrite the im
p
lication in
f
ormation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
ren
a
me __set_state() => __set_s
m
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
rename
clone_state() => clone_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
nter
e
quiv: preserve ->equiv a
c
ross merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Car
p
enter
Use the equivalen
t
va
r
iabl
e
c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
remove tracke
r
s from ->equiv when the
y
are no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
Fix cras
h
ing bug caused by las
t
com
m
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpen
t
er
store i
n
formatio
n
in th
e
new d
i
nfo->equiv thin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpent
e
r
i
ntrodu
c
e add_tracker_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an Car
p
e
n
t
e
r
m
a
ke set_state() and
friend
s
return the
n
ew sm_s
t
ate
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduce c
l
one_tracker_
l
i
st
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add
"
e
q
uiv" field
t
o str
u
ct
data
_
in
f
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpente
r
move the
a
lloc_dinfo() func
t
ions
t
o sm
a
tch_e
x
tra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpe
n
ter
check_sign
e
d: warn about comparing
(
unsigned
v
a
r
iable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
update validation/sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* smatch_sc
r
ipts/s
h
ow
_
errs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
*new* smat
c
h_scr
i
pts/
w
hitesp
a
se
_
only
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
a
d
d -no-lineno
o
p
tion to sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
enter
val
i
dation/sm_r
e
du
n
d
a
n
t
_check
.
c now it's "info"
n
ot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_precedence: print
one warning me
s
sage instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
p
e
n
t
er
check_
s
igned: han
d
le u
n
signe
d
6
4
b
it variab
l
es bet
t
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpe
n
ter
get_value(
)
handle
s
ome mor
e
math ope
r
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carp
e
nter
make redun
d
ant null checks bef
o
r
e k
f
ree() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Da
n
Carpenter
check_sig
n
ed:
Eli
m
inate s
o
me fa
l
se pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan
Carpe
n
te
r
precedence: check f
o
r && vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpe
n
ter
implications: impro
v
e handling o
f
c
omparisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpenter
us
e
impli
c
ations from POS
T
O
Ps
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
condition
s
: pa
r
se EXPR_POSTOPs after eval
u
ating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_overflow: rem
o
ve false positi
v
es caused by printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
flow
:
impr
o
ve handli
n
g
of
w
hi
l
e(i--) { loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpente
r
remove strange loop mes
s
age
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
p
e
n
te
r
kpatch
.
sh: ask about
a
l
loc
(
) failures sp
e
cific
a
lly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpenter
check
_
d
e
r
ef:
handle __G
F
P_N
O
FAIL
(
remove false positives)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
D
a
n Ca
r
penter
check_der
e
f: handle poi
n
te
r
s us
e
d as arra
y
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n
Ca
r
pent
e
r
smatch_flow: cle
a
n
u
p
.
merge common code in handle_pre_
l
o
o
p()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
improv
e
impl
i
ed_con
d
ition_true
(
)
f
o
r pre and post ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpen
t
er
while countdown loops: handle loops where the star
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
Carpente
r
hand
l
e
for loops where we
don't know the upper limit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpenter
s
m
atch_flow:
ha
n
dl
i
ng pre loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpent
e
r
ex
t
ra: c
o
m
p
aring somethi
n
g
to ze
r
o do
e
sn't mean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
check_overflow: relax
rules on if
(
ptr < &
a
rray[max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan C
a
rpenter
extra: ha
n
dle loops
l
ike
w
hile(
i
--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpe
n
ter
c
l
ean up: merge a couple functi
o
n fo
r
handling for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpe
n
ter
f
i
x h
a
n
d
li
n
g
of (2 <=
x
) com
p
arisons where
the variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carp
e
nter
chec
k
_signed:
d
isab
l
e m
o
st of
the new warn
i
ngs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Ca
r
penter
ge
t
_t
y
pe
(
) fix crash
o
n
getting pointer types
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nt
e
r
ge
t
_val
u
e() more int
t
o long lo
n
g
mop up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
ter
g
e
t_
t
ype() f
i
x p
o
int
e
r handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
penter
Fix get_value() for
(
(
u
nsign
e
d int)
-
1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpenter
ty
p
e_max(): handle unsigned
l
o
ng l
o
ng
.
(sort of)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
a
rp
e
nter
get rid of
-
-rare opt
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpenter
renam
e
get_sing
l
e_value_fr
o
m
_
ra
n
ge() =>
g
et_single_valu
e
_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
f
o
r
loo
p
s: add a special cas
e
for "for(i = 0;
i
<
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next