BinaryAnalysisPlatform /bapOCaml2.3K286Binary Analysis Platformbinary-analysisreverse-engineeringprogram-analysisstatic-analysis
hirrolot /mazeppaOCaml47911A modern supercompiler for call-by-value functional languagescompilerfunctionalfunctional-programminglanguage