| Safe Haskell | Safe-Inferred |
|---|
Language.Boogie.DataFlow
Description
Data-flow analysis on Boogie code
- liveVariables :: Map Id [Statement] -> [Id]
- liveInputVariables :: PSig -> PDef -> ([Id], [Id])
Documentation
liveVariables :: Map Id [Statement] -> [Id]Source
Identifiers whose initial value might be read in body
liveInputVariables :: PSig -> PDef -> ([Id], [Id])Source
liveInputVariables sig def :
Input parameters (in the order they appear in sig) and global names,
whose initial value might be read by the procedure implementation def