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: be more ambitious handling right shifts
2014-05-29
D
an Carpenter
m
ath: be
m
ore a
m
bitious
handl
i
ng rig
h
t
shifts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Car
p
enter
user_data: ks
t
rto
u
l() and friends should taint data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carp
e
nt
e
r
extra:
mo
r
e l
i
mits on which var
i
ables are equival
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
Da
n
Carpenter
db: get re
t
urn
s
tates from
functio
n
pointers if possible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carpenter
p
r
o
pagate
:
remove vali
d
ation test because we removed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpe
n
te
r
slist: introduce mer
g
e_fake_str
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Car
p
e
n
t
er
u
n
reachable
:
s
ilenc
e
"not
a
ctu
a
lly initialized" fals
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
rosenberg: fix
some false positi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpent
e
r
debug: introduce __smatch_debug
_
ch
e
ck(
)
t
o
d
e
bug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpente
r
*new* check_no_if_block: som
e
ti
m
e
s
the if block
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carpenter
unco
n
stant_macros: add VM_SOFTDIRT
Y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan C
a
r
p
enter
type: intr
o
duce
i
s
_st
r
in
g
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
Carpenter
u
s
er_data
:
intr
o
d
u
ce imp
l
i
ed_user_d
a
t
a
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
an
Carpen
t
er
rosenberg: re
f
actor ma
t
c
h
_
copy_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carp
e
nter
r
o
senberg
:
check ma
n
y more functions
i
nstead of jus
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan
C
arpen
t
er
ro
s
enberg: add
m
emzero() to clear functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpenter
p
aram_
c
lea
r
e
d
: memzero()
clears the parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Ca
r
p
e
n
te
r
db: spl
i
t all boolean function
s
i
n
t
o
o
ne and zero
strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpe
n
ter
clear_buffer: rem
o
ve this
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpe
n
ter
par
a
m_clear
e
d: this shoul
d
n't depend on --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
n
ter
l
ocking: update val
i
dation to the new error formation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Car
p
enter
locking: update e
r
ror
format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpenter
struct_assignment: fix
how smatch handles foo =
N
ULL;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenberg
:
prepare to check
p
o
i
n
t
ers to s
t
ructs
a
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Car
p
e
n
ter
rosenberg: check for hol
e
s a
t
the e
n
d of the struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenberg:
t
his check is k
e
rnel specific
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpent
e
r
unreachable: turn it on by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
e
r
h
el
p
er: introduce get
_
prev
_
stateme
n
t()
(fi
x
the build)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
unreacha
b
l
e
: add
wat
c
hdog
(
)
t
o k
e
rnel
.
no_return_funcs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unre
a
chab
l
e: don't
p
r
int a warnin
g
if we ju
m
p to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an
C
a
r
p
e
n
ter
u
n
r
eachabl
e
: i
g
nore u
n
reachable co
d
e right after an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nter
unrea
c
hable: turn
off backward labeled warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreach
a
b
le: ad
d
some
mo
r
e
macros
to
t
h
e
.
ignore a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
f
low: merge continues before the ite
r
ator_p
o
st_statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
en
t
e
r
flow: handle
post op retu
r
n st
a
temen
t
s
like:
return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreacha
b
le: i
g
nore some
condi
t
ionally
u
nreachable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
C
arpente
r
u
nreachable: ignore com
m
on
f
alse
p
o
s
itives caused
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Ca
r
pen
t
er
un
r
eachable: ig
n
ore un
r
e
a
chab
l
e code
a
ft
e
r
BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpent
e
r
un
r
eachable: move it out of smatch_flow
.
c and sma
t
ch_sta
t
es
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan
Carpenter
avl:
fix fa
i
ling "
s
tree->s
t
ree_i
d
== 0" assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan
C
a
rpenter
ov
e
rflow:
d
o
n't
warn i
f
w
e
o
v
e
r
flow u
s
e b
u
f
f
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpe
n
t
e
r
sm
a
tch_t
y
pe: never refer to
->
b
it_size dire
c
t
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpenter
db: functi
o
n with too m
a
ny pointers to it c
a
use slow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carpenter
db: rename db_call
b
ack to ca
l
l
e
r_info_callb
a
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Da
n
Carpenter
pr
o
pag
a
te: delete this test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
stor
e
d_conditions: don't s
t
o
r
e
consta
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carp
e
nter
M
erge git://
g
it
.
ke
r
nel
.
org/pub/sc
m
/deve
l
/sparse/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
states: add anothe
r
read_only ch
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
missi
n
g_break: us
e
fewer states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpe
n
ter
avl: ad
d
a
c
ounter
f
or when you
a
llocat
e
or
f
ree a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpe
n
ter
slist, returns: introduc
e
me
r
ge_stre
e
_no_pools()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan
C
arpen
t
er
unconstant_macros:
allow (foo & _PAGE_NX) even
when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
buf_size: all
o
w strncmp("foo", ba
r
, 100)
wh
e
re 100
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carp
e
n
t
er
param_set:
o
nly recor
d
p
a
ramete
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpe
n
te
r
extra: ignore struc
t
to s
t
ruct ass
i
gnm
e
nt
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
implied:
a
dd the stree_i
d
to debug o
u
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpent
e
r
cle
a
r_buffe
r
:
d
elete a
n
u
n
u
sed function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
Carpenter
clear_buff
e
r: delete obsolete c
o
d
e to han
d
le st
r
uct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpenter
comparison: d
o
n
'
t
r
e
c
ord that actual struc
t
s are equivalent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
assigned_expr
:
d
on't
s
tor
e
fake a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Car
p
e
nter
d
ebug: change
__sma
t
ch_cu
r
_slist()
to
__smatch_cur_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan
C
arpenter
states: don't __unn
u
llify_path u
n
necess
a
ri
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan
C
arpenter
implied: smatc
h
was saying somet
h
i
n
g
s
were
implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpe
n
te
r
stree: f
i
x a
bunch of stre
e
l
eaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
st
a
tes:
merge nullify_all_states() int
o
save_a
l
l_states
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
r
penter
stree: mak
e
stre
e
s c
o
p
y on writ
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stree: move st
r
ee_id in
t
o the
avl
r
o
ot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
slist
:
rename s
l
ist
_
id to stree_id
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
avl:
i
ntro
d
uce
F
OR
_
EACH_MY_SM() and calle
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
kunmap: update validation file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpent
e
r
flow: fixes
f
o
r
hair
y
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpent
e
r
extr
a
:
f
i
x
u
n
k
nown
+= assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
implied: ad
d
a new
l
i
ne to ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
sto
r
e
d
_
c
onditions: store compa
r
isons and not log
i
c
als
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpent
e
r
db:
f
i
x
n
e
sted call
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpent
e
r
k
unmap:
t
idy up error messag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
enter
c
onditio
n
s: fix
some leaks in
h
a
ndle_select(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nter
slis
t
: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpen
t
er
stree fallout: im
p
li
c
ations not
w
orking 100
%
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states: rename
f
ake_cu
r
_
s
l
ist functions to fa
k
e_cur_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
C
a
rpente
r
states: rename __print_cur_slist() to __prin
t
_cur_str
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
C
arpenter
a
v
l:
rename avl_free(
)
to
f
ree_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: re
n
ame avl_count() to stree_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: use struct str
e
e instead of m
a
k
ing
i
t a ty
p
edef
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rp
e
n
t
er
a
v
l:
ren
a
me s
t
ruct
A
VL to struct s
t
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an
C
arp
e
nter
avl: rename avl
_
clone
t
o
clone
_
stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
s
li
s
t: d
e
l
ete slist compat la
y
er an
d
remaini
n
g unused
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
e
r
stat
e
s: eli
m
inate remainin
g
references to _
_
get_cur_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
C
arpenter
states: remove some dead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
slist: remo
v
e a bun
c
h of unus
e
d slist functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
core: change (stru
c
t sm_state)->poo
l
to be
a
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
Carpenter
s
t
art
_
states: update get_start_states() to
use
s
tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
ret
u
rns:
up
d
ate all_return_states
_
hoo
k
(
)
to str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpe
n
t
e
r
type
_
val: update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
start_stat
e
s:
p
ar
t
ial update
to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpente
r
match_return
s
:
partial upd
a
te to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
r
p
enter
pa
r
am_set: update to
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
p
aram_lim
i
t
: update to str
e
e
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
param_f
i
lter: update
t
o
s
tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
C
arpenter
p
a
ram_
c
leared
:
upate to
s
tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next