p4f-control-flow-analysis
p4f-control-flow-analysis copied to clipboard
Haskell implementation of P4F Control-Flow Analysis
P4F Control-Flow Analysis
Haskell implementation of P4F Control-Flow Analysis based on the Pushdown Control-Flow Analysis for Free paper.
Compile & Run
To compile you will need Haskell Stack.
stack setup
stack build
stack ghci P4F.hs