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
constraints: escape SQL statements
2018-07-31
D
a
n
Carpenter
mtag: in
t
roduce get_mtag_addr_
s
val(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
n
ter
param_to_mtag_data: rename "dat
a
_name" --> "
n
ame"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpe
n
te
r
mtag: don't set t
h
e name i
n
ex
p
r_to_mtag_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
m
t
ag
_
d
ata
:
cach
e
DB results
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Ca
r
penter
e
x
tra: m
o
ve get_addre
s
s_r
l
() out of get_extra_s
t
a
te()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
nter
im
p
lici
t
_d
e
penden
c
ies
:
whit
e
space chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
an Carpente
r
implic
i
t_depen
d
encies: only enable thi
s
wi
t
h the -
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpenter
impl
i
cit_dependencies: fix
a
crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-30
Da
n
C
a
rpenter
implied
:
impro
v
e
d
ebuggi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag/
m
tag_data: re-use the same code t
o
stor
e
dat
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpen
t
e
r
Rev
e
rt "co
n
tainer_of: remo
v
e s
o
m
e duplicat
i
ve code"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpent
e
r
mtag_data: split get_mtag_
r
l() i
n
to two fu
n
ct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
D
a
n Carpe
n
ter
mtag
:
ren
a
me g
e
t_db_data
_
rl() => ge
t
_
mtag
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpent
e
r
contai
n
er_
o
f: re
m
ove so
m
e du
p
licative code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpen
t
er
mtag/con
t
ainer_of: the fir
s
t s
t
ruct member can
be a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: Use
e
xtra state to get mtag an
d
o
f
fs
e
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
mta
g
: hook i
n
the mt
a
g code to
c
heck_list
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpe
n
t
er
v
alidation
:
fix t
h
e new
D
B
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
D
an
C
ar
p
e
nter
mtag/math: use mtag
i
n
formation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
mtag: make
g
et_mtag_offse
t
(
)
give both an mtag and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mta
g
/math/extra:
st
a
rt using
mt
a
g
s as po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: mak
e
the
na
m
e
parameter in expr_t
o
_
m
t
ag
_
name_offset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: mask out the low bits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
mtag: turn
off
m
tag stuf
f
for 32
bit builds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
con
t
a
iner_o
f
:
cleanup set_param_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Car
p
enter
container_o
f
/mtag: fix handli
n
g of p
a
ssed va
l
ues (as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpent
e
r
validat
i
on: add som
e
mt
a
g tes
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpe
n
ter
contain
e
r_of/m
t
a
g
:
use co
n
tainer_of
i
n
f
ormatio
n
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
container_of: re-write
code to record caller_info conta
i
n
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpente
r
ranges:
al
l
ow svals
to be p
r
inted
i
n h
e
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
ran
g
es:
f
i
x
p
a
rsing of ulong_
m
ax and ptr_max
(
not cur
r
ently
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
contai
n
e
r
_of: flip the param and the value around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
address:
fix add_offset_to_po
i
nter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
type: introduce g
e
t_final_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval
:
handle poin
t
er
m
ath bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
t
e
r
ty
p
e: introd
u
ce get_pr
o
moted_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpenter
comparison: export filt
e
r_c
o
m
p
a
r
ison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
sm
d
b
.
py
:
p
us
h
al
l
my changes to this file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
db/kernel
.
return_fixes misc updates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
conditions: don't parse NULL
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db
/
fi
x
up_kernel
.
sh: delet
e
'
(
union ano
n
ym
o
us)->
_
_val
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
flow: print slo
w
to parse functions when the
-
-t
i
me
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
C
arpente
r
extr
a
:
introduce value_
p
tr_rl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
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
.
sh: fix
f
or c
a
ll_impl
i
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db: hook up c
a
l
l
_i
m
plies
i
nfrastructure
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
sval: fix sval_is_a
_
min/max() for smal
l
er type
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
sva
l
: introduce sval_is_pt
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
db: Use extra
s
m
-
>
po
s
sible to
d
ecide if
splitting the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Carpenter
e
x
t
r
a
:
i
ntroduc
e
get_ex
t
ra_sm_sta
t
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
condition
s
: se
t
the parent exp
r
e
ssions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpent
e
r
implied: set in_fake_env when
we do an a
s
s
u
me()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
slist: do
a
small c
l
ean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
stored_
c
onditio
n
s: store more condition
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
str
u
c
t_
a
ssignm
e
n
t
: handle memcpy
for pointe
r
ma
t
h better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan
Carpenter
spectre: silence s
o
m
e
if (array[us
e
r
_controlled_o
f
fset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carp
e
nter
s
pectre
:
c
h
a
n
ge outp
u
t
f
o
rmat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
sp
e
ctre
:
re
m
ove is
_
read/write() checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpente
r
db: fix
g
e
t_db_state_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
help
e
r: cle
a
n up get_c
o
mplication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan C
a
rpente
r
helper: sizeof() is
not co
m
plicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
cond
i
tion
s
: split the ze
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan C
a
rpenter
cond
i
tions: delete unused
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-03
Dan C
a
rpenter
c
h
e
c
k_us
e
r_data: mark
kvm_register_rea
d
(
) as retu
r
ning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Car
p
enter
n
ospec: if it
'
s called with trusted data that's
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan C
a
rpen
t
er
user_
d
a
ta
:
don't p
a
ss
*$ as user data if the struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
D
an Car
p
ente
r
check_use
r
_da
t
a: some user data was
l
ost at
t
he
c
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n
Car
p
enter
db: fix build
b
rea
k
a
g
e by adding the type_info
s
chema
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpente
r
db: re
n
ame call_implies to
r
eturn
_
implies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
D
an Carpente
r
debug:
i
mprove buf
size debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
C
a
rpent
e
r
ch
e
ck_sign
e
d
:
s
i
len
c
e some
f
alse posi
t
i
v
e
s
copying
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
check_shif
t
_to_
z
e
ro: silence some false
p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
nt
e
r
c
h
e
c
k
_sizeof: fix
a
typo in the w
a
r
n
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n C
a
r
penter
buf
_
size: fix
r
e
c
ording globa
l
sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carp
e
nter
buf_compari
s
on: don't save
links to
lite
r
al sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpenter
compari
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 split NULL and n
o
n-NULL
u
nnece
s
sarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: f
i
x a NULL derefe
r
ence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
db: set the
CACHE_PAGES
s
iz
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpenter
db: i
n
tr
o
duce th
e
cach
e
_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: clean
u
p the code an
d
e
x
port
so
m
e m
o
re
fu
n
c
tion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an
C
arpe
n
ter
extra: use
P
ARAM_LIMIT
t
o limit b
i
nops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
a
r
pent
e
r
flow: nest
s
ome
in
l
ine statem
e
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an Car
p
e
nte
r
mo
d
ification_hooks
:
don't allow multiple
m
odification
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpe
n
te
r
comparison: don'
t
save c
o
mpar
i
sons to ones
e
lf
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
D
an Carpen
t
er
com
p
a
ri
s
o
n
: add som
e
par
e
nt
h
esis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Dan Ca
r
penter
validation
:
f
ix up some fai
l
u
r
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan C
a
rpente
r
comparison: fix filte
r
_by_compar
i
son
=
= for ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan C
a
rpenter
extra: just set sval assignments directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n
Carpe
n
ter
che
c
k_
s
pectre: ignore masked off
d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
an
C
a
rpenter
spect
r
e
:
use the new is_use
r
_rl() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
an Carpenter
user_
d
ata: s
i
lence so
m
e more nt
o
hl(foo[
i
]
)
; fals
e
p
osi
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpente
r
us
e
r_dat
a
: silen
c
e some s
s
can
f
() false po
s
itive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_dat
a
: introduce
is_use
r
_data
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
Carpenter
u
s
er_data: cleanup get_user
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpenter
c
ompa
r
is
o
n: fix a NULL dereferenc
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan C
a
rpenter
co
m
parison
:
fix validatio
n
te
s
t
s
an
d
add a new te
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
C
a
rpenter
extra: remove an u
n
ne
e
ded
__set_sm() in db_param_limit_filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
hel
p
e
r: s
t
rip out the byt
e
swaps in strip_
e
xpr
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next