lifting-bits-remill

mirror of https://github.com/lifting-bits/remill synced 2026-06-21 13:56:07 +00:00

Files

T

Peter Goodman 3a16ad4a82 CMake improvements and refactor of __remill_basic_block (#447 )

* Append project name to the check_git target to fix compound builds (#446)
* Change the way we get registers for __remill_basic_block so that it's the Arch class of the target that actually populates the function, and isn't based on reverse-engineering what's visible in the function as compiled by llvm
* Renamed a cmake var to reduce likelihood of conflicts, and tries to make sure remill only links against static llvm libraries
* Fix instruction dominance issues
* Minor fix on the type of PC on x86
* Added new implementation (in Arch.cpp) of the AArch64 __remill_basic_block function

Co-authored-by: Artem Dinaburg <artem@trailofbits.com>
Co-authored-by: Eric Kilmer <eric.d.kilmer@gmail.com>

2020-09-17 01:55:25 -04:00

aarch64

Aarch64 tester (#128 )

2017-08-04 15:24:46 -04:00

x86

Aarch64 tester (#128 )

2017-08-04 15:24:46 -04:00

__init__.py

Added Interrupt structure to State structure for x86. It's not an ideal way of configuring interrupts, but it currently seems like the only way to handle conditional interrupts, e.g. via BOUND or INTO. I might need something similar for SYSCALL vs. SYSENTER. Split the build script out into a build script and a build system. Made it so that the IDA script splits interrupts off into their own blocks. This is so that we can restart interrupts by jumping back to the blocks associated with the address of the instruction. Moving the tools stuff out into its own repo as it complicates things to have it in the source.

2016-01-27 14:25:52 -05:00

build_klee.sh

Adds in missing options to klee cmake invocation.