| Copyright | (c) Galois Inc 2014 |
|---|---|
| License | BSD3 |
| Maintainer | Joe Hendrix <jhendrix@galois.com> |
| Stability | provisional |
| Safe Haskell | None |
| 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 :: forall ext (b :: Ctx (Ctx CrucibleType)) (i :: Ctx CrucibleType) (r :: CrucibleType). CFG ext b i r -> CFGPostdom b
- breakpointPostdomInfo :: forall ext (b :: Ctx (Ctx CrucibleType)) (i :: Ctx CrucibleType) (r :: CrucibleType). CFG ext b i r -> [BreakpointName] -> CFGPostdom b
- validatePostdom :: forall ext (blocks :: Ctx (Ctx CrucibleType)) (init :: Ctx CrucibleType) (ret :: CrucibleType). CFG ext blocks init ret -> CFGPostdom blocks -> [String]
Documentation
postdomInfo :: forall ext (b :: Ctx (Ctx CrucibleType)) (i :: Ctx CrucibleType) (r :: CrucibleType). CFG ext b i r -> CFGPostdom b Source #
Compute posstdom information for CFG.
breakpointPostdomInfo :: forall ext (b :: Ctx (Ctx CrucibleType)) (i :: Ctx CrucibleType) (r :: CrucibleType). CFG ext b i r -> [BreakpointName] -> CFGPostdom b Source #
validatePostdom :: forall ext (blocks :: Ctx (Ctx CrucibleType)) (init :: Ctx CrucibleType) (ret :: CrucibleType). CFG ext blocks init ret -> CFGPostdom blocks -> [String] Source #