p4f-control-flow-analysis icon indicating copy to clipboard operation
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