Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
callGraphDot :: CallNm -> FilePath -> [Module] -> IO CFG Source #
Call-graph output. Takes a start function foo, a filepath, and emits the graph named "foo.dot" in the filepath.
Generate a dot file of the control flow for a program.
SizeMap | |
|
Implementation-defined size map for stack elements.
defaultSizeMap :: SizeMap Source #
Maps everything to being size 1. Useful for testing.
Does the control-flow graph contain a loop?
Add Top to a type.
maxStack :: CallNm -> CFG -> SizeMap -> WithTop Size Source #
Takes a procedure name, a control-flow graph, and a SizeMap
and produces
the maximum stack usage starting at the procedure give. Returns Top
if
there is an unanalyzable loop in the program (ie., non-constant loop) and
Val max
otherwise.