GeezerVison

GeezerVison is showing github.com — GitHub - mycppfeed/binary-decompilation: Extracting high level semantic information from binary code

Branches Tags

Open more actions menu

Latest commit

History

1,935 Commits

Folders and files

Name		Name	Last commit message	Last commit date
docs		docs
include		include
libs		libs
reports		reports
test		test
tools		tools
x86-semantics		x86-semantics
.gitignore		.gitignore
.gitmodules		.gitmodules
CMakeLists.txt		CMakeLists.txt
CheckFormat.cmake		CheckFormat.cmake
LICENSE.TXT		LICENSE.TXT
README.md		README.md

Repository files navigation

Variable Recovery
- Problem: To extract variable and type information from x86 binary to llvm ir. poster@LLVM 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;
    }
}