Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/sdasgup3/validating-binary-decompilation
Scalable Validator for Binary Lifters
https://github.com/sdasgup3/validating-binary-decompilation
compositional decompilation equivalence-checker llvm-ir validation x86-64 z3-smt-solver
Last synced: about 16 hours ago
JSON representation
Scalable Validator for Binary Lifters
- Host: GitHub
- URL: https://github.com/sdasgup3/validating-binary-decompilation
- Owner: sdasgup3
- License: other
- Created: 2019-05-21T00:54:03.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2020-06-28T22:17:57.000Z (over 4 years ago)
- Last Synced: 2023-10-25T23:25:36.978Z (about 1 year ago)
- Topics: compositional, decompilation, equivalence-checker, llvm-ir, validation, x86-64, z3-smt-solver
- Language: LLVM
- Homepage:
- Size: 1.01 GB
- Stars: 48
- Watchers: 8
- Forks: 8
- Open Issues: 1