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 2 months 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 (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-06-28T22:17:57.000Z (almost 5 years ago)
- Last Synced: 2025-03-26T08:51:36.065Z (2 months ago)
- Topics: compositional, decompilation, equivalence-checker, llvm-ir, validation, x86-64, z3-smt-solver
- Language: LLVM
- Homepage:
- Size: 1.01 GB
- Stars: 55
- Watchers: 7
- Forks: 8
- Open Issues: 1