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

Optimize flags computations #47

Open trou opened 6 years ago

trou commented 6 years ago

Don't update flags when they are updated (set/undef) without being tested