falconre / falcon

Binary Analysis Framework in Rust
Apache License 2.0
549 stars 47 forks source link

Graph: Add function to create the Dominator Tree of a graph #58

Closed emmanuel099 closed 4 years ago

emmanuel099 commented 4 years ago

The root node of the dominator tree is the start node. The childs of each node in the dominator tree are the nodes it immediately dominates.

I need the dominator tree for the SSA construction as described by Briggs.