GitHub repository: 0xDouze/abstract_vuln_finder
Primary language: LLVM
Description: Checking for buffer overflows using abstract interpretation on lifted llvm bitcode (not finished)