ilyasergey/monadic-cfa

Generic implementation of different CFA families based on monadic decomposition

Project structure:
------------------

CFA         - General modules, shred between different CFA instances and languages
 |- AFJ     - A family of analyses based on CESK Abstract Machine 
 |            for A-Normal Featherweight Java
 |- CESK    - A family of analyses based on CESK Abstract Machine
 |            for direct-style Lambda-calculus
 |- CPS     - A family of analyses based on CPS Scheme

How to build:
-------------

Build everything:

make all    

Build CPS-based analyses: 

make cps

Build CESK-based analyses: 

make cesk

Build ANF FJ-based analyses: 

make afj

Clean:

make clean