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
debug: introduce __smatch_mem()
2018-08-10
D
a
n Carpenter
c
ore:
print the full path when --inf
o
i
s used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan C
a
rpenter
u
s
e
r
_
d
ata: improve
h
ow
returned data is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpe
n
ter
capp
e
d: set re
t
urned
s
truct mem
b
e
rs
to capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
Dan Carpe
n
ter
user_data: fix validation
t
est for returned struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpent
e
r
implie
d
: do
n
't print so many "turni
n
g
o
ff implicatio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
mt
a
g
:
del
e
t
e
so
m
e bogus code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mt
a
g_data: up
d
ate mtag_data
to
u
se get_mt
a
g_addr_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
mtag: fix expr_to
_
mtag_o
f
fset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpenter
mtag
:
i
n
troduc
e
get_mtag_a
d
dr_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Car
p
enter
para
m
_t
o
_mtag_data: rename "data_
n
ame" --> "n
a
m
e
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpen
t
er
mta
g
: don't set
t
he n
a
m
e
in
expr_
t
o_mtag_o
f
f
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carp
e
nter
mta
g
_d
a
ta:
c
a
c
he DB results
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
a
rpenter
extra: mo
v
e g
e
t_address_rl()
o
u
t of
g
et_extra_
s
tat
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
e
n
ter
implicit_d
e
penden
c
i
es: white space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Ca
r
pen
t
e
r
implicit_dependencies: on
l
y enab
l
e this with the -
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
r
p
e
n
ter
implicit_depe
n
de
n
cies: fix a crashin
g
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
sav
e
d no_
S
truct graph an
d
b
e
gin
a
r
g filtering
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
And
r
e
w
Aday
Generate jso
n
for without structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andr
e
w Aday
Tes
t
: i
g
nore struct fields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
u
p
date implicit deps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
An
d
r
ew A
d
ay
r
egen implicit dep after
merging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andre
w
Aday
modified
smatch t
o
catch msync and
similar funcs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
up
d
a
t
e readme
a
n
d
manually
a
dd
deps for msync
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Zhu
changed
o
u
tput
t
o json,
blacklist file->
f
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andr
e
w Aday
ignore pyc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
Aday
pyth
o
n module to p
a
rse kernel
.
implicit_dep
e
ndencies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
kernel
.
impl
i
cit_dependenc
i
es
with write
d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
add tracking for writes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
n
d
r
ew
Aday
Add read dependencie
s
i
n nested inline fn c
a
lls and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
n
d
rew Aday
add
smatch
_
d
ata
/
kerne
l
.
i
m
plicit_depe
n
dencies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
c
heck
_
impl
i
ci
t
_
d
epen
d
enc
i
es and gen
s
cript
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
n
drew A
d
ay
introduce che
c
k_implic
i
t
_
dependenci
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-30
Dan Carpenter
i
m
pl
i
ed: impr
o
ve deb
u
gging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag/mtag_data:
r
e-us
e
the sam
e
co
d
e to s
t
o
re data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan C
a
r
p
enter
Revert "contain
e
r_of: remove
s
ome
d
u
p
licat
i
ve code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Da
n
Carpenter
mta
g
_data
:
split
g
et_mtag_rl() into two functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Ca
r
penter
m
tag: re
n
ame get
_
d
b
_data_rl()
=
> get_mtag_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
conta
i
ne
r
_o
f
:
rem
o
ve some duplica
t
i
ve code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mt
a
g
/container_of: the first struct member
c
a
n be
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpen
t
er
mtag:
U
se extra stat
e
to ge
t
mta
g
and offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: hook i
n
the
mtag co
d
e
t
o
check_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpen
t
er
validation: fix
t
h
e
new
D
B tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Car
p
enter
mtag: im
p
rove get_mt
a
g_sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag/mat
h
:
use mtag info
r
mati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: make get_mtag_offset() give both a
n
mtag and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
m
ta
g
/math/extra: start usi
n
g mt
a
gs as point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
m
t
ag
:
ma
k
e the nam
e
p
aramete
r
in ex
p
r_to_mtag_name_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
mtag: mask out the low b
i
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpent
e
r
m
ta
g
: tu
r
n off mtag stuff for
3
2 bi
t
builds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
c
ontainer_of: cleanup set
_
param_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpen
t
er
container_of/m
t
ag: fix h
a
nd
l
ing of
p
assed v
a
l
u
es (as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpente
r
v
alidation: a
d
d
some mtag tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpente
r
contai
n
er_of/mtag: us
e
c
o
n
t
a
iner_of informat
i
on fo
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
container_of: re-write code
t
o record caller_info containers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n
Car
p
enter
rang
e
s:
allow sv
a
l
s
t
o be
p
rinted
i
n
he
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan
Carpenter
ra
n
g
es
:
fix
parsi
n
g
o
f ulong_m
a
x and
ptr
_
max (not curr
e
ntl
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan C
a
rpenter
cont
a
iner_of: flip the
p
aram
and the v
a
l
u
e a
r
ou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan
C
arpenter
addres
s
: fix
a
dd_offset_to_
p
o
i
nter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an
C
arpenter
ty
p
e: i
n
tro
d
u
ce get_final_
t
yp
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
r
penter
sv
a
l: handle p
o
inter math
b
e
t
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Carpenter
type: introdu
c
e g
e
t_pro
m
oted_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
comparison: expo
r
t filter_compar
i
son(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arp
e
nter
s
m
db
.
py: push all my cha
n
g
es to this
file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
db/ker
n
el
.
return_fixes misc
u
pda
t
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Ca
r
p
e
n
ter
cond
i
tions: don't parse N
U
LLs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/fixup_k
e
rnel
.
sh: delete '(union
anonymous)->__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
flow: prin
t
slow to parse f
u
nctions when t
h
e --t
i
me
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Car
p
enter
extra: int
r
od
u
c
e
valu
e
_ptr_rl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db: add
s
ome
more sche
m
a
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
d
b
/rel
o
ad_partial
.
sh: fi
x
for
call_impl
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Car
p
enter
db:
hook up cal
l
_implie
s
infrastr
u
cture
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
s
v
a
l
: fix
sval_is
_
a_m
i
n
/max(
)
fo
r
sma
l
ler typ
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
s
val: introd
u
ce sval_is_ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
db:
U
se
extra sm->possi
b
l
e to
decid
e
i
f
splitting the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
pe
n
ter
e
x
tra: int
r
o
duce get_extra_sm_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
c
o
nditions: set the parent expre
s
sions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
impli
e
d: set
i
n
_fake_env
w
h
en we
d
o an
a
ssume()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Ca
r
p
e
nt
e
r
slis
t
: do a small clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpent
e
r
stor
e
d_conditions: sto
r
e mo
r
e cond
i
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
struc
t
_
assignment: hand
l
e memcpy for poi
n
ter math be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
s
p
e
ctre
:
sil
e
nce some if
(array[user
_
controlled_o
f
fset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
D
a
n Carpente
r
spectre: change
o
u
tput for
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpente
r
spectre:
remove is_r
e
ad/write
(
) check
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
an
Carpe
n
ter
db: fix
get
_
db_
s
tate_cou
n
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Ca
r
p
e
nte
r
hel
p
er:
clea
n
up get_compli
c
a
t
ion_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
helper: sizeof() i
s
not
c
o
mplicated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Da
n
C
a
rpenter
condit
i
ons: s
p
lit the
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpente
r
cond
i
tions:
d
e
lete un
u
sed
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-05
Norbert Manthey
spec
t
re: allow to flag all occurrences
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Dan Carpenter
check_user_d
a
t
a
: mar
k
kvm_
r
e
gister_re
a
d() a
s
retur
n
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpe
n
ter
no
s
pec
:
if i
t
's
called with tr
u
s
t
ed
d
a
ta that's the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan
Carpe
n
ter
user_dat
a
: don
'
t
p
ass *$ as user data
i
f
t
he struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n Carp
e
nter
check_user_data: some u
s
e
r
data was lost at the c
a
ll
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db
:
f
ix
b
uild break
a
ge
b
y addi
n
g the t
y
pe
_
i
nf
o
schema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
d
b
: rename
c
a
ll_implies to return_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpe
n
ter
d
e
bug: im
p
rove buf s
i
ze debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_signed:
silence some
false
p
ositives co
p
ying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
check_shift_to
_
zero: s
i
lence some fa
l
s
e posit
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpenter
check_sizeof: fix a typo in t
h
e warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_size: fix reco
r
d
i
ng global siz
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next