Recover High Level IR from Patchable IR #342
Draft
Commits on Nov 18, 2022
Commits on Nov 20, 2022
Commits on Nov 21, 2022
Commits on Nov 28, 2022
-
-
Revert "First attempt at recovering params/locals"
This reverts commit d12d438.
-
Commits on Nov 29, 2022
Commits on Dec 3, 2022
Commits on Dec 6, 2022
Commits on Dec 8, 2022
Commits on Dec 9, 2022
Commits on Dec 12, 2022
Commits on Dec 16, 2022
Commits on Dec 20, 2022
Commits on Dec 21, 2022
-
fix stack pointer, also update stackp pointer replacement to referenc…
…e argument passed scope vars
-
-
-
-
-
-
-
Commits on Jan 6, 2023
-
refactor to lift all live variables (#341)
* refactor to lift all live variables * implement shared liveness utilities * convert bytes to bits... * insert into right vector
-
Commits on Jan 7, 2023
Commits on Jan 9, 2023
Commits on Jan 12, 2023
-
-
-
Revert "Don't run the first set of function passes again"
This reverts commit 0648c6f.
-
Commits on Jan 30, 2023
-
* switch to rustup * add cargo path * fix typo * switch remill submod * fix pass tests * use gh action * only warn when missing reg * allow for missing registers in affine eqs * log as error * Fix errors when decoding opaque pointer specs * Fix macos build * more robustness * add pointer displacements * hacky solution for dynamic use of stack * actually do the replacement when cast to int * get max stack depth from ghidra * fix assert to allow for max depth * fix insert point for casts * bump to remill version that allows additional parameters by default * escape anvill_sp if a stack reference isnt recoverable --------- Co-authored-by: Francesco Bertolaccini <[email protected]>
Commits on Feb 2, 2023
-
* add block method to get func addr * pass initialized program counter to lifted function * fix long standing bug * use arrayref instead * skip unsized types
Commits on Feb 6, 2023
-
* PowerPC Support * Add PowerPC architecture to Protobuf specification * Pin Remill submodule to PPC branch * Fix inconsistency with mismatching address and PC reg size * Add PPC case to util functions * More address size fixes * Another address type fix * Log decoding error message * bump remill * bump cxx-common, drop llvm 14, bump mac runner * Bump Remill * Use `auto` where appropriate Co-authored-by: lkorenc <[email protected]> * Remove unused `injected_sret` * Use type aliases for function types * update deprecated CI * remove binja from ci * update path in script * lifting tools updates * update ignore list * run on large runner * update gh actions * Revert "update path in script" This reverts commit b51e676. * Revert "lifting tools updates" This reverts commit 4205460. * ABI fixes and comments * Bump Remill * Rename since EABI is based off SysV * Pin Remill to master * ignore go tests * upload error logs on CI failure * tar + compress logs first * enable globbing * fix shell syntax * reduce cores so build is less likely to race * decouple requirements from matrix name * bump lifting-tools-ci * remove ignore for ppc * fix missing comma * add language overrides * ignore hidden files --------- Co-authored-by: William Tan <[email protected]> Co-authored-by: lkorenc <[email protected]> Co-authored-by: 2over12 <[email protected]>
4 people authoredFeb 6, 2023
Commits on Feb 8, 2023
Commits on Feb 13, 2023
-
* update path in script * update ignore list * run on large runner * Remove `LLVM_VERSION` compatibility checks for LLVM < 15 * Remove references to LLVM 14 in README and scripts * update macos version in matrix * Revert "update macos version in matrix" This reverts commit a19dd67. * bump anvill ci tools, add languageid overrides * handle created block with no terminator * add error for undecodeable instructions * bump java version * upload error logs on CI failure * tar + compress logs first * enable all ppc binaries except for challenge 10 * bump remill to fix infinite loop * more aggressively fix up terminators * prevent underflow and add parameter offset * handle cdi bugs by assuming the max depth is the stack depth * bump testing tool --------- Co-authored-by: Alex Cameron <[email protected]> Co-authored-by: 2over12 <[email protected]>
3 people authoredFeb 13, 2023
Commits on Feb 16, 2023
-
Add global register support (#351)
* implement consuming global register value information from spec * add flag to enable llvm debug output * fix global lifting * clang format * remove extra ->dump * remove unused typedef * use emplace + move instead of insert --------- Co-authored-by: 2over12 <[email protected]>
Commits on Feb 21, 2023
-
Respect taint pc flag when lifting constant symvals (#355)
* update format * adapt types
Commits on Feb 22, 2023
-
Adds a control flow simplification pass to support idiomatic block go…
…tos (#354) * implement straightforward case * fix trivial case * add comment * add conditional branch * add optional remove next pc * fix header * add decompile flag for remove next pc
Commits on Feb 24, 2023
-
Rework load lifted value and store native to operate over composite l…
…ow level storage (#356) * hacky compiles * links * casts * first kinda working version * keep around entities * dont try to lift null return * add check * remove spurious check * bump remill * dont let passbuilder use default lib info
Commits on Mar 13, 2023
Commits on Mar 22, 2023
Commits on Mar 27, 2023
-
Adds back splitting the stack around the return address preventing ex…
…posing the return address pointer (#365) * split stack reenabled * fix return replacement for void returns * add no return to call * Remove unneded include * clone self... --------- Co-authored-by: Francesco Bertolaccini <[email protected]>
Commits on Mar 29, 2023
-
* Always pass all stack vars and regs to bb funcs * Read used registers from spec * Port commit from old PR * Fix ownership bug * Tail call by passing all the arguments * Fix compile error * Fix empty basic block function declarations * Use locally allocated storage for next_pc * Optimize after removing intrinsics to improve control flow * Lift function returns to native returns * look at all in scope vars at once * filter through all variables * only recover references for variables in scope in the block * add back permissiveness related to lives * Remove unused parameter * Remove unused passes * Use named constants for argument indices * Bump anvill to C++20 * Use default comparison when searching parameters * create empty decls as needed for bad edges * remove stale test script * Don't share basic blocks between functions * Relax type spec comparison --------- Co-authored-by: 2over12 <[email protected]>
-
Ian/fix hash for typespecs (#367)
* add hash defs * fix more pointer hashes
Commits on Apr 3, 2023
Commits on Apr 7, 2023
-
Keep memory consistent through basic block calls and returns (#370)
* use memory pointer for calling sub basic blocks * more complete mem passing
Commits on May 4, 2023
-
-
Update remill for anvill (#371)
* bump remill * bump remill * try bump ci to 22.04 * bump dockerfile * bump cxx common * install venv
-
Swap AArch64 to use Sleigh Semantics (#377)
* bump remill * bump remill * swap to sleigh for aarch64
-
Split symvals into equalities at entry and exit (#375)
* Split symvals into equalities at entry and exit * Ignore assignments active at entry and exit * Factor out some code * More refactoring * Only pack live values at exit if not constant --------- Co-authored-by: 2over12 <[email protected]>
Commits on May 10, 2023
-
-
* Performance fixes * Begin verifying modules move the DSE pass again * bump remill * Fix Remill submodule * Only verify LLVM functions and modules in debug mode --------- Co-authored-by: 2over12 <[email protected]>
Commits on May 19, 2023
-
Get Anvill building with LLVM 16 (#376)
* Get Anvill building with LLVM 16 * Update scripts and CI to use LLVM 16 * Bump cxx-common versions * Fix scripts to work with new `cxx-common` * Put code to add SROA pass behind a helper * Bump Remill * Bump Remill now that LLVM 16 support has been merged into `master` * Bump `cxx-common` to v0.3.2 * Remove LLVM 15 support
-
* Set metadata for live values * Add type decoding from metadata
Commits on Jun 1, 2023
-
* add image base to spec * add image name to spec * add image base/name to anvill spec * use std::uint64_t * Use const ref where appropriate * fix dcheck * maintain backwards compat --------- Co-authored-by: Alex Cameron <[email protected]> Co-authored-by: 2over12 <[email protected]>
3 people authoredJun 1, 2023
Commits on Jul 5, 2023
Commits on Jul 7, 2023
Commits on Jul 11, 2023
Commits on Aug 2, 2023
-
* add flags to print llvm ir before/after each llvm pass * set llvm debug flag earlier * python script to print diff between llvm opts * add note on usage * add comment * use new pass manager, otherwise debug diff won't work * don't enable debug logging unless a debug flag is specified * clang format
Commits on Aug 8, 2023
Commits on Aug 16, 2023
Commits on Sep 18, 2023
-
Ian/allow for typehints in spec (#390)
* add support for type hints after instructions * fix annotations to use intrinsics * remove spurious header * remove unrequired import * remove unused import
Commits on Sep 21, 2023
Commits on Sep 25, 2023
Commits on Sep 26, 2023
Commits on Oct 4, 2023
-
* implement call site override * simplify override logic * address c++ nits * add missing const * a bb context should always exist given a valid bb address
Commits on Oct 11, 2023
Commits on Oct 12, 2023
-
-
UID codeblocks refactor (#396)
* Use UID for codeblocks * Fix BasicBlockContext lookups Fixes the missing literal_struct_2 issue * Test CI * Strong Uid typing * Cleanup and support parsing Json spec * Revert "Test CI" This reverts commit 4cfe2d9. * Remove basic block address metadata Look up address using UID * Fix review comments and add entry_uid to function spec * Keep track of UID to CodeBlock mapping Useful for getting CodeBlock function addresses without a tracked function * point to compatible irene --------- Co-authored-by: 2over12 <[email protected]>
Commits on Oct 13, 2023
-
* llvm 17 fixes * bump remill * bump llvm, cxx common, xcode, macos, remill * bump matrix * bump remill, use irene main * fix creffolder and dont run on module in inliner
Commits on Oct 24, 2023
-
Fix accesses to globals that occur in the middle of the global (#399)
* devectorize * shift indices into second vec * make big endian work * add some sort of actual test * handle access in middle * fix dl * dont go off end of iter * null check on adapt * get datalayout from arch * bump ci * dlog and comment
Commits on Oct 27, 2023
Commits on Nov 10, 2023
-
* update link to empirehacking slack (#383) * use sparc sleigh * update submodule * bump remill * bump remill * update remill * pass build flags to remill for debug symbols * update remill * add noreturn flag * correctly handle noreturn pt1 * fix return value to also take into account noreturn * bump remill * bump remill * update remill * bump remill * bump remill * bump remill * bump remill * bump remill * adapt type for stack offsets * use specified register directly * bump remill * bump remill --------- Co-authored-by: James Olds <[email protected]> Co-authored-by: 2over12 <[email protected]>
3 people authoredNov 10, 2023
Commits on Nov 17, 2023
-
Fix infinite loop with self-referential global struct (#403)
The issue that this change solves can be repeated with the following program ```c // gcc -O0 -g -gdwarf-4 self_refer.c -o self_refer #include <stdio.h> struct foo { int num; struct foo *foo_next; }; static struct foo foo0 = { .num = 3, .foo_next = &foo0 }; int main() { printf("Num: %d\n", foo0.foo_next->num); } ```
Commits on Dec 5, 2023
-
Bump lifting-tools-ci to use clang-14 for SPARC (#404)
* allow for manual workflow trigger * bump lifting-tools-ci for sparc binaries + clang14 * bump for sparc
-
Basic pointer use heuristic (#402)
* basic pointer fix * add binary addrs * spurious header * add type names * named types * default for null ty * fix typedef
Commits on Feb 28, 2024
-
bump remill and fix initial state pc (#407)
* bump remill and fix initial state pc * bump remill * don't install python3 bindings in CI * dont set body twice if struct named twice * completely remove python * try to be robust to overlapping vars --------- Co-authored-by: William Tan <[email protected]>
Commits on Feb 29, 2024
-
* return decl instead of nullptr * return error/null instead of decl
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.