search

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

Redundant conditions #280

Closed ebehner closed 11 months ago

ebehner commented 11 months ago

Handle redundant conditions for conditions-nodes in front of sequence nodes, as in the following example: z_ast Here the condition of node 4 is irrelevant for the condition of node 8