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
Test: ignore struct fields
2018-07-31
Andrew Aday
Test: ign
o
re struct f
i
elds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andr
e
w A
d
ay
up
d
at
e
i
m
plicit d
e
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
ndrew Ad
a
y
regen
i
m
p
licit d
e
p a
f
t
e
r
mergi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
A
day
modifi
e
d smatch to catch ms
y
nc and similar func
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
Aday
update
readme and
manu
a
lly add
d
e
ps for msync
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
Zh
u
changed outpu
t
to json
,
blackli
s
t file->fd
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andre
w
Aday
ignore py
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
A
day
python module to parse kernel
.
imp
l
ici
t
_
d
ependenc
i
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andr
e
w
Aday
kern
e
l
.
i
m
pl
i
cit_depe
n
d
e
ncies with write data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
Aday
add trac
k
ing for writes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
Add read
d
e
pend
e
n
c
i
e
s in nested i
n
line fn calls and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
n
drew
A
day
add smatc
h
_data/kern
e
l
.
implicit_dependenc
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
check_i
m
pl
i
c
i
t
_dependencies and gen scr
i
pt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
ndrew Ada
y
introduce check_implicit_depe
n
denci
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-30
D
a
n Carpente
r
implied: improv
e
debugging
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 s
a
m
e
code to stor
e
data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Da
n
Carpen
t
er
Revert "co
n
tai
n
er_of
:
remove some duplicative code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag
_
data: s
p
li
t
g
e
t_mtag_rl()
i
nto
two functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
D
an
C
arpent
e
r
mtag: rename
g
et_db_data_rl() =>
get_mta
g
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Car
p
enter
container_
o
f: re
m
ove som
e
du
p
l
icat
i
ve
cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag/
c
ont
a
i
ner_of: the first struct
me
m
ber can be a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag
:
U
s
e extra sta
t
e to get mtag an
d
offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
mta
g
: hook in the mtag
c
ode
t
o
c
heck_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
valida
t
io
n
:
f
ix the
n
ew
D
B t
e
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
mtag: imp
r
ove get
_
mtag_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpe
n
ter
mt
a
g/math: use mt
a
g information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
r
pe
n
ter
mtag:
make get_mta
g
_
o
ffset()
give bo
t
h
an
m
t
ag and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpe
n
te
r
mt
a
g/math/extra:
s
tart
usin
g
m
t
ags a
s
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mt
a
g: ma
k
e the name pa
r
ameter i
n
expr_to_m
t
ag_name_o
f
fset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mt
a
g: mask
o
ut th
e
low bits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: turn off mtag stuff for 32 bi
t
builds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an
Carpenter
container_of:
c
le
a
nu
p
s
e
t_p
a
ram_v
a
l
u
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpenter
container_of/mtag: fix handl
i
ng o
f
passed va
l
ues (as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an
Carpen
t
er
v
alidat
i
on: a
d
d some mta
g
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Ca
r
p
e
nt
e
r
c
o
ntainer_of/mtag:
u
se c
o
ntain
e
r_of
i
nformation for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Da
n
Ca
r
pen
t
e
r
co
n
ta
i
ner
_
of: re-w
r
ite
c
o
d
e
t
o
r
ecord caller
_
info
c
o
n
taine
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Da
n
Carpenter
ranges: allow svals to be p
r
inted in hex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
rang
e
s: f
i
x parsing of u
l
ong_max a
n
d ptr_max (n
o
t currently
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
contai
n
e
r_
o
f: fl
i
p
the param a
n
d the value around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Ca
r
penter
address
:
fix a
d
d_offset_to_pointer(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpenter
type: in
t
roduce
g
et_final_t
y
pe
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpent
e
r
sva
l
: handle poin
t
er math better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
n
ter
type
:
introduce ge
t
_pr
o
moted_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
e
n
t
er
com
p
arison: export fil
t
e
r_compariso
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
smdb
.
py: p
u
s
h
all
my changes to th
i
s file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpe
n
ter
db/kernel
.
return
_
f
ixes misc up
d
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Car
p
enter
condi
t
ions: don't pa
r
se NULLs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
db/fixup_k
e
rnel
.
sh: del
e
te '(union a
n
o
n
ymous)->__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
f
l
ow: p
r
int slow
to parse
functions when t
h
e
--t
i
me
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
e
r
extra: in
t
roduce v
a
lue_
p
tr_rl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
db:
a
d
d
s
ome more schemas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
te
r
d
b
/reload_par
t
ial
.
sh: fix for call
_
implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
db: hook
u
p
c
all_implies infras
t
ructure
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval: fix
s
val_is_a_min/
m
ax() for smal
l
er types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
sval: introduce sval_is_ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
pe
n
ter
db: Use ext
r
a sm
-
>
p
o
ssible t
o
decide
i
f splitting the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
ext
r
a: introduce get_ext
r
a_s
m
_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
conditi
o
ns
:
s
et the pa
r
ent expression
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
i
mpl
i
e
d
:
set in_fake
_
env when
we
d
o an assu
m
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sl
i
st: do a small
c
l
e
an up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Car
p
en
t
er
s
tor
e
d
_condit
i
ons:
store mor
e
condi
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
struct_assign
m
ent: handle
m
emc
p
y for
point
e
r math bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan
Carp
e
nter
sp
e
ctre: silence some
i
f
(
a
rray[u
s
er_controlled_of
f
se
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan
C
a
r
penter
spectre
:
change outp
u
t format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpente
r
s
pe
c
tre: rem
o
ve is_read/write()
check
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Car
p
enter
db: fix get_db_state_count
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
h
e
lper
:
clean
u
p g
e
t_complicatio
n
_
s
c
ore()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
helper: si
z
e
o
f(
)
is not
c
o
mplicated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n
Carpenter
c
onditions: split the
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Car
p
enter
conditi
o
ns: delete
u
nused fu
n
ctio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-05
Norbert Manthey
spectre: allow t
o
fla
g
all occur
r
e
nces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Dan Carpent
e
r
check_u
s
er_dat
a
: ma
r
k
kvm_register_read
(
) as returning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
n
o
spec: if it's ca
l
le
d
with trusted data th
a
t's the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
u
s
er_da
t
a: don
'
t pass *
$
as us
e
r d
a
ta if the struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n
Carpente
r
c
h
eck_user_
d
a
t
a:
s
ome user data was lost at
the call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
D
an Carpenter
db: fix bu
i
ld
b
rea
k
age by adding the
type_info
s
chema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan
C
a
rpente
r
db: re
n
ame call_implies
to
return_
i
mpli
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
D
an C
a
rpenter
de
b
ug: impro
v
e buf size debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
c
h
eck_signed: silence some
f
a
l
se positive
s
cop
y
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_
s
hift_to_zero: si
l
en
c
e some false positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_s
i
ze
o
f: fix a typo
i
n the warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
buf_size: fix recording glo
b
a
l
sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
n
t
er
buf
_
comparison: don't sav
e
l
i
nks to li
t
eral sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carp
e
nter
comparison: add some debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
d
b:
don't split
NULL a
n
d no
n
-NU
L
L unnecessarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
C
ar
p
ent
e
r
db: fix a
NULL dere
f
er
e
nc
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
ter
db: set
t
he CACHE_PAGES size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpenter
db:
i
ntroduce the ca
c
he_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: cl
e
an up t
h
e
code a
n
d export
s
o
me mor
e
f
u
n
c
t
i
on
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
nter
extra: use PARAM_
L
IMIT
to limit binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
flow: nest some inline statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
mo
d
i
f
icat
i
on_hooks: don
'
t allow mul
t
iple modification
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpenter
compar
i
son: don't s
a
v
e co
m
parison
s
to oneself
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
comparison:
a
dd s
o
me parenthe
s
i
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
D
an Carpenter
validat
i
on
:
f
i
x up some
f
ailures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpent
e
r
compari
s
on
:
fix filter_
b
y_
c
o
m
parison
=
=
for range
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan
C
arpenter
extra: j
u
st
s
et
sval assignments
di
r
e
ct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carp
e
nter
check_spectre: ign
o
r
e masked off d
a
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
an
C
arpenter
spe
c
tre: u
s
e t
h
e
n
ew is_user_
r
l() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
an Carpenter
use
r
_data:
s
ilence some more ntohl(fo
o
[i]); false pos
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next