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
math: cleanup: get rid of IMPLIED_SINGLE
2010-04-28
Da
n
Carpenter
math: cleanup
:
get rid o
f
IMPLI
E
D_SIN
G
LE
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
C
a
r
p
ente
r
de
l
ete check_null_deref
.
c
a
n
d clean
u
p
vali
d
atio
n
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Carpent
e
r
flow: the next
s
tatement shoul
d
n
ever b
e
the cur
r
ent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*new* check_
c
heck_dere
f
.
c: che
c
king for null i
n
consiste
n
tly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n Carpenter
*new* check_
n
o_effect: pri
n
t
w
ar
n
ings statements that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Ca
r
pen
t
e
r
setup default modi
f
ication hooks in
set_true_fal
s
e_s
t
ates()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpente
r
introduce in_macro() wh
i
ch
retu
r
ns tr
u
e if w
e
're in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpenter
introduce
:
i
n_expressio
n
_statemen
t
() and rename get
_
block_th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
Dan Carpenter
churn:
r
ena
m
e
__split_
s
t
ate
m
en
t
s()
=> __split_st
m
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n
C
ar
p
enter
extra: handle i++ and i +
=
2 better outsid
e
loo
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
filter_kernel_deref_check
.
sh: pr
i
n
t the function names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan
Carp
e
nter
Add ST
R
ING
_
HOO
K
for
e
x
a
mining str
i
ngs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan
C
a
r
penter
*new* ch
e
ck_kernel
.
c
:
handle
to
m
oyo_memory_o
k
(
) and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan
Carpent
e
r
c
ore: fi
x
handling of s
w
i
t
ch statements with
u
n
r
eachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
bai
l
out earlier if fu
n
c
t
i
o
ns get too difficult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan
C
a
rpe
n
ter
include
s
t
a
tic f
u
nctions i
n
l
i
st of functions which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
D
a
n Carpente
r
*new* fre
e
i
n
g
_null: calling free for a var
i
able that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpent
e
r
equiv: call remove_fro
m
_equiv() on assignment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpent
e
r
math: prevent divide b
y
zero b
u
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
check_lo
c
k: add more locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpe
n
ter
n
ew: ch
e
ck_proc_
c
reate() check for world writ
a
b
l
e proc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nter
math:
t
each sma
t
ch
to understand
const values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpenter
ch
e
c
k
_
over
f
low: fix theo
r
etical mem
o
ry leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Car
p
enter
core: fix probl
e
m
in handling
s
ele
c
t statement /
ORing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpente
r
c
l
eanup: re
n
ame sm_sta
t
es to "s
m
" instead of "state"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
g
et_vari
a
b
le_from_expr():
if it involves a
n
u
m
ber
it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpenter
debug: pri
n
t more usef
u
l in
f
ormation
a
bout
conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
nte
r
l
o
c
k
ing: handl
e
spin_
t
r
y
l
ock
_
i
rq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
an Carpenter
locking: handle spin
_
lock_irqsave_ne
s
t
e
d
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
lo
c
king: han
d
le raw_s
p
i
n
_unlock_irqrestore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
l
ocking:
m
ake "some
t
imes locked" m
e
ssages depend
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arpenter
M
er
g
e
b
ranch
'
devel' into
dev
e
l_equiv
commit
|
commitdiff
|
tree
2010-03-31
D
an Car
p
en
t
er
equ
i
v:
if a v
a
riable is only equivale
n
t to itself set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpe
n
t
er
extra: use the fake assignments
i
nstea
d
o
f
t
h
e initiali
z
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n Ca
r
pen
t
er
equiv: nev
e
r
set SMATCH_EXTRA val
u
e
s
directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpe
n
ter
e
quiv: eliminate
bo
g
us call to set_
s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carp
e
nter
introduce
_
_smatch_debug_on()
and __smatch
_
debug_
o
ff()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carp
e
nter
locki
n
g
:
m
a
ke spinlock_
i
rqsave() work f
o
r
my confi
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: whi
t
e spac
e
fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
l
ocking: add
more standard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
check_locki
n
g: clean up list of k
e
rn
e
l locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
arpent
e
r
h
a
ndle select a
s
signs:
f
oo =
a ? b : c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
rpent
e
r
core: fake cur_
s
list more
c
omp
l
e
t
ely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpe
n
t
er
core: rewr
i
t
e
select statement ha
n
dling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpent
e
r
states: verify that the stacks are empty at t
h
e end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpenter
R
e
name
f
un
c
t
i
ons: __pop_foo() => __discard_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpe
n
ter
smatc
h
_states:
r
enam
e
some functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
release_r
e
sou
r
ce:
D
oh
.
It's l
o
oking for
the wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
an
C
arpenter
fi
x
select stateme
n
t handli
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
an C
a
rpenter
c
o
re:
c
leanup
.
delete fake
c
ondition st
a
ck co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
n
t
er
cor
e
: make fa
k
e cur_s
l
ists
s
t
a
c
ka
b
le
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan C
a
rpenter
s
list: make set_state_sta
c
k() return the new sm
_
state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpente
r
*new* check_releas
e
_resource
.
c:
chec
k
that we re
l
ease
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan
Carpenter
flow: split a
s
m clobbers, i
n
puts
and outputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
D
an Carpen
t
er
w
h
i
t
e
_
s
paceonly
:
a
l
low head
e
r files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan
Carpenter
*new*
strip_whitesp
a
ce
.
p
l: removes
a
ll the whitespace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Da
n
Carpenter
*new* check_re
s
ource_size(
)
: prod people to use resource_s
i
ze()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra:
a
ss
u
me imp
o
ssible thi
n
gs a
r
e i
m
p
ossible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
D
a
n Carpenter
err_ptr: fix bt
r
fs fa
l
se p
o
siti
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpe
n
t
er
e
rr_ptr: h
a
ndle w
h
en an err
_
ptr is reassigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpente
r
*ne
w
* check_
d
b_info
.
c pr
i
nts
o
ut stuff that will be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
ent
e
r
cleanup: move
stuff
from
s
match_ex
t
ra
.
c
to smatc
h
_ma
t
h
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Car
p
enter
whitespace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpen
t
er
equiv: fix crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
c
h
e
c
k_o
v
e
rfl
o
w: malloc() =>
_
_allo
c
_sma
t
ch
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an
Car
p
enter
smatch
.
c: don't leak those 10
b
y
t
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
penter
ass
i
gned_expr: fix me
m
o
ry leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpen
t
er
kernel: f
r
ee_area(
)
does
n
't call
kfree
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*n
e
w
*
c
heck_ret
u
rn
.
c: com
p
lain
i
f you don't check the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
pen
t
er
mat
h
: make
g
et_imp
l
i
e
d_value() w
o
rk
for
p
ointers better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an
Ca
r
penter
mat
h
:
c
le
a
nup: create
s
e
para
t
e _get_im
p
li
e
d_value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
ma
t
h:
h
a
ndle mod
u
lus '%'
opera
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
math: handle EXP
R
_POS
T
OP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
ath: cleanup: mak
e
handling binops
a
switch(
)
sta
t
ement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
m
ath: cleanup create se
p
a
rate handle_binop() funct
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpe
n
ter
math: cleanup
.
use
c
ast
_
to_type() instead of
r
e-implimenting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carp
e
nter
ma
t
h: cleanup
.
sepa
r
ate handle_preop() int
o
it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
enter
equiv: fix
crashing bug introduced i
n
8c3
5
8883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpenter
C
r
eat
e
separate smatc
h
_ma
t
h
.
c
file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpe
n
ter
update smatch_dat
a
/
for
2
.
6
.
34-r
c
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
implied: cle
a
n
u
p
m
a
ke a s
e
p
a
rate
h
a
ndle_zero_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
Carpen
t
e
r
equiv: handle compa
r
isons with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
ter
equiv: cleanup
sepa
r
a
t
e set_extra_true_false(
)
in
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpenter
equ
i
v
,
im
p
lie
d
: fix handling b
o
r
r
o
wed 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 t
h
e
equivelent
s
t
at
e
s
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
equiv: don't
o
ver
w
r
ite th
e
imp
l
ication information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpenter
rename __s
e
t_state() => __se
t
_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rena
m
e clone_state(
)
=>
clone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpen
t
er
equiv: pre
s
erve ->
e
quiv acros
s
merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpen
t
er
Use the eq
u
ivalent variable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
remo
v
e
tra
c
kers from ->equ
i
v
w
h
en th
e
y
a
re n
o
long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
F
i
x cras
h
ing
b
ug ca
u
sed
by
l
a
st
com
m
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpen
t
er
store inf
o
rmation in
t
he new
d
in
f
o-
>
equiv thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpe
n
t
e
r
introduce add_tracke
r
_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
ma
k
e set_sta
t
e() and f
r
i
ends return the new sm_sta
t
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduce clon
e
_tracker_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Ca
r
pente
r
add "equiv" fie
l
d to struct
dat
a
_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpenter
move the alloc_din
f
o() fu
n
ctions to smatch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carp
e
n
ter
check_signed: war
n
ab
o
ut
c
o
m
paring (un
s
igned variab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next