c or c++ for taint analysis

airbus-seclab / bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

1.66k stars 159 forks source link

Closed Waterman178 closed 5 years ago

Waterman178 commented 5 years ago

Is there a taint analysis algorithm implemented by c or c++?And it supports backward and forward analysis.

trou commented 5 years ago

Please open issues related to BinCAT.