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
mtag_data: update mtag_data to use get_mtag_addr_sval()
2018-07-31
Dan
Carpenter
mtag_data: update mtag_data to use
g
e
t_mta
g
_addr_sv
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpente
r
mtag:
f
ix expr_to_mtag_offse
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
an C
a
r
pen
t
er
m
t
ag:
introduce g
e
t_mtag_addr_
s
va
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
an
Carp
e
n
t
er
p
a
ram_to_mta
g
_data: ren
a
me "
d
ata_name" --> "na
m
e"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: don't set t
h
e
n
ame in expr_to_mta
g
_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpent
e
r
mtag_
d
ata: cache DB results
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
enter
extra: move get_
a
d
d
ress_rl() o
u
t of
g
et_extra_stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
imp
l
icit_dependencie
s
:
w
hite
space
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpent
e
r
impl
i
cit_dep
e
nde
n
cies:
o
nly enable thi
s
with the -
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
implic
i
t_dependencies: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
A
da
y
saved no_
S
truct gra
p
h and begin arg filtering
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andr
e
w Aday
Gen
e
rate json for without s
t
ructs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
Test: ignore struct f
i
elds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
update
i
mplicit de
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andr
e
w Aday
r
egen implicit dep af
t
er mergi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
An
d
rew Aday
modified
smatch
to
c
at
c
h msync and sim
i
lar funcs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
An
d
r
e
w Aday
up
d
at
e
readme
and
m
a
n
ua
l
ly add deps for
msync
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Zhu
c
h
ange
d
output to json,
blac
k
list file->fd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
And
r
ew
A
day
ig
n
ore py
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
python module to par
s
e ker
n
el
.
implic
i
t_dependencies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
ke
r
n
e
l
.
implicit_dependencies with write data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
An
d
r
e
w Aday
add tracking f
o
r wri
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andre
w
Ada
y
Add read
depen
d
en
c
ies
i
n
n
ested inline fn call
s
an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
add
s
m
atc
h
_
d
a
ta/ker
n
el
.
imp
l
icit_dependencies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
check_
i
mplicit_depende
n
cie
s
a
n
d gen
script
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andr
e
w
A
day
introduce check_implicit_dependencies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-30
Dan Carpenter
i
m
plied: imp
r
ove
d
ebugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag
/
mt
a
g_data
:
re
-
use the same code
t
o st
o
re data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan
Car
p
ent
e
r
Revert "con
t
ainer_of: remove some dup
l
icative
c
ode
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Car
p
e
nter
mtag_data: split get_mtag_rl() into two functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan C
a
rpenter
mtag: ren
a
me get_db_data_rl() => g
e
t
_
m
ta
g
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
c
o
n
t
ai
n
er_of:
r
emo
v
e some duplicative
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpenter
mt
a
g
/
co
n
t
ainer_of: th
e
first struct
member can be
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag
:
Use extra
state to get
m
t
a
g and offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpe
n
t
er
mtag:
h
ook in the
m
ta
g
code to check_l
i
st
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
an Carp
e
nter
vali
d
ation: fi
x
th
e
new DB tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: improve get_mtag_sval(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
mtag/math: use
m
tag
i
nfo
r
mation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
arpenter
mtag: make g
e
t_mtag_offset() give b
o
th an mtag
a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
m
t
ag/math/e
x
tra:
s
ta
r
t using mtags as pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n
Carpenter
mtag: make the name
p
a
r
ameter i
n
e
xpr_to_mtag_nam
e
_o
f
fset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpe
n
t
er
mtag: ma
s
k out t
h
e low bits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
arpenter
mtag: turn o
f
f mtag
stuff
f
or 32 bit builds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
container_of: cleanup set_param_
v
alue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
container_of/mtag: fix ha
n
dling of pass
e
d v
a
lues (as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
r
p
enter
validation:
a
d
d
some m
t
ag te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpenter
container_of/mtag: use container_
o
f
information for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
D
an Carpenter
co
n
tainer_of: re-w
r
ite code to record
caller_info containers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carp
e
n
ter
ranges:
a
llow
s
val
s
to be printed in hex
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Ca
r
pen
t
er
ranges: fix parsing
o
f ulong_max
and ptr_m
a
x
(
not currently
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
c
o
n
t
ainer_of: flip
th
e
param an
d
t
h
e value arou
n
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
a
ddress:
f
ix ad
d
_offset_to
_
pointer()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
ty
p
e: int
r
oduce get_final_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
s
val:
h
andle p
o
inter mat
h
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
type: i
n
trodu
c
e get_promoted_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Ca
r
penter
c
o
m
parison: e
x
por
t
f
i
l
t
er_compariso
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpent
e
r
smdb
.
py:
p
u
sh all my chang
e
s to this file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpen
t
e
r
db/kernel
.
return
_
fixes
m
isc
u
pdates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
cond
i
t
i
ons: don't p
a
r
s
e NULLs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/fixup_kernel
.
s
h
:
d
e
lete '(union anonymous
)
-
>
__val
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
flow: prin
t
slow to parse fu
n
cti
o
n
s when the --tim
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
e
xtra: i
n
troduce valu
e
_pt
r
_rl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
t
er
db: add
som
e
more schemas
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carp
e
n
t
er
db/reload_parti
a
l
.
sh:
fix fo
r
c
al
l
_
implies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db: hook up c
a
ll_impl
i
e
s
infra
s
tructure
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
sval: fix sva
l
_is_a_m
i
n/max() fo
r
small
e
r
types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
s
v
al: i
n
tro
d
uce sv
a
l_is_ptr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
db: Use extr
a
sm-
>
p
ossible to de
c
ide if
splitti
n
g the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
extra
:
int
r
oduce get
_
extra
_
sm_s
t
ate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
con
d
itions: set the pare
n
t expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
impl
i
ed: set in_fake_en
v
when we d
o
a
n
assume()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
slis
t
: d
o
a
s
mall cl
e
an
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
stored_c
o
n
d
itions: stor
e
more conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
s
t
ruct_assignment
:
handle
mem
c
py f
o
r pointer math b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
D
a
n
C
ar
p
enter
spec
t
re: sile
n
ce some if
(array[user
_
c
ontrolled
_
offse
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
spectre: change ou
t
put
f
o
rmat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpent
e
r
spectre: remove is_r
e
ad/write
(
) checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
d
b: f
i
x ge
t
_db_sta
t
e_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpe
n
t
e
r
h
elp
e
r: clean up ge
t
_
c
omp
l
ication_s
c
o
r
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
an Carp
e
nt
e
r
helper: size
o
f
(
) is no
t
c
o
mplicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpe
n
te
r
conditions: spl
i
t the zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carp
e
nter
conditions: delete unus
e
d fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-05
Norbert Manthey
s
p
ectre
:
allow
to flag all
o
ccurre
n
ce
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-03
Dan Carpent
e
r
check_user_data
:
ma
r
k
kvm_
r
e
g
ister_read() as returning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n
C
arpenter
n
o
s
p
ec: if it's called with
trus
t
e
d data that's the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan C
a
rpenter
user_data: don't pass *$ as
user da
t
a i
f
the struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Da
n
Car
p
enter
chec
k
_user_data: s
o
me user data
was lost at the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n
Carpenter
db: fix build breakage by
adding the type_info sche
m
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpent
e
r
db:
ren
a
me
call
_
implies to ret
u
rn_implies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan
C
arpent
e
r
debug:
i
mprov
e
b
uf
s
ize debuggin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
c
h
eck
_
signe
d
:
silence some false
p
o
s
i
t
i
v
es copying
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_shift_to_zero
:
sil
e
nce some
f
als
e
p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_sizeof: fix a
typo in
t
he warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Car
p
en
t
er
buf_size:
f
i
x r
e
cordin
g
globa
l
size
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
ente
r
b
u
f_com
p
ar
i
son: d
o
n't sa
v
e l
i
n
k
s to
l
iteral sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
c
o
mp
a
rison: add s
o
me debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b: don't spli
t
NUL
L
a
n
d n
o
n-N
U
LL
u
nnecessa
r
ily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carpente
r
db: fix a NUL
L
dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: set the C
A
CHE_PAGES siz
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
Carpenter
db: intro
d
uce the cache
_
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next