search

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

Which ide can I use to browse the code? #96

Closed Waterman178 closed 5 years ago

Waterman178 commented 5 years ago

I want to convert it to c language, but I don't understand the Ocaml language. Which ide do you use?I am looking for an open source project that supports forward and backward taint analysis.And it must be c or c++ QQ截图20190824152111

trou commented 5 years ago

Hello, BinCAT is deeply relying on OCaml for its implementation, a rewrite in C or C++ would not make sense.

Waterman178 commented 5 years ago

Hello, BinCAT is deeply relying on OCaml for its implementation, a rewrite in C or C++ would not make sense.

I want to understand its taint analysis algorithm, but I don't understand Ocaml, what should I do?

trou commented 5 years ago

Learn OCaml, it's not that hard.