Lang.Crucible.CFG.ExtractSubgraph

Documentation

extractSubgraph :: (KnownCtx TypeRepr init, KnownRepr TypeRepr ret) => CFG ext blocks init ret -> Set (BlockID blocks (EmptyCtx ::> ret)) -> BlockID blocks init -> HandleAllocator -> IO (Maybe (SomeCFG ext init ret))

Given a CFG cfg, a set of blocks cuts that take the return type as their sole argument, and a block bi that takes the CFG's init type as its sole argument, construct a CFG that is a maximal subgraph starting at bi and not entering any block in cuts. If the original graph would enter a block in cuts, the value passed to that block is returned. If bi member cuts, then whenever the subgraph would transition to bi, it returns the value that would be passed to bi instead.