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
extra: use the fake assignments instead of the initializer
2010-03-30
Dan
C
a
r
p
enter
e
xtra:
use
t
h
e fake a
s
si
g
nments instead of the initialize
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan
Carpenter
e
quiv:
never
s
et SMATCH_EXTRA v
a
lues directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Carp
e
n
te
r
equiv: elimin
a
te b
o
gus
cal
l
to
s
et_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Carp
e
nte
r
intro
d
uce
_
_smatch_
d
ebu
g
_o
n
() and __smatch_debu
g
_o
f
f()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan
C
arpente
r
check_lo
c
k
i
ng
:
c
lean up list of
kernel
l
oc
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
handle
s
ele
c
t assigns:
f
oo = a
?
b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Carpen
t
e
r
c
ore: fake cu
r
_
slist more complete
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n
Carp
e
nter
core: r
e
write select stat
e
m
e
n
t
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpenter
states: ve
r
ify that th
e
stacks
a
re
empty at the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpente
r
Rename functions: __pop_fo
o
() => __di
s
c
ard_fo
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
sma
t
ch_s
t
ates: rename some f
u
nct
i
o
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
r
e
lea
s
e
_resource: D
o
h
.
It's lo
o
kin
g
fo
r
t
he wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
an Carp
e
nter
fix select
stateme
n
t hand
l
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan C
a
r
p
e
nter
core: cle
a
nup
.
delete
f
ake
cond
i
tion st
a
ck code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Carpe
n
te
r
core: make fake cur_slis
t
s s
t
ackabl
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
C
arp
e
nter
slis
t
: make set_
s
tate_stack(
)
return the new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
pe
n
ter
*
new* c
h
eck_release_r
e
so
u
rce
.
c: chec
k
t
hat
w
e re
l
ease
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Ca
r
penter
fl
o
w
: split asm clobbers,
inputs and ou
t
puts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
D
an
C
arpente
r
whi
t
e_sp
a
c
eonly:
a
llow header
f
iles
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new*
s
trip_whi
t
e
space
.
pl:
r
e
m
oves all the whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new
*
che
c
k_r
e
source_size(): pr
o
d people to use res
o
urce
_
size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Da
n
Carpent
e
r
extr
a
: a
s
sume impossi
b
le th
i
ng
s
are i
m
possible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan
Carpenter
err_ptr: fix btrfs false positi
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr
:
hand
l
e
when an err_ptr
is reassigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpente
r
*new* check_db
_
info
.
c print
s
out stuff that
w
ill b
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
cleanup: move stuff fro
m
smatc
h
_
e
x
tra
.
c t
o
s
m
atch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nt
e
r
whi
t
espace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpe
n
ter
equiv: fix
crash
i
ng bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
chec
k
_
overflow: malloc() => __all
o
c_smatc
h
_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
t
e
r
smatch
.
c
:
don't leak those 10 byte
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
assigned_e
x
pr: f
i
x memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
kernel:
f
ree_area
(
) doesn't c
a
ll
kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpe
n
te
r
*new* c
h
eck
_
r
eturn
.
c:
complain if you don't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpent
e
r
math: make get_impli
e
d_v
a
lue() work f
o
r poin
t
e
r
s better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpen
t
er
mat
h
: clean
u
p
:
cr
e
ate separ
a
te _get_im
p
lied_val
u
e
(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpe
n
ter
math: handle modulus '%' opera
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
th: handle
E
XPR_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
math: c
l
eanup: make handli
n
g bino
p
s a swi
t
c
h
() stateme
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
math
:
cleanup create sep
a
rate
han
d
le_binop(
)
fun
c
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
math: c
l
eanup
.
use cast_to_type
(
)
i
ns
t
ead of re-implimenting i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math:
c
leanup
.
sep
a
rate
handle_preop() into
it
'
s own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Carp
e
nter
eq
u
i
v
: fix cr
a
shing bu
g
intr
o
du
c
ed in
8
c358883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
Cr
e
ate
s
eparate
s
m
a
t
c
h
_math
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
up
d
at
e
smatch_data/
f
or 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpenter
impl
i
ed:
clean
up ma
k
e
a separ
a
te handle_zero_co
m
pari
s
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an
C
ar
p
ent
e
r
equiv:
h
andle comparisons with
z
e
r
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: cleanup separat
e
s
e
t
_
extra_true_fa
l
s
e() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
equiv, implied: fi
x
handling borrowed impli
c
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan
Carpent
e
r
implied:
don't update th
e
equivelent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Car
p
ente
r
rm valida
t
i
on/smat
c
h_c
l
ose
t
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
e
q
uiv: d
o
n't ov
e
rwrite t
h
e implicat
i
o
n
i
n
formation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpenter
ren
a
me __set_state() =>
__set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename c
l
one_
s
tate() => clone_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
equiv: preserve ->equiv ac
r
oss merge
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
U
se
t
he equival
e
nt vari
a
ble code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
remove
t
r
ackers from ->equiv
w
hen
they ar
e
no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
Fix crashing bug caused by last commi
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
store
i
nformation in th
e
new dinfo->equ
i
v thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduce a
d
d_tra
c
ker
_
expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpente
r
m
ake set_state() a
n
d friends return the new
s
m_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduce cl
o
n
e
_track
e
r_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
Carpent
e
r
add "equiv" field to
struct data_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpente
r
move the
al
l
oc_din
f
o() fun
c
ti
o
ns to smatch_
e
xt
r
a
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
D
an Carpenter
check_signed: warn about compa
r
ing
(
unsigne
d
variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
upd
a
te validation/s
m
_
c
a
sts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*
new* smatch_
s
c
r
i
pts/
s
how_e
r
rs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*
new* smatc
h
_scrip
t
s/w
h
ite
s
pa
s
e
_o
n
ly
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpen
t
er
add -
n
o-lin
e
no option to sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
pe
n
ter
validation/sm_redundant_check
.
c now
it's
"
in
f
o" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_
p
recedence: print o
n
e
warning message instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
c
h
eck_sign
e
d: handle unsigned 6
4
bi
t
variables better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
get_va
l
ue() handle some more math ope
r
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n
Carpent
e
r
ma
k
e redu
n
dant n
u
ll checks b
e
fore kfree() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arpe
n
ter
check_signe
d
: Eliminate some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arp
e
nter
preced
e
nce: check for && v
s
&
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n
Carpenter
i
mplications: improve handl
i
ng of compari
s
ons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
penter
use implication
s
from POSTOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Ca
r
penter
condition
s
: parse EXPR_P
O
STOP
s
after
e
valuating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n
C
a
r
penter
check_o
v
erf
l
o
w
: remove false positives cause
d
b
y
printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
flow: impr
o
ve h
a
nd
l
ing
o
f while(i--) { loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
ent
e
r
r
emove stran
g
e
loo
p
message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpe
n
t
er
kp
a
tch
.
sh: ask
a
b
out alloc() failures specificall
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
a
r
penter
che
c
k_d
e
ref:
handle __GFP
_
NO
F
A
I
L
(remove
f
a
ls
e
po
s
itives)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpenter
check_
d
eref: handle pointers used
a
s arr
a
ys
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Car
p
enter
smatch_f
l
ow: clean u
p
.
merge common code
i
n handle_pre_loop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Car
p
e
n
ter
impro
v
e implied
_
condition
_
true(
)
for pre a
n
d post ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an
C
a
rpenter
wh
i
le countd
o
wn l
o
ops: handle loops where th
e
start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
a
rp
e
nter
han
d
le
for loops whe
r
e
w
e
d
o
n't know the upper limit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpenter
smatch_f
l
ow: handling pre loo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
extra
:
compar
i
n
g
somet
h
ing to zero
d
o
es
n
'
t mean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
check_
o
verflow: relax
r
u
l
e
s on if (pt
r
<
&
array[
m
ax
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carp
e
nte
r
extra: handle loops like while(i--)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpenter
cl
e
a
n
up
:
merge a couple function for handling
for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Car
p
enter
fix handling of (2 <= x) comp
a
risons w
h
ere the v
a
ri
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Da
n
Carpenter
check_signed: disab
l
e most of the ne
w
warnings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan
C
arp
e
nter
get_type() fix c
r
ash on g
e
tting p
o
inte
r
types
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpenter
get_value(
)
more int to long
lo
n
g mop up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get_type() fix pointer handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpenter
Fix ge
t
_value() for ((uns
i
gned int) -1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpe
n
ter
type_max():
h
a
ndle u
n
signed lo
n
g l
o
ng
.
(s
o
rt o
f
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next