anvill
anvill copied to clipboard
lifting-bits
anvill forges beautiful LLVM bitcode out of raw machine code
Looks like a segfault in the InstructionFolder handling of Phi nodes. ASAN Output: ``` I0611 09:31:35.531258 387184 Optimize.cpp:77] Optimizing module. ================================================================= ==387184==ERROR: AddressSanitizer: stack-buffer-overflow on address 0x7ffc189d6198 at pc 0x000000c715bf...
Just like we do with pc metadata annotation. This will help us more reliably track things when a given function goes from ARM to Thumb mode. Look at the lifter...
After successfully building and installing anvill (on both macOS and Linux), 'python3 -m anvill' results in a 'No module named anvill' error. After manually installing the anvill Python module, 'python3...
In this code, we observe some `ptrtoint` that reach an `icmp` (either directly or via a `phi` node), and this represents a missed opportunity for the pointer lifter. ```llvm ;...
We're widely using `llvm::legacy` pass managers. Might be a good idea to migrate to the new pass infrastructure eventually. [How to write a new LLVM pass](https://llvm.org/docs/WritingAnLLVMNewPMPass.html) [Using the new pass...
Sometimes binary ninja needs help determining what is armv7 and what is thumb2. We should have some way to query an external system or configuration to use manually specified entry...
Several times we have broken variable name tracking in anvill-decompile-json. Lets add a test to notice when we break it.
Right now we rely just on Binary Ninja or IDA to provide all knowledge about a function. We should be able to add external sources of information! Like, sometimes we...
Getting the following failure on x86 anghabench: ``` E0611 09:40:41.015743 491149 main.cpp:461] Size of register ST0 of return value in function declaration at 0 is too small (8 bytes) for...
A dynamic tracing tool that will consume Anvill's output would benefit from having the address of `ret` instructions/tail-calls in a function as part of the JSON output data. This would...
Metadata
Owner
Metadata
anvill forges beautiful LLVM bitcode out of raw machine code