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: get return states from fu
n
ction poin
t
ers
if p
o
s
sible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Dan C
a
rpenter
p
r
op
a
gate: r
e
move v
a
lid
a
t
i
on te
s
t because we r
e
move
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
slis
t
: i
n
t
r
oduce
mer
g
e_
f
ake_str
e
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
unreachable: si
l
ence "not actu
a
lly initialized" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
D
an Carpe
n
ter
rosen
b
erg
:
fix some
f
alse
p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carp
e
nter
deb
u
g: intr
o
duce __s
m
atch_debug_
c
heck() to debug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan Ca
r
penter
*new* check_no_if_
b
l
ock: somet
i
mes t
h
e if bloc
k
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Da
n
C
a
rp
e
n
t
er
unc
o
nstant_macr
o
s:
add VM_SOF
T
D
I
RTY
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
type:
i
ntroduce is_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpe
n
t
er
user_data: int
r
oduce impl
i
ed_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
C
a
r
p
enter
rosen
b
erg: refactor m
a
tch_copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
Carpenter
rosen
b
er
g
:
check many more func
t
i
on
s
instea
d
of
j
ust
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
ros
e
n
berg: add m
e
mzero() to
c
lea
r
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpenter
param_clea
r
ed
:
m
em
z
e
r
o() clears the parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpenter
db: split all boolean
fu
n
c
tions into one and zero strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Da
n
Car
p
enter
clear_buf
f
e
r: remov
e
this code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
param_cleared: thi
s
sh
o
uldn'
t
depend on --info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
an Carpenter
l
ocking: update va
l
idation t
o
the new error formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carpenter
locking: u
p
d
a
te error forma
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
s
tr
u
ct_assig
n
men
t
:
fix how smatch
handles f
o
o = NULL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n
Carpenter
rosenberg: p
r
epare to
c
h
e
ck pointers t
o
s
t
ruct
s
as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carpenter
r
o
sen
b
erg:
che
c
k
for holes at the end of the struc
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Carpenter
rosenberg:
this
c
he
c
k is
k
ernel specif
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: tur
n
it on
b
y default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
h
el
p
er: introduce get_pr
e
v_statement()
(
f
ix the build)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unrea
c
ha
b
le
:
add watchdo
g
() to
kernel
.
no_re
t
urn_funcs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unr
e
a
c
hable: don't print a warni
n
g if we jump to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unre
a
c
hab
l
e:
i
g
nore un
r
eachable code
r
ight a
f
ter
a
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Ca
r
p
e
nter
unreachable: tur
n
off backw
a
rd labeled warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpe
n
t
er
unreachable: ad
d
some mo
r
e macros to the
.
ig
n
ore and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flow: m
e
r
ge conti
n
ues
be
f
ore the
i
t
e
rator
_
post_statement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flow: handle post op return stat
e
ments like: return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
unre
a
chable:
i
gnore some conditi
o
nally
unreac
h
a
b
le
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpente
r
unreachable:
ignore common fals
e
po
s
itives
caused by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
unreacha
b
le: ign
o
r
e
u
nreachable co
d
e after BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
unrea
c
hable:
move it out o
f
smatch_flow
.
c and smatch_states
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpenter
a
vl: fix failin
g
"stree->stree_id == 0" assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Ca
r
penter
o
v
erflow
:
don'
t
warn if
w
e overflow use
b
uffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpenter
s
mat
c
h_type: never refer to
->bit_size
d
ire
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carp
e
nter
db: function wit
h
too many pointers to
i
t c
a
use slow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carp
e
nter
db: re
n
a
m
e db_c
a
llb
a
ck
t
o
c
a
l
l
er_info
_
c
allback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n Carpenter
p
ropagate: delete th
i
s
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan
Carpenter
stor
e
d_co
n
ditio
n
s: don't store
c
o
n
stants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan
C
arpe
n
ter
Merge git:
/
/git
.
ker
n
e
l
.
org/pub/scm/
d
eve
l
/sparse/chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpe
n
ter
states: add anoth
e
r r
e
ad_only c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n Carp
e
nter
mi
s
sing_break: use fewer sta
t
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
an Ca
r
penter
avl: a
d
d
a
coun
t
e
r
f
or wh
e
n you allocate
or free a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
slis
t
,
r
eturns
:
introduce merge_
s
tr
e
e_no_pools()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan C
a
r
p
ente
r
u
n
c
o
n
stant_macro
s
: allow (foo & _PA
G
E_NX) e
v
en w
h
en
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Car
p
enter
bu
f
_size: allow strncmp("foo", b
a
r, 100) where 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpenter
param_s
e
t: only rec
o
r
d
parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
an Carpente
r
e
x
t
ra
:
ignore stru
c
t to stru
c
t assi
g
n
m
ent
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpenter
implied: add the stree_id to
d
ebug ou
t
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan C
a
rpenter
clear_buffer: delete an unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
c
l
e
a
r_buffer:
delete
o
b
solete code to h
a
n
d
le
s
truct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Car
p
enter
com
p
a
r
ison: don't re
c
ord tha
t
actual
s
t
ructs are
equ
i
valent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
assigned_expr: don
'
t store fake
a
ss
i
gnme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
debu
g
: c
h
ange __smatch_cur_sli
s
t()
t
o
_
_s
m
a
tch_cu
r
_st
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan C
a
rpenter
states:
don't
__unnullify_path unnecessari
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpenter
implied
:
sma
t
ch wa
s
sayin
g
s
o
methi
n
gs
w
e
re implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Ca
r
penter
st
r
ee:
fix a bunch
o
f st
r
ee leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan
Car
p
enter
states: merge null
i
fy_a
l
l_
s
tates() into
save_
a
ll_states(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
penter
s
t
r
ee: make st
r
ees cop
y
on write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
Car
p
en
t
er
s
t
ree: move
s
tree_id into the avl root
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
slist: rena
m
e sl
i
st
_
id to
s
tree_id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
avl: introduc
e
FOR_EACH_MY_SM() an
d
callers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n C
a
rpe
n
ter
kunma
p
: update validation file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
fl
o
w: f
i
xes
f
or hair
y
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
C
a
r
pente
r
extra: fi
x
u
nknown += as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
e
nter
implied: a
d
d a
newline to output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stored_conditi
o
n
s
:
store comparisons and
n
ot lo
g
i
c
als
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
db: fix ne
s
ted call han
d
ling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
en
t
e
r
kunmap: tidy
u
p e
r
r
or message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n C
a
rpenter
condi
t
ion
s
: fix
s
ome leaks in handl
e
_select
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Ca
r
p
enter
sli
s
t:
f
ix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stree fallo
u
t: implica
t
ions
n
ot working 100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states: rename fa
k
e_
c
ur_slist functions to fake_cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rp
e
nter
stat
e
s: rename __print_cur_slist()
to __print_cur_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
a
v
l: rena
m
e avl_free() to fr
e
e_stree
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
avl: rename
a
v
l
_count()
to stree_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpenter
avl: use struct str
e
e instead of making it a ty
p
ed
e
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
pent
e
r
avl: ren
a
me
s
tr
u
ct AVL to
s
truct stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: rename avl_cl
o
ne to c
l
o
n
e_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
slist: d
e
lete slist compat layer
and remaining unused
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rp
e
nt
e
r
states
:
eliminate rema
i
ning refer
e
n
ces to _
_
get_cur_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpenter
sta
t
es: remove some de
a
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
slist: remove a bunch of unused
s
list func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
core:
c
hange (struc
t
sm
_
state
)
->pool to be a stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpe
n
te
r
start
_
states: update g
e
t
_
start_s
t
ate
s
() to
u
se stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpen
t
e
r
r
e
turns:
updat
e
all_re
t
urn_states_hook() to s
t
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
r
penter
type_val: u
p
date
t
o
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
s
t
art_states
:
par
t
ial upda
t
e to
s
t
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
pe
n
ter
match_returns: partial u
p
date t
o
str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpen
t
er
param_set:
u
pdate to st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
param_lim
i
t: update t
o
s
tree
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
par
a
m_fil
t
er: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
param_cl
e
ared: upate to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
p
e
nter
modificati
o
n_h
o
oks: update to
s
tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
i
mplied: update
to
s
tre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
p
enter
flow: updat
e
to s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next