All Git Users → sdasgup3

2 open source projects by sdasgup3

[ Open user page on Github ]

1. binary-decompilation

Extracting high level semantic information from binary code

✭ 55

assembly LLVM python HTML c perl semantics x86-64 symbolic-execution x86 binary-analysis program-analysis llvm-bitcode kframework

2. validating-binary-decompilation

Scalable Validator for Binary Lifters

✭ 41

LLVM Makefile python assembly C++perl validation x86-64 decompilation llvm-ir z3-smt-solver compositional equivalence-checker

1-2 of 2 user projects