Peter Goodman

Enable binary parsing of std::string_view

1

**Is your feature request related to a problem? Please describe.** The problem I would like to have solved is that binary parsers do not require a vector of file contents,...

Build errors on ubuntu 20.04 with

3

   Example GCC command line: ``` [ 6%] Building CXX object lib/Arch/AArch32/CMakeFiles/remill_arch_aarch32.dir/Decode.cpp.o cd /root/build/remill/lib/Arch/AArch32 && /usr/bin/c++ -DGFLAGS_DLL_DECLARE_FLAG="" -DGFLAGS_DLL_DEFINE_FLAG="" -DGFLAGS_IS_A_DLL=0 -DGOOGLE_GLOG_DLL_DECL="" -DNDEBUG -DREMILL_BUILD_SEMANTICS_DIR_AARCH32=\"/root/build/remill/lib/Arch/AArch32/Runtime\" -DREMILL_BUILD_SEMANTICS_DIR_AARCH64=\"/root/build/remill/lib/Arch/AArch64/Runtime\" -DREMILL_BUILD_SEMANTICS_DIR_SPARC32=\"/root/build/remill/lib/Arch/SPARC32/Runtime\" -DREMILL_BUILD_SEMANTICS_DIR_SPARC64=\"/root/build/remill/lib/Arch/SPARC64/Runtime\" -DREMILL_BUILD_SEMANTICS_DIR_X86=\"/root/build/remill/lib/Arch/X86/Runtime\" -DREMILL_INSTALL_SEMANTICS_DIR=\"/usr/local/share/remill/12/semantics\" -D_GNU_SOURCE...

X87 Instruction support

1

Implement and test the following instructions: - [x] F2XM1 - [x] FABS - [x] FADD - [x] FADDP - [x] FBLD - [x] FBSTP - [x] FCHS - [x] FCMOVB...

Type conversion instruction support

1

Implement and test the following instructions: - [x] CBW - [x] CDQ - [x] CDQE - [x] CQO - [x] CVTDQ2PD - [x] CVTDQ2PS - [x] CVTPD2DQ - [ ]...

Not sure how this how this escaped me, but all the general-purpose variants of `LSL` are lacking semantics, e.g. ```(AMD64 7ffd41fc39d2 4 (BYTES 41 0f 03 f1) LSL_GPRv_GPRz_32 (WRITE_OP (REG_64...

- [ ] `(AMD64 7ffffe1d0e02 10 (BYTES c4 e3 69 44 1d f4 e2 ff ff 10) VPCLMULQDQ_XMMdq_XMMdq_MEMdq_IMMb (WRITE_OP (REG_256 YMM3)) (READ_OP (REG_128 XMM2)) (READ_OP (DWORD_PTR (ADD (REG_64 PC) (SIGNED_IMM_64...

- [x] `(AMD64 bc5ad 3 (BYTES 0f 57 ff) XORPS_XMMxud_XMMxud (WRITE_OP (REG_256 YMM7)) (READ_OP (REG_256 YMM7)) (READ_OP (REG_128 XMM7)))` - [ ] `(AMD64 bf2ac 4 (BYTES 66 0f 57 c9)...

Optimization idea: copy semantics functions as-needed into lifting module

2

Right now, we load up a semantics module, then lift code into that module, then optimize that module, then typically move lifted code out of the semantics, or delete the...

Add TCG meta-architecture support

2

Bringing up new architectures is challenging, and even for supported architectures, there remain many instructions that we don't model. QEMU's Tiny Code Generator (TCG) is a permissively licensed library used...