Giters
sdasgup3
/
validating-binary-decompilation
Scalable Validator for Binary Lifters
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
53
Watchers:
8
Issues:
24
Forks:
8
sdasgup3/validating-binary-decompilation Issues
Iterative pruning based matcher
Updated
4 years ago
Matching experiments: Using validated single instruction compositions
Closed
4 years ago
Try Autotuner
Closed
4 years ago
Comments count
1
Thesis
Closed
4 years ago
Comments count
5
Reducing trust base in the normalizer
Closed
4 years ago
Comments count
1
Validate Mcsema-decompiled LLVM ir for single instructions
Closed
4 years ago
Comments count
1
Add Memory dependence edges in the lifted IRs
Closed
4 years ago
Use relocation informatiion in the binary to decide if a value is address or a constant
Closed
5 years ago
Compacting compositional decompiler cache size
Closed
5 years ago
Comments count
1
PLDI 2020 Submission
Closed
5 years ago
Testing Program Validation using Compositional decompilatio
Closed
5 years ago
Prepare for LLVM's symbolic execution
Closed
5 years ago
Comments count
1
Matching experiments: Using data-flow-strand-paths
Closed
5 years ago
Prune out spurious df edges of the dfg of the binary
Closed
5 years ago
Add memory nodes in x86 dfg
Closed
5 years ago
Create dfg from x86 binary
Closed
5 years ago
Comments count
1
CGO Submission
Closed
5 years ago
Create LLVM Matcher
Closed
5 years ago
Automate compositional decompiler
Closed
5 years ago
Create an LLVM tool for matching, using the stoke libraries.
Closed
5 years ago
Comments count
2
Write the reaching definition analysis at x86 level.
Closed
5 years ago
Make the LVM IR DFG work with optimized code
Closed
5 years ago
Build the pldi19-equivalence-checker: Available at https://github.com/allvm/pldi19-equivalence-checker
Closed
5 years ago
Port the project to latest remill/mcsema
Closed
5 years ago