cwe_checker is a BAP plugin to find vulnerable patterns in binary executables - View it on GitHub