Table of Contents

• Variable Recovery
  • Problem: To extract variable and type information from x86 binary to llvm ir. [email protected] Dev 2016 [slides] (docs/proposal.pdf)
  • Meeting Minutes
  • Build Instructions & Usage Model
  • [State-of-the-art Survey] (docs/related-work.md)
• Related Topics
  • [Basics: Binary Decompilation] (docs/basics-of-binary-decompilation.md)

uintptr_t safe_addptr(int *of, uint64_t a, uint64_t b) {
    
    uintptr_t r = a + b;
    
    if (r < a) {
      *of = 1;
      return r;
    } else {
      return r;
    }
}