[Bug] Fix bug in default-case and start with insert intersecting cases

fkie-cad / dewolf

A research decompiler implemented as a Binary Ninja plugin.

GNU Lesser General Public License v2.1

162 stars 9 forks source link

[Bug] Fix bug in default-case and start with insert intersecting cases #313

Closed ebehner closed 10 months ago

ebehner commented 11 months ago

We have two minor bugs for adding the default case, by not checking that the default-condition can be None, if we can not transform it back into symbols. The other is in inserting intersecting cases, where the insertion before has a bug.