GitHub repository: sdasgup3/validating-binary-decompilation
Primary language: LLVM
Description: Scalable Validator for Binary Lifters