| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Tokstyle.Analysis.PointsTo.Fixpoint
Synopsis
- type CallGraph = Map (ScopedId, RelevantInputState) (Set (ScopedId, RelevantInputState))
- type CFG id fact = Map Int (CFGNode id fact)
- runGlobalFixpoint :: PointsToContext ScopedId -> [Node (Lexeme ScopedId)] -> (GlobalEnv, CallGraph, CFGCache, MemLocPool)
- findEntryPointsAndFuncMap :: [Node (Lexeme ScopedId)] -> ([ScopedId], Map ScopedId [Node (Lexeme ScopedId)])
- findVarTypes :: Node (Lexeme ScopedId) -> Map ScopedId (Node (Lexeme ScopedId))
Documentation
type CallGraph = Map (ScopedId, RelevantInputState) (Set (ScopedId, RelevantInputState)) Source #
The call graph of the program.
runGlobalFixpoint :: PointsToContext ScopedId -> [Node (Lexeme ScopedId)] -> (GlobalEnv, CallGraph, CFGCache, MemLocPool) Source #
The main driver for the global fixpoint analysis.