BinaryAnalysisPlatform / bap OCaml 2.3K 286 Binary Analysis Platform binary-analysis reverse-engineering program-analysis static-analysis