BinaryAnalysisPlatform / bap

Binary Analysis Platform
MIT License
2.07k stars 273 forks source link

fixes the IR theory implementation #1377

Closed ivg closed 2 years ago

ivg commented 2 years ago

The seq function was incorrectly dropping blocks because the is_empty predicate was not updated in #1326 when subinstructions were introduced and the null label started to be used everywhere.