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
kernel_printf: silence "specifier is cast from pointer" false positives
2018-08-29
Dan Carpen
t
er
kernel
_
pri
n
tf: silence "specifier is cast from pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
nospec: turn of
f
s
p
ecul
a
tion at rmb()
,
smb_rmb() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan
Ca
r
pente
r
check_si
g
ned: i
g
nore fa
k
e assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpen
t
er
mtag_data
:
clear cache at star
t
of
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Da
n
Carpenter
n
o
s
p
e
c
:
f
ix u
n
init
i
al
i
zed po
i
nter
c
rash
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
an Carpen
t
e
r
hel
p
er: fake cal
l
s ar
e
not
eq
u
iv
a
l
e
nt
to any
t
hin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
com
p
aris
o
n:
h
a
n
dl
e
c
ompar
i
sons
:
if ((foo = frob(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Ca
r
penter
c
o
m
parison: improve "foo =
m
i
n
(
.
.
.
)
;" assignment
h
a
n
dli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpe
n
ter
compar
i
son: h
a
ck around some type
b
ugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
m
tag_data: remove duplicate
mtag_dat
a
and
r
andom small
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan
Car
p
enter
contain
e
r_
o
f: f
i
x
a
bug in get_shared_cnt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpent
e
r
c
h
ec
k
_check_deref
:
sile
n
ce some
f
alse positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Dan Car
p
ente
r
nospe
c
:
store functions t
h
at retu
r
n nospec in
d
exes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan
Carpe
n
ter
nospec: ha
n
dle CAL
L
_NOS
P
EC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
Dan C
a
r
penter
db: introduce
t
he --db-file
=
/path/to/smatch_db
.
s
qlite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
D
a
n Ca
r
pen
t
er
u
se
r
_data2:
u
se
f
uncti
o
n
retur
n
s in points_t
o
_user_d
a
ta()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan C
a
rpenter
fi
l
es: check
f
or schem
a
file
s
r
elative to the bin_dir
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan
C
arpen
t
er
smatch
.
c:
ex
p
ort bin_dir to
ever
y
one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-10
D
an Carpenter
core: print the full
p
ath
w
he
n
--info is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
D
a
n Carpente
r
us
e
r_data
:
im
p
rove how returned data is ha
n
d
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpenter
capped: set returned
str
u
ct members to capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
Dan Carpenter
user_dat
a
: fix valid
a
tion test for returned
s
truct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpenter
impl
i
e
d: don't
print so
many "tu
r
ning o
f
f imp
l
ications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
m
tag: delete so
m
e bog
u
s
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpent
e
r
mtag_d
a
ta: update mtag_data to use get_mtag_addr_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
mtag:
fix expr
_
to_mtag_offs
e
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
enter
mtag: int
r
od
u
ce get_
m
tag_
a
ddr_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpent
e
r
pa
r
am_to_
m
tag_data: rename
"
d
ata_name" --> "name"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
m
t
a
g
:
d
on't set
the name in exp
r
_to_mtag_offset(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag_data: cache
DB res
u
lts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpente
r
extra: move get_address_rl() out
of
get_e
x
tr
a
_
s
tate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
i
m
p
licit_dependencies:
white space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpen
t
er
implicit_dependenc
i
e
s
:
o
nly enabl
e
th
i
s
with the
-
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Ca
r
pent
e
r
imp
l
icit_de
p
endencies: fi
x
a
cra
s
hing
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-30
Dan Carpente
r
implied: impr
o
ve debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag/mtag_data: re-use the same code to
s
t
ore data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
D
a
n Carpenter
Revert
"co
n
tainer_of: remove some duplicative code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mt
a
g_data:
s
pl
i
t get_mtag_rl()
i
nto two
functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan
C
arpenter
mtag: rename
g
et_db_da
t
a
_rl() => get_mtag_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
c
ontainer_of: remove s
o
me duplicative code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
n
t
er
mtag/conta
i
ner_
o
f
: the first struc
t
member can b
e
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Ca
r
pen
t
er
mtag: Use ex
t
r
a stat
e
to get mtag and
o
f
fse
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an C
a
rpenter
mtag: hook in the mtag code to check_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
validati
o
n: fix the n
e
w DB
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
arp
e
nter
mtag: improve
g
et_mtag_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Ca
r
pent
e
r
m
tag/math:
use mtag informat
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: make get_mtag_offset() giv
e
both an mtag and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Ca
r
penter
mta
g
/math/extr
a
:
sta
r
t u
s
ing
mtag
s
as pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
m
tag: ma
k
e the
nam
e
parameter
i
n
e
xpr_to_
m
tag_name_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
mta
g
: mask out the low bits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag:
t
urn off mtag
s
tuf
f
f
or 32 bit builds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
container_
o
f
:
clea
n
up s
e
t_param_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpente
r
co
n
tainer_of/mtag: fix
h
a
n
dling of pass
e
d values (as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
validation: add some mtag tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
container
_
of/mtag: use container_of i
n
formation
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
c
o
nt
a
ine
r
_of: re-write code to
r
ec
o
rd caller_info
c
ontai
n
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpen
t
er
ranges: allow svals
to
be prin
t
ed in hex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
an Carpenter
ranges: f
i
x parsing of
ulong_m
a
x
and ptr_
m
ax (
n
o
t
c
u
r
rently
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan C
a
rpen
t
e
r
contain
e
r_of: flip
the param and the value a
r
ound
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n Carpenter
address: fix add_offset_t
o
_
p
ointer()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
p
en
t
er
type: introdu
c
e get_
f
inal_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
sv
a
l: h
a
n
dle pointer math
b
e
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arp
e
nter
t
y
pe: intr
o
d
u
ce
g
et_promot
e
d
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
compar
i
s
on: ex
p
ort f
i
lter
_
compa
r
i
son()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
smdb
.
py: push all my changes to
t
his
f
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
db/kernel
.
return_fixes mi
s
c updates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Ca
r
p
e
nte
r
conditions: don't parse NULLs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/fixup_ke
r
nel
.
sh:
d
e
l
e
t
e '(union a
n
o
n
y
m
ous
)
-
>__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
flow: p
r
int slow to
par
s
e func
t
io
n
s when the --t
i
m
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Car
p
e
n
ter
e
xtr
a
:
introduc
e
value_ptr_rl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n C
a
rpe
n
ter
db: a
d
d s
o
me more schemas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/reload_partial
.
s
h
: fix for call_impl
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Ca
r
penter
db:
h
ook up call_implies
i
nfrastructure
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpenter
sval: fix
sval_is_a_min
/
m
a
x
() for smaller type
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpe
n
ter
sval: introdu
c
e sval_is_ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
db
:
U
s
e ex
t
ra sm
-
>
p
o
s
sible to decide if
s
plitting the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpe
n
ter
e
x
tra
:
in
t
roduc
e
get_extra_s
m
_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
conditions: set the
p
arent exp
r
essions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
i
mplied: set in_fake_env
w
hen we do an
a
ss
u
me
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n C
a
rpenter
slist: do a small clea
n
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
st
o
red_conditio
n
s: store
more conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
struct_assignment: handle
m
em
c
p
y
for
p
oint
e
r math better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpente
r
spectre: silenc
e
some if (array[user
_
c
o
ntrolled_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
spec
t
re: change output format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan
Carpente
r
s
pectre: remove is_read/write() chec
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpen
t
e
r
db: fix get_db_state
_
count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
helper: clean up ge
t
_
c
o
m
plication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
helpe
r
: siz
e
o
f()
i
s
not complicated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpente
r
c
o
n
d
it
i
ons: split the
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan C
a
rpenter
condit
i
ons
:
delete unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Dan Carpenter
check_user_d
a
ta: mark
k
v
m_registe
r
_read() as returnin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpent
e
r
nospec
:
if it's called
w
ith tr
u
sted data
t
hat's the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carp
e
nter
u
ser_da
t
a: don't pass *
$
as
user
d
ata
i
f
th
e
struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Ca
r
pen
t
er
c
h
eck_user_da
t
a: some u
s
e
r
dat
a
was lost
a
t
the call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan C
a
rpenter
db:
fix build bre
a
kage b
y
adding the
type_i
n
fo schema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db
:
rename ca
l
l_implies
to
r
e
t
u
r
n
_impl
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpente
r
debu
g
: i
m
p
rove buf size debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
nter
c
h
eck_signed: silenc
e
some false positives copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpenter
check_s
h
ift_to_zero:
si
l
ence some
fa
l
se pos
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
r
p
enter
check_si
z
eof
:
f
i
x a typo in the warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next