https://github.com/ilyasergey/monadic-cfa

Generic implementation of different CFA families based on monadic decomposition
https://github.com/ilyasergey/monadic-cfa

abstract-interpretation haskell k-cfa monads static-analysis

Last synced: 27 days ago
JSON representation

Generic implementation of different CFA families based on monadic decomposition

• Host: GitHub
• URL: https://github.com/ilyasergey/monadic-cfa
• Owner: ilyasergey
• License: other
• Created: 2012-03-15T15:44:22.000Z (almost 13 years ago)
• Default Branch: master
• Last Pushed: 2013-01-16T22:40:20.000Z (almost 12 years ago)
• Last Synced: 2023-08-10T05:03:25.794Z (over 1 year ago)
• Topics: abstract-interpretation, haskell, k-cfa, monads, static-analysis
• Language: Haskell
• Homepage: http://github.com/ilyasergey/monadic-cfa/wiki
• Size: 316 KB
• Stars: 19
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

        
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