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

Fix state merging #119

Closed DarkaMaul closed 4 years ago

DarkaMaul commented 4 years ago

Try to fix #118

However, I'm not convinced that's the best solution to fix it (could be also enforced in the is_subset checks).

trou commented 4 years ago

Thanks for the fix !