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
db: get return states from function pointers if possible
2014-05-27
Dan C
a
rpenter
db: ge
t
return st
a
tes from function poin
t
ers if possible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carpenter
propagate: r
e
move v
a
li
d
a
tion t
e
st because
we
r
emoved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
sli
s
t
: introduce merge_fake_
s
tree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Ca
r
pe
n
t
e
r
u
n
reachable: si
l
e
nce "n
o
t a
c
tu
a
lly initialized" fa
l
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
D
a
n Carpente
r
ros
e
nberg: f
i
x some false positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
D
an Carp
e
nt
e
r
debug: introduce __smatch_debug_che
c
k()
t
o debug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
D
a
n Carpenter
*
n
e
w*
c
heck_no_if_bloc
k
: som
e
times
the
if block is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Dan C
a
rpente
r
unc
o
nstant_macros:
add VM_SOFTDIRT
Y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
type
:
introduce
is_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carp
e
nter
use
r
_da
t
a: introduce implied_user
_
d
a
t
a
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Car
p
en
t
er
ro
s
enberg: refactor m
a
tch_copy_to_use
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan
Carpenter
r
osenberg: check many more functions i
n
stead
o
f j
u
st
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n C
a
rpenter
rosenberg:
a
dd m
e
mzero()
t
o
clear
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpen
t
er
param_cleared: memze
r
o
(
)
c
le
a
rs the parame
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpenter
db: split all
b
oolea
n
func
t
ions int
o
one and zero
s
tr
e
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan C
a
r
p
e
n
t
e
r
cl
e
a
r_buffe
r
:
r
emove this
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpen
t
er
p
aram_cleared: this shouldn
'
t depend
o
n --info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpen
t
er
lockin
g
:
update validation to the new err
o
r formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n C
a
rpenter
lo
c
king: u
p
date error format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
arpenter
str
u
ct_assign
m
ent: fix how smatc
h
han
d
l
e
s foo = NULL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpe
n
t
e
r
ro
s
enbe
r
g:
prepare to che
c
k pointe
r
s to str
u
cts as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
ros
e
nbe
r
g: che
c
k
f
or
h
ole
s
at the end of
the struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpe
n
ter
rosenber
g
: this ch
e
ck is kernel specif
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Ca
r
pe
n
t
e
r
unreachable: turn it on
by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
helper: introduce
g
et_pr
e
v_stat
e
me
n
t
()
(
fix
the
b
uild)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
C
arpenter
unrea
c
hable: add
w
atchdog() to
k
ernel
.
no_return_f
u
ncs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
penter
u
n
reachab
l
e: don't print a war
n
i
n
g if
w
e
jump
t
o
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpen
t
e
r
unreachable:
i
gnor
e
un
r
each
a
ble co
d
e right afte
r
an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
unreachable: tur
n
off backward labele
d
w
arning
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
u
n
reacha
b
le: add some more ma
c
ros to the
.
i
g
nor
e
a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
penter
f
low: merge
continues before the it
e
rator_p
o
st
_
statement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
f
l
ow: ha
n
dle
p
os
t
op
r
eturn s
t
atem
e
nt
s
like: r
e
turn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: ignore s
o
me conditio
n
ally unreach
a
b
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
r
p
enter
unreachable: igno
r
e
commo
n
false
p
osi
t
ives cau
s
ed by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
unreachabl
e
: ignore unreachab
l
e code
a
fte
r
BUG(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachabl
e
: move
it out of smatc
h
_flow
.
c and
s
match_s
t
ates
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpenter
a
vl
:
fix
fail
i
n
g "
s
tree->st
r
e
e_id ==
0" a
s
sert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpe
n
ter
overflow:
d
on'
t
warn if we ov
e
rflow us
e
buffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpenter
smat
c
h_type: never refer to ->
b
it_size dir
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carp
e
nter
db: function with t
o
o many poin
t
ers
to it cause slow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carpent
e
r
db: ren
a
m
e db_cal
l
back to c
a
ll
e
r_inf
o
_call
b
ack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n Carpenter
propa
g
ate:
delete th
i
s test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Car
p
enter
stored_cond
i
t
i
o
ns
:
don't store consta
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n
Carpenter
Merge gi
t
://git
.
kerne
l
.
org/pub/
s
cm/de
v
el/spa
r
s
e
/chri
s
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n
C
arpenter
states: ad
d
another read
_
o
n
ly c
h
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
pent
e
r
mi
s
sing_break: use fewer states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n Carpen
t
e
r
avl:
add a coun
t
e
r
for when you all
o
c
a
te or free a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
Carpe
n
ter
slis
t
,
r
e
turns: introduce merge_
s
tr
e
e_no_pools(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
u
n
constant_
m
a
c
ros:
allow
(foo & _PAGE_NX) e
v
e
n
when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpente
r
buf_s
i
ze:
allow strncmp("
f
oo", bar, 100) where 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
par
a
m
_
set:
only reco
r
d par
a
m
e
te
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carpen
t
er
extra: ignore struct to struct assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpe
n
ter
implied: add the stree_
i
d to debug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpe
n
t
e
r
clear_buffer:
d
elet
e
an unuse
d
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
clear_bu
f
fer:
d
elete obsole
t
e code to handl
e
struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
pe
n
ter
c
o
m
pariso
n
: don't
r
ecord that act
u
al structs
are equivale
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
assig
n
ed_e
x
p
r
: don't store fa
k
e assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpe
n
ter
d
e
b
u
g
:
c
han
g
e
__smatc
h
_cur_slist() to __smatch_cur_stree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Car
p
enter
s
tates: don't
_
_unnulli
f
y_path unne
c
essarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan C
a
rpenter
implied: smatch was s
a
ying somethings were impl
i
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
stree: fix a bunch
o
f
stree leak
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
states: merge nullify_al
l
_st
a
tes()
into save_all_stat
e
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpe
n
ter
stree: make strees copy on wri
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carp
e
nter
stree: move
st
r
ee_id into the avl
ro
o
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
C
arpenter
sl
i
st: rename slist
_
id to
stree_id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
pe
n
t
er
avl: introduce FOR_EACH_MY_SM() and ca
l
lers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpen
t
er
kunmap: update valida
t
ion file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
fl
o
w: f
i
xes for hairy functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpe
n
ter
extra: fix unknown +=
a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carp
e
nter
impl
i
ed: add a newline
t
o output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
sto
r
ed_condit
i
ons:
s
tore comparisons a
n
d not logica
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
db: fix nested
c
all
h
andli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
k
unm
a
p: tidy up error mess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
enter
co
n
dition
s
:
fix
s
ome leaks in handl
e
_select()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
slist
:
fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
pent
e
r
stree fallout: implications not w
o
r
king 100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n C
a
rpenter
s
t
ates: re
n
ame fake_cur_slist
functions to fake_c
u
r_
s
tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Car
p
enter
states: re
n
ame __print_cur_
s
lis
t
(
)
to _
_
p
rint_cur_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
avl: 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
a
vl_count() to
s
tree_cou
n
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
av
l
: use struct st
r
ee i
n
stead
o
f
making i
t
a typedef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Car
p
e
nter
avl: renam
e
struct AVL to struct stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
avl
:
r
ename avl_
c
lo
n
e to
cl
o
ne_s
t
ree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
slist: del
e
te slist compat layer and
r
emaining
u
nus
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
C
arpent
e
r
states: eliminat
e
r
e
mai
n
ing references to __get
_
c
u
r_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpente
r
states: remove so
m
e
de
a
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Car
p
en
t
er
slist: r
e
move
a
bunch o
f
unused slis
t
funct
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
core: change (str
u
c
t sm
_
state)->pool to be a stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
Carpenter
sta
r
t_states: update get_sta
r
t
_
st
a
tes() to us
e
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
r
eturns: update all
_
return_st
a
t
es_hook() to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
t
ype_val: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
C
arp
e
nter
start_stat
e
s: p
a
rtial up
d
ate to str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
match_returns: part
i
al up
d
ate to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
pa
r
am_s
e
t: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
param_limit: upd
a
te to st
r
ee
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
p
a
ram_filter: update to s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carp
e
nte
r
par
a
m_cleared: u
p
ate to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
modif
i
cation_hooks: updat
e
t
o stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
implied: update to s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
flow: update
t
o
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next