GitHub - ilyasergey/monadic-cfa: Generic implementation of different CFA families based on monadic decomposition

ilyasergey / monadic-cfa Public

Notifications You must be signed in to change notification settings
Fork 0
Star 21

Generic implementation of different CFA families based on monadic decomposition

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 110 Commits
CFA		CFA
obsolete		obsolete
.gitignore		.gitignore
CRAPL-LICENSE.txt		CRAPL-LICENSE.txt
Makefile		Makefile
README		README
Util.hs		Util.hs

Repository files navigation

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