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
mtag: make the name parameter in expr_to_mtag_name_offset() optional
2018-07-26
D
an Carpenter
mtag: make th
e
n
a
me
p
ara
m
eter
in expr_to_mtag_nam
e
_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpenter
mtag:
mask out the
l
ow bits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
a
rpenter
mtag: tu
r
n
o
ff mtag stuff for 32 bit bu
i
lds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
con
t
ainer_of: clea
n
up se
t
_param_va
l
ue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpenter
container_of/mtag: fi
x
h
a
ndling of
pas
s
ed
v
alues (a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an
Carp
e
nter
validatio
n
: add som
e
mtag
test
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpen
t
er
c
o
ntain
e
r_of/mtag: use contain
e
r_of infor
m
at
i
on for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carp
e
nter
conta
i
ner_of:
r
e-write code to record caller_
i
nf
o
c
ont
a
iners
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan
Carpenter
ranges: al
l
ow svals to be pr
i
n
ted in hex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan C
a
rpenter
rang
e
s
: fix par
s
ing
of ulo
n
g_
m
ax and ptr_max
(
not
currentl
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan
C
a
r
penter
container_of:
f
lip
t
he
p
aram and the
v
a
lue
a
rou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
address: fix
a
dd_offset_to_pointer()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
type: introduce
g
et_fin
a
l_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Carpenter
sval:
h
andle pointer math better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
type: in
t
roduce get_promoted_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Ca
r
penter
comparison:
export filter_c
o
mpa
r
ison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
e
r
smdb
.
py: p
u
sh
a
l
l
my c
h
ang
e
s to this f
i
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Car
p
enter
d
b/kernel
.
return_fixes misc updat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
condit
i
ons: do
n
't parse NULLs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
db/fixup
_
ke
r
nel
.
sh: d
e
le
t
e
'(union
an
o
ny
m
ous)->__va
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
fl
o
w
:
print slow t
o
pa
r
se functi
o
ns when
t
h
e --t
i
me
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
e
x
tra:
i
ntro
d
uce
value_ptr_
r
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db: add
so
m
e
mor
e
schemas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/rel
o
ad_partial
.
sh: fix
f
o
r call_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpe
n
ter
d
b
: hook up
call_impl
i
es infrastructure
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
sval: fix
sval_is_a_min/max() for
sma
l
ler types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
sval: in
t
ro
d
u
c
e sval_is_ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
db: Use extr
a
sm->possible to decide i
f
splitting the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
extra:
i
n
t
r
oduce get_ex
t
ra_sm_state
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpen
t
er
condi
t
ions:
set the parent expressio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
C
a
rpenter
impli
e
d: set in_fa
k
e_env whe
n
we
do a
n
a
s
sume()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
slis
t
:
d
o a s
m
a
ll clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
stored_
c
onditions:
stor
e
more co
n
d
itions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Car
p
enter
st
r
uct_a
s
s
i
gnment: h
a
ndle memcpy for
p
oint
e
r math better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
D
a
n
Ca
r
penter
spectre: si
l
ence
s
ome if (array[user_co
n
trolled_offs
e
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan
C
ar
p
e
n
ter
spectre: change output format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
D
an Carpent
e
r
spec
t
re: remo
v
e is_read/write() c
h
ecks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
db: fix get_d
b
_state_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
an Carpenter
h
e
l
p
er: clean up get_
c
omplication_s
c
o
r
e(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpente
r
helper: si
z
eo
f
(
)
is
not
c
o
m
pli
c
ated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan
C
arpenter
conditions: split t
h
e zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Ca
r
pent
e
r
c
o
ndi
t
i
o
ns: d
e
lete unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Dan Ca
r
penter
c
h
eck_
u
ser_data:
m
a
r
k kvm_regist
e
r_r
e
ad()
a
s
retu
r
n
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carp
e
n
ter
nospec:
if i
t
's c
a
l
l
ed with truste
d
data t
h
at'
s
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Ca
r
pente
r
user_data:
d
o
n't pas
s
*$ as user data if the
s
t
ruct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
chec
k
_use
r
_data: some
user data was lost at the
call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db: fix buil
d
breakage b
y
adding th
e
type_info
schema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan
Carpenter
db: rename call_implies to re
t
urn_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n Carpenter
debug: improve b
u
f size d
e
bugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
c
h
eck_signed:
s
i
lence some fal
s
e positive
s
copyi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carp
e
nter
check_shift_to_
z
er
o
: silence som
e
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
check_sizeof
:
fix a
t
y
p
o in
t
he warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpen
t
er
buf_size: fix recordi
n
g global siz
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
buf
_
compar
i
son: don't
s
ave links to lit
e
ra
l
sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
comparison: add
s
ome debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
db
:
don't split NULL and no
n
-NU
L
L unn
e
cess
a
rily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: fix a NULL derefere
n
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpente
r
db:
s
et
the CACHE_PAG
E
S size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
n
ter
db: introduce the
c
ache_d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b: clean up the code
and export some
more
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
extra: use PARA
M
_LIMIT
to limit
b
inops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
flow: nest some inline
s
t
atements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
mod
i
fication_hooks: don't
a
llow multipl
e
mo
d
ification
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpenter
c
o
mparison: don't
s
av
e
comparisons t
o
ones
e
lf
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
comp
a
riso
n
: add so
m
e parenthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
validation: fix up some failures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan
Carp
e
n
t
er
comparison: fix
f
ilter_
b
y_comparis
o
n =
=
f
or
r
an
g
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
e
xtra: jus
t
s
et sval a
s
signm
e
nts directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Da
n
Carpenter
c
h
e
c
k
_
s
p
e
c
tre: ignore maske
d
off
d
at
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Ca
r
penter
s
p
ectre: use
t
he
n
ew is_u
s
er_rl() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Ca
r
penter
user
_
dat
a
: silence some mor
e
nto
h
l(foo[
i
]); false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Da
n
Carpente
r
u
s
e
r
_
data:
silenc
e
some sscan
f
() false
positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Carpenter
us
e
r_data: i
n
tro
d
uce is_u
s
er_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
an Carpenter
user_da
t
a: cleanup get_user_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpen
t
e
r
comparison: fix a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Da
n
Carpenter
comp
a
rison: fix
validation tests an
d
a
d
d a new tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
r
p
e
n
ter
ext
r
a: r
e
m
ove
a
n unneeded _
_
set
_
sm() in
db_param_limit_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
a
rpenter
h
e
lpe
r
: s
t
r
i
p o
u
t
the byte swaps
in strip_expr
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carp
e
nter
v
a
l
i
d
a
ti
o
n
/
sm_locking3: fix
function decla
r
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
a
rpente
r
u
n
known_value
:
clear the ->pa
r
ent pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
an Carpen
t
er
ranges: improve
s
tr_to_co
m
parison
_
a
rg_help
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
co
m
parison: use sm
a
tc
h
_extra
dat
a
in get
_
c
ompar
i
son()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
en
t
er
comparison:
im
p
rove han
d
ling of "
i
f (++j == limit)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arpenter
comparison: handle j++ va
r
sym
l
i
s
t
s
bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
C
a
r
pent
e
r
equiv: type and
implication fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan Car
p
enter
ranges:
f
ix == and != c
o
mpa
r
i
s
ons
.
.
.
(0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan
C
arpenter
ret
u
r
n
_
t
o
_par
a
m
:
fix pars
i
ng calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carpenter
valida
t
ion: update test
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
Dan
C
a
r
p
e
nter
db: make cal
l
_i
m
plies row
s
unique
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an Carp
e
nter
flow: remove the call
_
split_expr(
)
fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpent
e
r
ex
t
ra: h
a
ndl
e
compa
r
is
o
ns
t
o
expression s
t
a
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
e
r
d
b/fil
l
_db_caller_info
.
pl: don't pe
r
m
a-b
a
n functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n C
a
rpent
e
r
db
/
fixup_kernel
.
sh: commit all
m
y stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Car
p
enter
funct
i
on_pt
r
s: record l
o
cal
point
e
r scope co
r
rectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
real_absolute:
don
'
t
save
si
n
gle value ass
i
g
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
rpent
e
r
s
v
a
l
: fix
a
bug in sval_t
o
o_low()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db: i
n
troduce
db_ignore_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpenter
db
/
untracke
d
_p
a
ram: mark parameters untra
c
ked if
we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpenter
flow: d
o
n'
t
parse inline functions which a
r
en
'
t
interesting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
Da
n
Carpenter
db
/
c
ons
t
raints_required
.
sche
m
a: ad
d
missing semi-
c
o
l
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next