Haskell implementation of P4F Control-Flow Analysis based on the Pushdown Control-Flow Analysis for Free paper.
To compile you will need Haskell Stack.
stack setup
stack build
stack ghci P4F.hs
-
Notifications
You must be signed in to change notification settings - Fork 1
Haskell implementation of P4F Control-Flow Analysis
License
csabahruska/p4f-control-flow-analysis
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Haskell implementation of P4F Control-Flow Analysis
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published