README.md

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