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
struct_assignment: introduce get_faked_expression()
2014-05-29
Dan Carpente
r
struct_assi
g
nment: introduc
e
get_faked_express
i
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan
C
arpenter
struct
_
assignment: han
d
l
e memcpy(foo,
.
.
.
) wh
e
re foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Da
n
Carpenter
math: be more ambitious handling r
i
ght shifts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
us
e
r
_
d
ata: ks
t
rtoul()
and friends should taint data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
D
an Carpe
n
ter
extra:
m
ore limi
t
s on
w
hich variables are
e
q
uivalent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
Dan Carpenter
d
b
:
g
e
t
r
eturn
s
tates from
function poi
n
ters if possible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
D
a
n Carpenter
prop
a
ga
t
e: r
e
move vali
d
ation test
b
e
cau
s
e w
e
removed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
s
list: intro
d
uce merg
e
_
fake_stree
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
unreachable
:
silence
"
no
t
actually initi
a
lized
"
f
alse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan
C
a
rp
e
nter
rosenberg: fix som
e
false p
o
sit
i
v
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpenter
debu
g
: introduce __s
m
atc
h
_
deb
u
g
_check() t
o
de
b
ug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Dan
Carpe
n
ter
*new* check_no_i
f
_
b
l
o
ck: so
m
etimes t
h
e
i
f bl
o
ck
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carpenter
unconst
a
nt_macros: add VM_SOFTDIR
T
Y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
type:
i
ntroduce is_str
i
ng()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
C
arpe
n
ter
u
s
er_data: in
t
ro
d
u
ce im
p
lied_user_da
t
a()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosenberg: refac
t
or match_copy_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Ca
r
penter
ro
s
enberg: ch
e
ck ma
n
y more fun
c
tions i
n
st
e
ad of just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
r
o
senberg: add
memzero
(
) to clear funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpenter
param
_
clear
e
d: memzero() clears t
h
e par
a
meter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
arpenter
db: split all boolea
n
functions into
o
ne and z
e
ro strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
D
an
Carpenter
clear_
b
uffer: remove thi
s
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nter
para
m
_cleared: this sh
o
uldn't depend on
--info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpente
r
locking: update va
l
idation to
the n
e
w
e
rror fo
r
mation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nter
loc
k
ing: u
p
dat
e
error
format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
rpenter
struc
t
_a
s
sig
n
ment:
f
ix how smat
c
h
h
an
d
l
e
s
foo =
NU
L
L
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an
C
a
r
pent
e
r
rosenberg: pr
e
pare to ch
e
c
k
p
ointe
r
s to struc
t
s as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
r
o
senberg
:
chec
k
for holes at
t
he e
n
d of
the s
t
r
uct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
arpenter
rose
n
berg: t
h
is che
c
k is ker
n
el sp
e
ci
f
ic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
unreac
h
a
ble:
t
urn
i
t
on by d
e
fault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
helpe
r
: introduce get_prev_st
a
tement(
)
(fix the
build)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpenter
unreachabl
e
: add wa
t
chdog(
)
to k
e
rnel
.
no_return_
f
uncs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nter
u
nreachable: don't print a
w
a
r
ning
i
f
w
e jump to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: ignore unreachable code right aft
e
r an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
un
r
e
a
chable:
t
urn off
b
ackwar
d
labeled warn
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpent
e
r
u
n
reacha
b
le:
add some more
macros to the
.
ig
n
ore and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpenter
f
low: merge continues before the iterator_post_statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flo
w
:
h
andle
p
ost op r
e
turn statements lik
e
:
return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
n
reacha
b
le: igno
r
e some conditionall
y
u
nreac
h
able
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
unreach
a
b
le: igno
r
e common false positi
v
es caused by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unr
e
achable: ignor
e
unreacha
b
le code after BUG
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
n
reachabl
e
:
m
ove
it out of smatch_flo
w
.
c and
sm
a
t
c
h_stat
e
s
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carp
e
n
t
er
avl: fix failing "stree-
>
str
e
e
_
i
d ==
0" as
s
ert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpenter
o
verflo
w
: d
o
n't warn if we o
v
erflow u
s
e buffers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpent
e
r
s
match_type:
nev
e
r refer
t
o
->bit_size d
i
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpent
e
r
db: fu
n
ction with too many pointer
s
to it cause sl
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carpenter
db: rename db
_
callba
c
k
to caller_info
_
callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan C
a
rpente
r
p
r
o
pagate: del
e
te
th
i
s te
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpente
r
st
o
red_condit
i
ons: don't store constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Da
n
Carpenter
Merge git://git
.
k
er
n
el
.
org/p
u
b
/
s
cm/devel/sparse
/
c
h
risl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
an Carpenter
states: add ano
t
her read_on
l
y check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
an Carpenter
missi
n
g
_
bre
a
k: use
fewer s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan C
a
rpenter
avl: ad
d
a counter
f
or when you
allo
c
ate or
free a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
an Carpenter
slis
t
, returns:
i
n
tro
d
uce merge_stre
e
_no_pools
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n Ca
r
pe
n
ter
u
n
c
o
nstant_m
a
cros: a
l
low
(
foo & _PAGE_NX) even when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carp
e
n
t
er
buf_size:
allow strncmp("fo
o
", bar, 100) where
100
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carp
e
nter
pa
r
am_set: only record parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpenter
ext
r
a
: ign
o
re str
u
ct to struct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpen
t
e
r
implied: add the
s
tree_id
to debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
pe
n
ter
clear_
b
uff
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 o
b
so
l
ete code to handle stru
c
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
Carpenter
compar
i
s
o
n:
d
o
n
'
t record t
h
at
actual structs a
r
e equivalen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
assi
g
ned_expr:
d
o
n
't store
fake as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpent
e
r
debug: change _
_
s
match_cu
r
_slist() to
_
_sm
a
tch_cur_s
t
ree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan
C
a
r
penter
states:
do
n
't __unnullify_pat
h
unnecessarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan
C
ar
p
enter
implied:
s
match was saying somethings were
implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan
C
arpenter
stree
:
fix a bunch of st
r
ee l
e
a
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpe
n
te
r
states: merge
nullify_all_states()
i
n
to s
a
ve_all_sta
t
e
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
pente
r
stree: make str
e
es copy o
n
write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpenter
stree: move stree
_
id into the avl root
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arpen
t
e
r
s
list: rename slist_
i
d to stree_id
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpent
e
r
avl: introd
u
c
e FOR_EACH_MY_SM() and callers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
kunmap: update validat
i
on file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
fl
o
w:
f
ixes for
h
airy fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
extra:
fix u
n
known += as
s
ig
n
me
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpen
t
er
implied: add a newli
n
e
to output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
en
t
er
stored_condit
i
o
n
s: store
comp
a
rison
s
and not logica
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n C
a
rpen
t
e
r
db
:
fix nes
t
ed
c
a
l
l handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nter
kunmap: tidy up er
r
o
r message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Car
p
enter
conditions: fix
some
leaks in
hand
l
e_sel
e
c
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arpent
e
r
s
l
is
t
: fix a le
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpen
t
er
stree fa
l
lo
u
t: im
p
lications not
w
o
r
ki
n
g 100%
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states: re
n
ame fake
_
cur_
s
list functio
n
s t
o
fa
k
e_cur_s
t
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpe
n
t
er
s
t
a
tes: rename __pri
n
t
_
cur
_
sl
i
st(
)
to _
_
print_cur_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl:
r
ename avl_free() to free_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl:
r
e
n
ame avl_c
o
unt() to stree_coun
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
avl: use s
t
ruct s
t
r
ee ins
t
ead o
f
m
ak
i
n
g
i
t
a
type
d
ef
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
av
l
: rename struct AVL
t
o struct
s
t
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
C
a
r
pent
e
r
avl: rename avl_clone to clon
e
_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
slist
:
delete
slist compat layer and remaining
unused
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpe
n
ter
st
a
tes: eliminate remai
n
ing references to __get_cur
_
slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
stat
e
s: remove so
m
e dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
s
l
i
s
t:
remov
e
a bunch
of unused slist fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpen
t
er
core: c
h
ange (s
t
r
u
ct sm_state
)
->po
o
l
t
o
b
e a stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
start_
s
tate
s
: update
get_star
t
_
s
tates() to use stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
returns: update all_
r
e
turn_
s
tates_h
o
ok
(
) to
s
t
r
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Car
p
enter
t
y
p
e
_
v
a
l
: update to stre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
s
tart_states: partial update to stre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
m
atch
_
returns:
p
a
rtial u
p
dat
e
to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
C
arpenter
param_set: up
d
ate t
o
s
tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
rpenter
param_
l
i
m
it: up
d
ate to stree
commit
|
commitdiff
|
tree
next