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
user_data: fix validation test for returned struct members
2018-08-06
Dan
Carpen
t
er
user_
d
ata: fix
val
i
dation test
f
or returned
s
truct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpenter
im
p
lied: don
'
t
print so many "turning off
i
m
plications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mt
a
g:
d
elete some
b
ogus c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Ca
r
penter
m
t
ag
_
data: upd
a
te mtag_
d
ata to us
e
get_mt
a
g
_addr_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mt
a
g:
fix expr_to_mtag_offs
e
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpente
r
m
ta
g
: in
t
roduce get
_
mtag_addr_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
p
aram_to_mtag_d
a
ta:
r
en
a
me "dat
a
_name" --
>
"name"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
an C
a
rpe
n
ter
mtag: don't set the
n
ame in e
x
p
r
_to_mt
a
g
_
offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpente
r
mtag_data: cache
D
B
resul
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
a
rpenter
extra: move
g
e
t_address_rl() ou
t
of get_extra_st
a
te()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
C
arpenter
implicit
_
dependencies: white space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
an C
a
rpenter
impl
i
cit_depend
e
nc
i
es:
o
nly e
n
able
this
w
i
th t
h
e
-
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
implic
i
t_dependencies: fix a c
r
ashin
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andr
e
w A
d
ay
s
aved no_Struct
gr
a
ph
a
nd b
e
gin
a
rg filtering
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
Gen
e
rate
j
son for withou
t
structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
A
n
drew Aday
Test: ignor
e
struct field
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
update i
m
plicit deps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
A
n
drew
A
day
regen
i
mp
l
icit de
p
after mer
g
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
A
day
m
o
dified smatch t
o
cat
c
h msync
a
nd similar funcs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
update readme and man
u
al
l
y add
d
eps for msync
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Zhu
change
d
output to j
s
on, blacklist
f
ile->fd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
ignore pyc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Ada
y
python mo
d
ule to parse ker
n
el
.
implicit_dependencies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
A
d
ay
kernel
.
imp
l
icit_dependencies with writ
e
dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
a
d
d
t
r
ac
k
ing for writes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
A
day
Add
r
ead d
e
p
endencies in nested inline f
n
calls and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Ada
y
add smatch
_
da
t
a/
k
ernel
.
implicit_dependencies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
check_impl
i
ci
t
_dependencies and gen scri
p
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
A
n
dre
w
A
d
ay
in
t
r
oduce che
c
k_implicit_depen
d
e
nc
i
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-30
Dan Carpenter
imp
l
ied:
im
p
rove
debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
m
tag/mtag_
d
ata:
re-use
t
he same code to store data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
Rev
e
rt
"cont
a
i
n
er_o
f
: remove some duplicativ
e
code
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carp
e
nter
m
t
ag_da
t
a: split
g
et_mtag_
r
l() into two fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan
C
arpenter
mtag: rename ge
t
_
d
b_data_rl() => get_mtag_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Ca
r
penter
container_o
f
: remove some dup
l
ic
a
tive c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag/cont
a
iner_of: t
h
e first
s
tru
c
t member
c
an be a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mt
a
g: U
s
e ex
t
ra state to
g
et
mt
a
g and offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpenter
mtag: hook in the mtag
code to
c
heck_
l
ist
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
an Car
p
enter
validati
o
n: fix the new DB
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Ca
r
p
enter
mta
g
: improve get_
m
tag
_
sval(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
mtag/math: use m
t
ag inform
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
r
p
enter
mtag: mak
e
ge
t
_m
t
ag_offset() give both an mtag
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag/m
a
t
h/
e
xtra: s
t
art
u
s
i
ng mtags as pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpe
n
ter
mtag:
m
ake t
h
e name paramete
r
in expr_to_mtag_n
a
m
e
_offse
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mt
a
g: mask out the low bits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
mtag: t
u
rn off 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
c
ontain
e
r_o
f
: cleanup set_par
a
m_value(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
c
ontainer_of/mtag: fix handling of passed
v
al
u
e
s
(as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
v
a
lidati
o
n: add some mtag tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
container_of/mtag:
u
se container_of inf
o
rmation for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carp
e
n
t
er
container_of
:
re-write code
to
r
ecord
caller_
i
nfo containers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n Carpenter
r
a
n
ge
s
: a
l
low svals to
be printed
i
n hex
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n Ca
r
p
ent
e
r
r
a
nges: fix par
s
i
n
g
o
f
u
long_max and ptr_ma
x
(not curre
n
tly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan
Carpen
t
e
r
conta
i
ner_of: fl
i
p the p
a
ram and the value around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpent
e
r
a
d
dr
e
ss: fix
a
dd_offset_to_pointer()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
t
y
pe: introduce get_fina
l
_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval: ha
n
dle
poi
n
ter math better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
type: introduce
get_
p
r
omoted_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
en
t
er
comp
a
ri
s
on: export filter_c
o
m
p
arison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
smdb
.
p
y: p
u
sh all my
c
h
an
g
es to this file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
db/kerne
l
.
return_fixes
m
isc updates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
condi
t
ion
s
: do
n
't parse
NULLs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
db/fixu
p
_kernel
.
sh: delete '(
u
ni
o
n anonymous)->__val
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
f
l
o
w: prin
t
slow to pars
e
f
u
nction
s
whe
n
the --ti
m
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
extra: introduce val
u
e_ptr_rl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
db: a
d
d
s
ome more schema
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
db/relo
a
d_partial
.
s
h: fix for c
a
ll_implies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
db: h
o
o
k
up ca
l
l_implies infrastructure
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
sval:
f
i
x sval_i
s
_a_min/max()
f
or small
e
r types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
sva
l
: intr
o
duce sval_is_pt
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db: Use extr
a
sm->possible to d
e
c
i
de if spli
t
ting t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpen
t
er
extra: introduc
e
get_extra_sm_stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
conditi
o
ns: set the pare
n
t ex
p
re
s
sions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
implied
:
set in_fak
e
_env when we do an
a
ssume()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
slist: do a sma
l
l
c
l
e
an
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
stored_con
d
i
t
ions: stor
e
m
ore conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpent
e
r
s
t
r
uct_assignment: handle memcpy for pointer math bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
D
an Car
p
enter
spectre: silence some if (ar
r
ay[user_
c
ontrolled_offset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Ca
r
pen
t
er
spectre:
ch
a
nge output fo
r
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan
Ca
r
pente
r
spectre: remo
v
e
is_re
a
d/
w
rite() checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpent
e
r
db: fix get_
d
b_state
_
count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Da
n
Carpenter
helper: clean up
ge
t
_complication_score
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n Carp
e
nter
helper: sizeof() i
s
no
t
compl
i
cat
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n Carpen
t
er
cond
i
tio
n
s: sp
l
it the ze
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
an Carpenter
conditions: dele
t
e unuse
d
f
unctio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-05
Norbert Manthey
spectr
e
:
a
ll
o
w
to fla
g
al
l
oc
c
urrences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-03
D
a
n Carpenter
check_
u
s
e
r_data: mark kvm
_
register_read() as retu
r
ning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Ca
r
pent
e
r
nos
p
ec:
i
f it's call
e
d with trusted
data th
a
t's t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n
Carpe
n
ter
u
s
er_dat
a
: don't pass *$ as user data if the str
u
c
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n Car
p
enter
check_us
e
r_data: some
u
ser data
was lost at th
e
call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n Carpen
t
e
r
db: f
i
x
build br
e
akage by add
i
ng th
e
t
y
pe_info schema
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpent
e
r
db: rename call_implies t
o
re
t
urn_implies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Da
n
Carpenter
d
ebug: improve buf size de
b
ugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
check_signed: silence some
f
alse positives co
p
ying
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpe
n
ter
chec
k
_shi
f
t_to_zero: silenc
e
s
o
me false po
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carp
e
nter
check_size
o
f: fix a typo
i
n the warni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpente
r
buf_size: fix recording
g
loba
l
siz
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
buf_compari
s
on: don't
s
av
e
li
n
ks to literal sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an C
a
rpenter
co
m
p
a
ri
s
on
:
add some debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpenter
db: don't
s
plit NULL and non-NU
L
L unnece
s
sarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next