1.BinaryAnalysisPlatform / bapBinary Analysis Platformbinary-analysisreverse-engineeringprogram-analysisstatic-analysisdynamic-analysisprogram-verification+13 moreOCamlMIT2.3K total286 forks+20 starsfrom 2,244 · score 3.04
2.airbus-seclab / bincatBinary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detectionida-plugintaint-analysisreverse-engineeringdisassemblyOCamlNo license1.9K total166 forks+18 starsfrom 1,864 · score 2.94
3.mirleft / ocaml-tlsTLS in pure OCamltlsocamlmirageossecurityOCamlBSD-2-CLAUSE321 total70 forks+1 starsfrom 320 · score 0.69