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

Output error with tutorial #115

Closed DarkaMaul closed 3 years ago

DarkaMaul commented 4 years ago

Hello,

Using both master and the last release in both the container or directly, I can't follow the tutorial to the end.

Indeed, if the analysis finishes, the out.ini file takes forever to be generated (e.g. probably days). The problem (probably) comes from a "description" field that is too long and mostly empty (~180k characters)

Please find attached both the init.txt, the analyzer.log and the out.txt (I manually stopped the run after a few seconds to demonstrate the problem).

Ps: Note that I disabled the types generation

Thanks a lot for your help

trou commented 3 years ago

Hello, thank you for the report and sorry for having taken so long to reply.

The current master branch does not have the problem anymore. So I'll close both Issue and PR for the time being and update with the relevant commit if we identify it.