Copyright | (c) Galois Inc 2015 |
---|---|
License | BSD3 |
Maintainer | Joe Hendrix <jhendrix@galois.com> |
Stability | provisional |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Compute reachability on CFG blocks, reduce the CFG to include just the reachable blocks, and remap block labels in the program to point to the new, relabeled blocks.
Documentation
reachableCFG :: CFG ext blocks init ret -> SomeCFG ext init ret Source #