1.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+1 starsfrom 1,880 · score 0.69