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
slist: introduce merge_fake_stree()
2014-05-22
Dan Carpe
n
ter
s
l
ist
:
introduce
merge_fake_str
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan
Car
p
ent
e
r
unr
e
achable: s
i
lence "not actually
i
ni
t
ialized"
false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
rosenberg:
f
ix some fa
l
se p
o
siti
v
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
D
a
n
Carpen
t
er
debug
:
int
r
oduce
__smat
c
h_d
e
b
u
g_
c
heck() to debug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpenter
*
n
ew*
che
c
k_no_if_block: sometimes the if block is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carp
e
nt
e
r
unconstant_macros: add VM_SO
F
TDIRTY
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
type:
i
nt
r
oduce is
_
string()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan
Carpenter
user_da
t
a: introduce
i
mplied_u
s
er_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
an C
a
rpe
n
t
e
r
rosenbe
r
g: refact
o
r mat
c
h_c
o
py_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n
C
arpenter
r
osenberg: check
man
y
more fu
n
ctions
i
nstead of just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpen
t
e
r
rosenberg:
add memzero() to clear functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpenter
param_c
l
eared
:
me
m
z
e
ro() clears the
p
ara
m
e
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
D
a
n
Carpe
n
ter
db:
spli
t
all boolean functions int
o
one
and zero s
t
re
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
arpent
e
r
c
le
a
r
_b
u
ffer: remove this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
p
aram_cl
e
ared: this shouldn't depend on --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nter
locking:
u
pdate validation to the new
e
rror for
m
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locking
:
update e
r
ror f
o
rmat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n
Carpenter
struct_ass
i
gnment: f
i
x how smatch handles foo = NULL
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Carpe
n
ter
rose
n
berg: prepare
t
o
check pointers to st
r
ucts as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpenter
rosenberg:
c
heck
f
or holes at
t
he end of the stru
c
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenberg: this
c
h
eck is kernel s
p
ecific
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpen
t
er
unreachable: turn i
t
on by
default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carp
e
nter
helper:
i
ntroduce get_prev_statement() (fix the bu
i
ld)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
nreachable: add wa
t
chdog() to kernel
.
n
o_r
e
t
u
r
n
_fu
n
cs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
C
arpenter
unrea
c
hab
l
e: don't print
a
war
n
ing
if we jump to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arp
e
nt
e
r
unreachable: igno
r
e unre
a
chable code right
afte
r
a
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carp
e
nter
u
nreachable: turn off backward labeled warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
u
n
re
a
chable: add some more macros
t
o the
.
ignore and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Car
p
enter
flow:
merge continues be
f
ore
the
i
t
erator_post_statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flow: ha
n
dle
post
op return statements like: ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
unreac
h
able:
i
g
n
or
e
some conditiona
l
l
y
unreac
h
able
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
unreachab
l
e: igno
r
e c
o
mmon fals
e
po
s
itiv
e
s caused
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: ignore unrea
c
hab
l
e code after BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
unrea
c
hable: move it
o
u
t of smatch_f
l
ow
.
c
an
d
s
m
atch
_
states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Da
n
Carpenter
a
v
l
:
f
i
x
f
ailing "str
e
e->stree_id ==
0
" assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Da
n
Carpenter
overflow: do
n
't
warn if
w
e
overflow use
buffers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpenter
smatch_type: never refer to ->
b
it_size
d
ir
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpenter
d
b
: function with too many pointers to it ca
u
se
s
low
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
Dan Car
p
enter
d
b:
rename d
b
_
ca
l
lback to caller
_
inf
o
_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpe
n
ter
propagate: delete this
t
est
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan C
a
rpen
t
er
s
t
ored_conditions:
d
on't sto
r
e
constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpente
r
Merge g
i
t://git
.
kernel
.
org/pub/scm/dev
e
l
/
spar
s
e/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpen
t
er
states: add another read_only check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Car
p
ente
r
m
i
s
s
ing_break: use
f
ewer states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan C
a
rpe
n
t
er
a
v
l
:
add a c
o
u
n
t
e
r
for
when you
allo
c
ate or free a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpen
t
er
slist, r
e
turn
s
:
i
n
trodu
c
e merge_
s
tree_no_
p
o
ols()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan
Carpenter
u
ncon
s
tant_macros: allow (foo &
_
P
AGE_NX
)
even when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
Carpenter
buf_size: allow strncmp("foo", bar
,
100) where 100
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpent
e
r
p
ara
m
_
s
et:
o
nl
y
record
parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpent
e
r
extra: i
g
no
r
e
struct to
s
truct
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
penter
implied: add
the stre
e
_
i
d to debu
g
ou
t
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpent
e
r
clear_buff
e
r: delete
an unused function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
clear_buffer: delete
obso
l
ete code
t
o handle
struc
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
penter
co
m
parison: d
o
n't recor
d
that actual structs are equivalent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpent
e
r
assigned_expr: don
'
t sto
r
e fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpente
r
debug: chan
g
e __sma
t
ch_
c
ur_slist() to __
s
match_cu
r
_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Da
n
Carpenter
states: d
o
n't __
u
nnullify_path
u
nnecessaril
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpenter
implied
:
smatch was saying so
m
ethings
were impli
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
D
an
C
arpen
t
er
stree: fix a bunch of s
t
ree leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan
Carpen
t
er
s
tat
e
s: merge n
u
llify_all
_
states() into
s
ave_all
_
states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
enter
stree: mak
e
strees copy on write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arpenter
s
tree: m
o
ve stree_i
d
into the avl ro
o
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpen
t
e
r
slis
t
:
r
ename slist_
i
d to st
r
ee_id
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
a
vl: int
r
odu
c
e FOR_EAC
H
_MY_SM() an
d
callers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpen
t
er
kunmap:
up
d
ate
v
alidat
i
on
f
ile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
p
e
nt
e
r
flow: fixes
f
or hairy fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
extra: fix unknown +
=
ass
i
g
n
m
en
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
impli
e
d: add a newli
n
e to outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stored
_
c
o
ndi
t
ions: stor
e
comp
a
ri
s
ons
a
nd
n
ot logi
c
a
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
d
b: fix n
e
st
e
d
c
all handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpente
r
k
unmap: tidy up error mess
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
a
rpenter
conditions: fix some lea
k
s in handle_select()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
penter
s
list: fi
x
a le
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
stree fallout: implications not
working 100%
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
st
a
tes: rena
m
e fake_c
u
r_slist function
s
to fake_cur_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpe
n
ter
states:
r
ename __print_c
u
r
_
slist()
to
__print
_
cur_s
t
ree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carp
e
nter
av
l
: rename av
l
_free
(
)
t
o free_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpente
r
avl: rename avl_cou
n
t(
)
to stree_c
o
unt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: use struct stre
e
instead of making it a typed
e
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
avl: r
e
name s
t
ruct AVL t
o
stru
c
t stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
avl:
r
ename
avl_
c
lone t
o
clone_stree(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
slist: delete slist compa
t
layer
a
nd remaining unused
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an
Ca
r
penter
states: elimin
a
te re
m
aining references to __ge
t
_cur
_
slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states: remove some
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an
Carpenter
s
list:
r
emov
e
a
bunch of unused slis
t
fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Ca
r
pen
t
er
cor
e
:
c
hange
(struct sm_state
)
->
p
ool to be
a stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpent
e
r
start_
s
t
ates: upd
a
te
get_start_states(
)
to use stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
r
eturns: update a
l
l_re
t
urn_states_hook(
)
to str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
type_val: update
t
o stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
start_state
s
: partial update to st
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
match_returns: pa
r
t
i
al update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
par
a
m_s
e
t: update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
param
_
limit: update to stree
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
pe
n
ter
par
a
m_filter: update
t
o stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpen
t
er
p
a
ram_cleared:
u
p
ate to str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
modific
a
tion_hooks: update to st
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
implied: update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpent
e
r
flow:
update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
extra: update
almo
s
t
e
verythi
n
g here
to use stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an
Carpe
n
ter
condi
t
ions: up
d
ate
t
o us
e
st
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next