fkie-cad / dewolf

A research decompiler implemented as a Binary Ninja plugin.
GNU Lesser General Public License v2.1
172 stars 9 forks source link

Assert that no duplicated DataflowObjects exist after any pipeline stage #331

Closed rihi closed 1 year ago

rihi commented 1 year ago

This pull request adds a simple check after every pipeline stage is run, which verifies that no duplicated dataflow objects exist in the cfg. Duplicate meaning objects are the same instance (id(x) == id(y)). This check is only done if validate_no_dataflow_dup is enabled.