keenuts / abstract_vuln_finder Goto Github PK
View Code? Open in Web Editor NEWThis project forked from 0xdouze/abstract_vuln_finder
Checking for buffer overflows using abstract interpretation on lifted llvm bitcode (not finished)
License: MIT License