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
filter_kernel_deref_check.sh: print the function names
2010-04-23
Dan Carpenter
f
i
lter_k
e
rnel_deref_check
.
sh:
p
r
int the func
t
i
o
n
n
a
mes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
an Carpenter
Add
STRI
N
G_HOOK f
o
r examinin
g
strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carp
e
n
ter
*new* check_kerne
l
.
c: handle tomoyo_memo
r
y_ok(
)
and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
an Carpenter
co
r
e
: fix
h
an
d
ling of swi
t
c
h stateme
n
ts with unreac
h
able
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
D
an Carpent
e
r
b
ail
o
ut ea
r
lier if fun
c
t
ions get too difficul
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpen
t
er
incl
u
d
e
st
a
tic
f
unctions
in list o
f
f
unctions which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpe
n
ter
*n
e
w
* f
r
eeing_null: calling fr
e
e for a variable that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carp
e
nter
equiv:
c
a
l
l remove_f
r
o
m
_equiv() on a
s
signment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
Carpenter
math: p
r
event
d
i
vid
e
by zero
b
ugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
check_
l
ock: add more locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Dan
C
arpenter
new: che
c
k
_
p
roc_create(
)
check for wo
r
ld writable proc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
m
a
th:
tea
c
h sm
a
tc
h
to understand const values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
check_ov
e
rflow: f
i
x theoretical me
m
ory
le
a
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
arp
e
nter
core: fix problem
in handl
i
n
g
s
el
e
ct statement / ORin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n
Carpenter
cleanup
:
r
ename sm_states to "sm" inst
e
ad of "st
a
t
e
"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
get_variable_from_expr(): if it involves a number it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
debug: print more usef
u
l information
about c
o
nditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpent
e
r
locking: handle spin_
t
rylock_
i
rq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arpenter
l
o
c
k
ing: handle
s
pin
_
loc
k
_i
r
qsave_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
a
r
penter
lockin
g
: han
d
le raw_s
p
in_
u
nloc
k
_irqrestore
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpe
n
ter
locking: make "so
m
eti
m
es locked" m
e
ssage
s
depend
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpente
r
Merge branch 'd
e
vel' into dev
e
l_equiv
commit
|
commitdiff
|
tree
2010-03-31
D
an Carpen
t
er
equiv:
i
f
a
v
ar
i
ab
l
e i
s
only equi
v
a
lent to itself s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
ext
r
a
:
use the fake assignment
s
instead of
the init
i
a
l
izer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv: never set SMATCH_EXTR
A
values d
i
re
c
tly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carp
e
nter
eq
u
i
v
:
eliminate bogus call
to set_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an
C
arpente
r
introduce
__
s
matc
h
_debug_on(
)
and __
s
m
atch_d
e
bug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
loc
k
ing: make spinloc
k
_irqsave() work for my c
o
nfi
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
ar
p
e
nter
l
ocki
n
g: white space
fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Da
n
Ca
r
pe
n
ter
locking: add more standard lock
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
chec
k
_locking: clean up
lis
t
of k
e
rnel lock
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
an Ca
r
penter
handle select assi
g
ns: fo
o
= a ?
b
: c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core: fake cur_s
l
is
t
more completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Ca
r
penter
core: rewri
t
e
s
e
lect sta
t
em
e
nt h
a
n
dling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Carpente
r
s
t
ates: ver
i
fy that t
h
e stacks are
e
m
pty at the end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n
Carp
e
nte
r
R
ename functio
n
s
:
__pop_
f
oo()
=
> __discard_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
smatch
_
states
:
r
e
name
som
e
functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpenter
rel
e
ase_resourc
e
: Doh
.
It's looki
n
g for
t
he w
r
o
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rpenter
fix
s
elect
s
tatem
e
n
t handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
an
Car
p
en
t
er
cor
e
: cleanup
.
delete fak
e
con
d
ition stack cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Carpenter
co
r
e: make fa
k
e cu
r
_sl
i
sts stackable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carpenter
slist: make set_state_stack() return the
ne
w
sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpen
t
er
*new* che
c
k_releas
e
_resour
c
e
.
c: check t
h
at w
e
rel
e
ase
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow: split asm clobber
s
, inputs and output
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan
C
arpenter
white
_
spaceonly: allow
h
eader file
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan
C
a
rp
e
nter
*new* strip_whitespace
.
pl: removes all the whitespace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Car
p
ent
e
r
*new* ch
e
ck_
r
esource_size(): prod p
e
ople to use resource
_
siz
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan
C
arpen
t
e
r
extra: assume
i
mpossible
t
hings are
i
mpossib
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
D
a
n
C
ar
p
enter
err_ptr: f
i
x btrf
s
false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
rr_
p
t
r: handle when an
e
r
r
_ptr
i
s reassig
n
ed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
*new* check
_
db_
i
nfo
.
c pr
i
nts out st
u
ff
that will
b
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
n
t
er
cl
e
anup: m
o
ve stuff from
s
ma
t
c
h_extra
.
c to sma
t
c
h_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpent
e
r
whitesp
a
ce changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
e
q
uiv: fi
x
cr
a
shing
bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
check
_
o
verflow: m
a
l
l
o
c() => __alloc_sm
a
tch_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Ca
r
penter
smatch
.
c: don't leak those 10 bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Ca
r
penter
assig
n
ed_expr: fix memor
y
leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
D
an Car
p
enter
k
e
rnel
:
free_area() doesn
'
t call k
f
r
e
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan
Ca
r
penter
*new* check_return
.
c: complain
if you don'
t
check the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpen
t
er
m
at
h
: make ge
t
_impli
e
d_value
(
) work for
p
ointers
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Ca
r
penter
mat
h
: cle
a
nup: create separa
t
e _get_implied_value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpen
t
e
r
math: han
d
l
e
modulus
'%' ope
r
ation
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
th: handle EXPR_
P
OSTO
P
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
Carpenter
math: cleanup:
m
a
k
e handlin
g
b
in
o
ps a switch() statemen
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carp
e
nt
e
r
math: cleanup cr
e
a
te separate handle_binop()
funct
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
Carpenter
math: cleanup
.
use cast_to_type() instead o
f
re-impl
i
menting
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Ca
r
pent
e
r
math: cle
a
n
u
p
.
separate
h
andle_preo
p
() into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Ca
r
pent
e
r
equiv: f
i
x cr
a
shing bug introduced
in 8c358
8
83a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Car
p
enter
C
r
eate sep
a
rate s
m
atch_math
.
c fi
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
Carpente
r
up
d
a
t
e smatch_d
a
ta/
f
or 2
.
6
.
34-rc
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpenter
implied: clean up
make a sepa
r
ate handl
e
_zero_
c
om
p
arison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nter
eq
u
iv: han
d
le compa
r
isons wit
h
zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: cleanup separate set
_
extra_true_false()
into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpente
r
e
q
uiv, implied
:
fix handling borrow
e
d implica
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
implied: don't update the equiv
e
lent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan
Ca
r
penter
rm validation/sm
a
tch_cl
o
se
t
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n Carpenter
equiv: d
o
n
'
t overwrite the implica
t
ion
infor
m
ati
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
r
e
n
ame __set_stat
e
()
=
> _
_
set_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
ar
p
enter
ren
a
me
c
lon
e
_st
a
te() => clone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n C
a
rpenter
e
q
uiv:
preser
v
e ->
e
quiv acr
o
ss
m
erges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpe
n
ter
Use the
e
qui
v
alent variable c
o
de
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
C
a
rpenter
r
e
move trackers from ->equ
i
v
when they ar
e
no lo
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fi
x
cras
h
i
n
g bu
g
ca
u
sed by l
a
st commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rp
e
n
t
er
store information in
th
e
new dinf
o
->equiv
t
h
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
introduce add_tra
c
ker_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
m
ak
e
se
t
_
s
tate(
)
and
friend
s
return
th
e
new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nter
in
t
ro
d
uce c
l
one_tra
c
ker_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpe
n
ter
ad
d
"equiv" field to struct data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
move the alloc_
d
info() fu
n
ctions to smatch_ex
t
ra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carp
e
n
t
er
c
heck_si
g
ned: warn about comparin
g
(unsigned variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
update
v
a
lidation/sm
_
ca
s
ts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new*
smatch_scripts
/
show_errs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*n
e
w* smatch_scripts/whitesp
a
se_onl
y
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add -no-lineno option to sparse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
rpent
e
r
v
a
lidation/sm_redundant_check
.
c now it'
s
"
i
nfo"
not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpenter
ch
e
ck_precedence: print on
e
w
a
rning me
s
sage instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
p
enter
check_signed
:
handle unsigned 64 bit variables bette
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan
Carpenter
ge
t
_va
l
ue() handle some more
m
at
h
operatio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n
C
a
r
p
en
t
er
make redundant null ch
e
cks before kfree() an "in
f
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan C
a
rpenter
check_signed:
Eliminate so
m
e
false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next