| Copyright | (c) Galois Inc 2014 |
|---|---|
| License | BSD3 |
| Maintainer | Joe Hendrix <jhendrix@galois.com> |
| Stability | provisional |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Lang.Crucible.Analysis.Postdom
Description
This module provides a method for populating the postdominator fields in blocks of a Core SSA-form CFG.
Synopsis
- postdomInfo :: CFG ext b i r -> CFGPostdom b
- breakpointPostdomInfo :: CFG ext b i r -> [BreakpointName] -> CFGPostdom b
- validatePostdom :: CFG ext blocks init ret -> CFGPostdom blocks -> [String]
Documentation
postdomInfo :: CFG ext b i r -> CFGPostdom b Source #
Compute posstdom information for CFG.
breakpointPostdomInfo :: CFG ext b i r -> [BreakpointName] -> CFGPostdom b Source #
validatePostdom :: CFG ext blocks init ret -> CFGPostdom blocks -> [String] Source #