crucible-0.7.1: Crucible is a library for language-agnostic symbolic simulation
Copyright(c) Galois Inc 2015
LicenseBSD3
MaintainerJoe Hendrix <jhendrix@galois.com>
Stabilityprovisional
Safe HaskellSafe-Inferred
LanguageHaskell2010

Lang.Crucible.Analysis.Reachable

Description

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 #