2020-09-12 20:47:33 +03:00
|
|
|
/*
|
|
|
|
* Interface to the capstone disassembler.
|
|
|
|
* SPDX-License-Identifier: GPL-2.0-or-later
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "qemu/osdep.h"
|
|
|
|
#include "qemu/bswap.h"
|
|
|
|
#include "disas/dis-asm.h"
|
|
|
|
#include "disas/capstone.h"
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Temporary storage for the capstone library. This will be alloced via
|
|
|
|
* malloc with a size private to the library; thus there's no reason not
|
|
|
|
* to share this across calls and across host vs target disassembly.
|
|
|
|
*/
|
|
|
|
static __thread cs_insn *cap_insn;
|
|
|
|
|
2020-09-12 04:19:41 +03:00
|
|
|
/*
|
|
|
|
* The capstone library always skips 2 bytes for S390X.
|
|
|
|
* This is less than ideal, since we can tell from the first two bits
|
|
|
|
* the size of the insn and thus stay in sync with the insn stream.
|
|
|
|
*/
|
|
|
|
static size_t CAPSTONE_API
|
|
|
|
cap_skipdata_s390x_cb(const uint8_t *code, size_t code_size,
|
|
|
|
size_t offset, void *user_data)
|
|
|
|
{
|
|
|
|
size_t ilen;
|
|
|
|
|
|
|
|
/* See get_ilen() in target/s390x/internal.h. */
|
|
|
|
switch (code[offset] >> 6) {
|
|
|
|
case 0:
|
|
|
|
ilen = 2;
|
|
|
|
break;
|
|
|
|
case 1:
|
|
|
|
case 2:
|
|
|
|
ilen = 4;
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
ilen = 6;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
return ilen;
|
|
|
|
}
|
|
|
|
|
|
|
|
static const cs_opt_skipdata cap_skipdata_s390x = {
|
|
|
|
.mnemonic = ".byte",
|
|
|
|
.callback = cap_skipdata_s390x_cb
|
|
|
|
};
|
|
|
|
|
2020-09-12 20:47:33 +03:00
|
|
|
/*
|
|
|
|
* Initialize the Capstone library.
|
|
|
|
*
|
|
|
|
* ??? It would be nice to cache this. We would need one handle for the
|
|
|
|
* host and one for the target. For most targets we can reset specific
|
|
|
|
* parameters via cs_option(CS_OPT_MODE, new_mode), but we cannot change
|
|
|
|
* CS_ARCH_* in this way. Thus we would need to be able to close and
|
|
|
|
* re-open the target handle with a different arch for the target in order
|
|
|
|
* to handle AArch64 vs AArch32 mode switching.
|
|
|
|
*/
|
|
|
|
static cs_err cap_disas_start(disassemble_info *info, csh *handle)
|
|
|
|
{
|
|
|
|
cs_mode cap_mode = info->cap_mode;
|
|
|
|
cs_err err;
|
|
|
|
|
|
|
|
cap_mode += (info->endian == BFD_ENDIAN_BIG ? CS_MODE_BIG_ENDIAN
|
|
|
|
: CS_MODE_LITTLE_ENDIAN);
|
|
|
|
|
|
|
|
err = cs_open(info->cap_arch, cap_mode, handle);
|
|
|
|
if (err != CS_ERR_OK) {
|
|
|
|
return err;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* "Disassemble" unknown insns as ".byte W,X,Y,Z". */
|
|
|
|
cs_option(*handle, CS_OPT_SKIPDATA, CS_OPT_ON);
|
|
|
|
|
2020-09-12 04:19:41 +03:00
|
|
|
switch (info->cap_arch) {
|
|
|
|
case CS_ARCH_SYSZ:
|
|
|
|
cs_option(*handle, CS_OPT_SKIPDATA_SETUP,
|
|
|
|
(uintptr_t)&cap_skipdata_s390x);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case CS_ARCH_X86:
|
2020-09-12 20:47:33 +03:00
|
|
|
/*
|
|
|
|
* We don't care about errors (if for some reason the library
|
|
|
|
* is compiled without AT&T syntax); the user will just have
|
|
|
|
* to deal with the Intel syntax.
|
|
|
|
*/
|
|
|
|
cs_option(*handle, CS_OPT_SYNTAX, CS_OPT_SYNTAX_ATT);
|
2020-09-12 04:19:41 +03:00
|
|
|
break;
|
2020-09-12 20:47:33 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Allocate temp space for cs_disasm_iter. */
|
|
|
|
if (cap_insn == NULL) {
|
|
|
|
cap_insn = cs_malloc(*handle);
|
|
|
|
if (cap_insn == NULL) {
|
|
|
|
cs_close(handle);
|
|
|
|
return CS_ERR_MEM;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return CS_ERR_OK;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void cap_dump_insn_units(disassemble_info *info, cs_insn *insn,
|
|
|
|
int i, int n)
|
|
|
|
{
|
|
|
|
fprintf_function print = info->fprintf_func;
|
|
|
|
FILE *stream = info->stream;
|
|
|
|
|
|
|
|
switch (info->cap_insn_unit) {
|
|
|
|
case 4:
|
|
|
|
if (info->endian == BFD_ENDIAN_BIG) {
|
|
|
|
for (; i < n; i += 4) {
|
|
|
|
print(stream, " %08x", ldl_be_p(insn->bytes + i));
|
|
|
|
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
for (; i < n; i += 4) {
|
|
|
|
print(stream, " %08x", ldl_le_p(insn->bytes + i));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
case 2:
|
|
|
|
if (info->endian == BFD_ENDIAN_BIG) {
|
|
|
|
for (; i < n; i += 2) {
|
|
|
|
print(stream, " %04x", lduw_be_p(insn->bytes + i));
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
for (; i < n; i += 2) {
|
|
|
|
print(stream, " %04x", lduw_le_p(insn->bytes + i));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
for (; i < n; i++) {
|
|
|
|
print(stream, " %02x", insn->bytes[i]);
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void cap_dump_insn(disassemble_info *info, cs_insn *insn)
|
|
|
|
{
|
|
|
|
fprintf_function print = info->fprintf_func;
|
|
|
|
FILE *stream = info->stream;
|
|
|
|
int i, n, split;
|
|
|
|
|
|
|
|
print(stream, "0x%08" PRIx64 ": ", insn->address);
|
|
|
|
|
|
|
|
n = insn->size;
|
|
|
|
split = info->cap_insn_split;
|
|
|
|
|
|
|
|
/* Dump the first SPLIT bytes of the instruction. */
|
|
|
|
cap_dump_insn_units(info, insn, 0, MIN(n, split));
|
|
|
|
|
|
|
|
/* Add padding up to SPLIT so that mnemonics line up. */
|
|
|
|
if (n < split) {
|
|
|
|
int width = (split - n) / info->cap_insn_unit;
|
|
|
|
width *= (2 * info->cap_insn_unit + 1);
|
|
|
|
print(stream, "%*s", width, "");
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Print the actual instruction. */
|
|
|
|
print(stream, " %-8s %s\n", insn->mnemonic, insn->op_str);
|
|
|
|
|
|
|
|
/* Dump any remaining part of the insn on subsequent lines. */
|
|
|
|
for (i = split; i < n; i += split) {
|
|
|
|
print(stream, "0x%08" PRIx64 ": ", insn->address + i);
|
|
|
|
cap_dump_insn_units(info, insn, i, MIN(n, i + split));
|
|
|
|
print(stream, "\n");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Disassemble SIZE bytes at PC for the target. */
|
|
|
|
bool cap_disas_target(disassemble_info *info, uint64_t pc, size_t size)
|
|
|
|
{
|
|
|
|
uint8_t cap_buf[1024];
|
|
|
|
csh handle;
|
|
|
|
cs_insn *insn;
|
|
|
|
size_t csize = 0;
|
|
|
|
|
|
|
|
if (cap_disas_start(info, &handle) != CS_ERR_OK) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
insn = cap_insn;
|
|
|
|
|
|
|
|
while (1) {
|
|
|
|
size_t tsize = MIN(sizeof(cap_buf) - csize, size);
|
|
|
|
const uint8_t *cbuf = cap_buf;
|
|
|
|
|
|
|
|
info->read_memory_func(pc + csize, cap_buf + csize, tsize, info);
|
|
|
|
csize += tsize;
|
|
|
|
size -= tsize;
|
|
|
|
|
|
|
|
while (cs_disasm_iter(handle, &cbuf, &csize, &pc, insn)) {
|
|
|
|
cap_dump_insn(info, insn);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* If the target memory is not consumed, go back for more... */
|
|
|
|
if (size != 0) {
|
|
|
|
/*
|
|
|
|
* ... taking care to move any remaining fractional insn
|
|
|
|
* to the beginning of the buffer.
|
|
|
|
*/
|
|
|
|
if (csize != 0) {
|
|
|
|
memmove(cap_buf, cbuf, csize);
|
|
|
|
}
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Since the target memory is consumed, we should not have
|
|
|
|
* a remaining fractional insn.
|
|
|
|
*/
|
|
|
|
if (csize != 0) {
|
|
|
|
info->fprintf_func(info->stream,
|
|
|
|
"Disassembler disagrees with translator "
|
|
|
|
"over instruction decoding\n"
|
|
|
|
"Please report this to qemu-devel@nongnu.org\n");
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
cs_close(&handle);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Disassemble SIZE bytes at CODE for the host. */
|
|
|
|
bool cap_disas_host(disassemble_info *info, void *code, size_t size)
|
|
|
|
{
|
|
|
|
csh handle;
|
|
|
|
const uint8_t *cbuf;
|
|
|
|
cs_insn *insn;
|
|
|
|
uint64_t pc;
|
|
|
|
|
|
|
|
if (cap_disas_start(info, &handle) != CS_ERR_OK) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
insn = cap_insn;
|
|
|
|
|
|
|
|
cbuf = code;
|
|
|
|
pc = (uintptr_t)code;
|
|
|
|
|
|
|
|
while (cs_disasm_iter(handle, &cbuf, &size, &pc, insn)) {
|
|
|
|
cap_dump_insn(info, insn);
|
|
|
|
}
|
|
|
|
if (size != 0) {
|
|
|
|
info->fprintf_func(info->stream,
|
|
|
|
"Disassembler disagrees with TCG over instruction encoding\n"
|
|
|
|
"Please report this to qemu-devel@nongnu.org\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
cs_close(&handle);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Disassemble COUNT insns at PC for the target. */
|
|
|
|
bool cap_disas_monitor(disassemble_info *info, uint64_t pc, int count)
|
|
|
|
{
|
|
|
|
uint8_t cap_buf[32];
|
|
|
|
csh handle;
|
|
|
|
cs_insn *insn;
|
|
|
|
size_t csize = 0;
|
|
|
|
|
|
|
|
if (cap_disas_start(info, &handle) != CS_ERR_OK) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
insn = cap_insn;
|
|
|
|
|
|
|
|
while (1) {
|
|
|
|
/*
|
|
|
|
* We want to read memory for one insn, but generically we do not
|
|
|
|
* know how much memory that is. We have a small buffer which is
|
|
|
|
* known to be sufficient for all supported targets. Try to not
|
|
|
|
* read beyond the page, Just In Case. For even more simplicity,
|
|
|
|
* ignore the actual target page size and use a 1k boundary. If
|
|
|
|
* that turns out to be insufficient, we'll come back around the
|
|
|
|
* loop and read more.
|
|
|
|
*/
|
|
|
|
uint64_t epc = QEMU_ALIGN_UP(pc + csize + 1, 1024);
|
|
|
|
size_t tsize = MIN(sizeof(cap_buf) - csize, epc - pc);
|
|
|
|
const uint8_t *cbuf = cap_buf;
|
|
|
|
|
|
|
|
/* Make certain that we can make progress. */
|
|
|
|
assert(tsize != 0);
|
disas/capstone: Fix monitor disassembly of >32 bytes
If we're using the capstone disassembler, disassembly of a run of
instructions more than 32 bytes long disassembles the wrong data for
instructions beyond the 32 byte mark:
(qemu) xp /16x 0x100
0000000000000100: 0x00000005 0x54410001 0x00000001 0x00001000
0000000000000110: 0x00000000 0x00000004 0x54410002 0x3c000000
0000000000000120: 0x00000000 0x00000004 0x54410009 0x74736574
0000000000000130: 0x00000000 0x00000000 0x00000000 0x00000000
(qemu) xp /16i 0x100
0x00000100: 00000005 andeq r0, r0, r5
0x00000104: 54410001 strbpl r0, [r1], #-1
0x00000108: 00000001 andeq r0, r0, r1
0x0000010c: 00001000 andeq r1, r0, r0
0x00000110: 00000000 andeq r0, r0, r0
0x00000114: 00000004 andeq r0, r0, r4
0x00000118: 54410002 strbpl r0, [r1], #-2
0x0000011c: 3c000000 .byte 0x00, 0x00, 0x00, 0x3c
0x00000120: 54410001 strbpl r0, [r1], #-1
0x00000124: 00000001 andeq r0, r0, r1
0x00000128: 00001000 andeq r1, r0, r0
0x0000012c: 00000000 andeq r0, r0, r0
0x00000130: 00000004 andeq r0, r0, r4
0x00000134: 54410002 strbpl r0, [r1], #-2
0x00000138: 3c000000 .byte 0x00, 0x00, 0x00, 0x3c
0x0000013c: 00000000 andeq r0, r0, r0
Here the disassembly of 0x120..0x13f is using the data that is in
0x104..0x123.
This is caused by passing the wrong value to the read_memory_func().
The intention is that at this point in the loop the 'cap_buf' buffer
already contains 'csize' bytes of data for the instruction at guest
addr 'pc', and we want to read in an extra 'tsize' bytes. Those
extra bytes are therefore at 'pc + csize', not 'pc'. On the first
time through the loop 'csize' happens to be zero, so the initial read
of 32 bytes into cap_buf is correct and as long as the disassembly
never needs to read more data we return the correct information.
Use the correct guest address in the call to read_memory_func().
Cc: qemu-stable@nongnu.org
Fixes: https://bugs.launchpad.net/qemu/+bug/1900779
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Message-id: 20201022132445.25039-1-peter.maydell@linaro.org
2020-11-02 19:52:16 +03:00
|
|
|
info->read_memory_func(pc + csize, cap_buf + csize, tsize, info);
|
2020-09-12 20:47:33 +03:00
|
|
|
csize += tsize;
|
|
|
|
|
|
|
|
if (cs_disasm_iter(handle, &cbuf, &csize, &pc, insn)) {
|
|
|
|
cap_dump_insn(info, insn);
|
|
|
|
if (--count <= 0) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
memmove(cap_buf, cbuf, csize);
|
|
|
|
}
|
|
|
|
|
|
|
|
cs_close(&handle);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Disassemble a single instruction directly into plugin output */
|
|
|
|
bool cap_disas_plugin(disassemble_info *info, uint64_t pc, size_t size)
|
|
|
|
{
|
|
|
|
uint8_t cap_buf[32];
|
|
|
|
const uint8_t *cbuf = cap_buf;
|
|
|
|
csh handle;
|
|
|
|
|
|
|
|
if (cap_disas_start(info, &handle) != CS_ERR_OK) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
assert(size < sizeof(cap_buf));
|
|
|
|
info->read_memory_func(pc, cap_buf, size, info);
|
|
|
|
|
|
|
|
if (cs_disasm_iter(handle, &cbuf, &size, &pc, cap_insn)) {
|
|
|
|
info->fprintf_func(info->stream, "%s %s",
|
|
|
|
cap_insn->mnemonic, cap_insn->op_str);
|
|
|
|
}
|
|
|
|
|
|
|
|
cs_close(&handle);
|
|
|
|
return true;
|
|
|
|
}
|