|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [PATCH] x86/PV: address odd UB in I/O emulation
Compilers are certainly right in detecting UB here, given that fully
parenthesized (to express precedence) the original offending expression
was (((stub_va + p) - ctxt->io_emul_stub) + 5), which in fact exhibits
two overflows in pointer calculations. We really want to calculate
(p - ctxt->io_emul_stub) first, which is guaranteed to not overflow.
The issue was observed with clang 9 on 4.13.
The oddities are
- the issue was detected on APPEND_CALL(save_guest_gprs), despite the
earlier similar APPEND_CALL(load_guest_gprs),
- merely casting the original offending expression to long was reported
to also help.
While at it also avoid converting guaranteed (with our current address
space layout) negative values to unsigned long (which has implementation
defined behavior): Have stub_va be of pointer type. And since it's on an
immediately adjacent line, also constify this_stubs.
Fixes: d89e5e65f305 ("x86/ioemul: Rewrite stub generation to be shadow stack
compatible")
Reported-by: Franklin Shen <2284696125@xxxxxx>
Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>
---
I'm not going to insist on the part avoiding implementation defined
behavior here. If I am to drop that, it is less clear whether
constifying this_stubs would then still be warranted.
--- a/xen/arch/x86/pv/emul-priv-op.c
+++ b/xen/arch/x86/pv/emul-priv-op.c
@@ -89,8 +89,8 @@ static io_emul_stub_t *io_emul_stub_setu
0xc3, /* ret */
};
- struct stubs *this_stubs = &this_cpu(stubs);
- unsigned long stub_va = this_stubs->addr + STUB_BUF_SIZE / 2;
+ const struct stubs *this_stubs = &this_cpu(stubs);
+ const void *stub_va = (void *)this_stubs->addr + STUB_BUF_SIZE / 2;
unsigned int quirk_bytes = 0;
char *p;
@@ -98,7 +98,7 @@ static io_emul_stub_t *io_emul_stub_setu
#define APPEND_BUFF(b) ({ memcpy(p, b, sizeof(b)); p += sizeof(b); })
#define APPEND_CALL(f) \
({ \
- long disp = (long)(f) - (stub_va + p - ctxt->io_emul_stub + 5); \
+ long disp = (void *)(f) - (stub_va + (p - ctxt->io_emul_stub) + 5); \
BUG_ON((int32_t)disp != disp); \
*p++ = 0xe8; \
*(int32_t *)p = disp; p += 4; \
@@ -106,7 +106,7 @@ static io_emul_stub_t *io_emul_stub_setu
if ( !ctxt->io_emul_stub )
ctxt->io_emul_stub =
- map_domain_page(_mfn(this_stubs->mfn)) + (stub_va & ~PAGE_MASK);
+ map_domain_page(_mfn(this_stubs->mfn)) + PAGE_OFFSET(stub_va);
p = ctxt->io_emul_stub;
@@ -141,7 +141,7 @@ static io_emul_stub_t *io_emul_stub_setu
block_speculation(); /* SCSB */
/* Handy function-typed pointer to the stub. */
- return (void *)stub_va;
+ return stub_va;
#undef APPEND_CALL
#undef APPEND_BUFF
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |