├── .gitignore ├── CFA ├── AFJ.hs ├── AFJ │ ├── Analysis.hs │ ├── Analysis │ │ └── NonShared.hs │ └── Examples │ │ └── AbstractNonShared.hs ├── CESK.hs ├── CESK │ ├── Analysis.hs │ ├── Analysis │ │ ├── Concrete.hs │ │ └── NonShared.hs │ ├── Examples.hs │ └── Examples │ │ ├── AbstractNonShared.hs │ │ └── Concrete.hs ├── CFAMonads.hs ├── CPS.hs ├── CPS │ ├── Analysis.hs │ ├── Analysis │ │ ├── Concrete.hs │ │ ├── Interpreter.hs │ │ ├── NonShared.hs │ │ ├── Proof.hs │ │ ├── ReallyNonShared.hs │ │ ├── Shape │ │ │ └── Basic.hs │ │ ├── SimpleAnalysis.hs │ │ ├── SingleStore.hs │ │ ├── SingleStore │ │ │ └── SingleStoreGC.hs │ │ └── SingleStoreShape.hs │ ├── Examples.hs │ ├── Examples │ │ ├── AbstractNonShared.hs │ │ ├── AbstractNonSharedCount.hs │ │ ├── AbstractShared.hs │ │ ├── AbstractSharedCount.hs │ │ ├── AbstractSharedShape.hs │ │ └── Concrete.hs │ └── KCFA.hs ├── Lattice.hs ├── Runner.hs └── Store.hs ├── CRAPL-LICENSE.txt ├── Makefile ├── README ├── Util.hs └── obsolete ├── CFA.hs ├── CPS.hs ├── MonadAFJ.hs ├── MonadCESK.hs ├── MonadCFA.hs ├── MonadCFASP.hs ├── MonadCFASPT.hs ├── MonadCFASPTCh.hs ├── MonadKCFA.hs └── XCFA.hs /.gitignore: -------------------------------------------------------------------------------- 1 | *.o 2 | *.hi -------------------------------------------------------------------------------- /CFA/AFJ.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/AFJ.hs -------------------------------------------------------------------------------- /CFA/AFJ/Analysis.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/AFJ/Analysis.hs -------------------------------------------------------------------------------- /CFA/AFJ/Analysis/NonShared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/AFJ/Analysis/NonShared.hs -------------------------------------------------------------------------------- /CFA/AFJ/Examples/AbstractNonShared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/AFJ/Examples/AbstractNonShared.hs -------------------------------------------------------------------------------- /CFA/CESK.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CESK.hs -------------------------------------------------------------------------------- /CFA/CESK/Analysis.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CESK/Analysis.hs -------------------------------------------------------------------------------- /CFA/CESK/Analysis/Concrete.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CESK/Analysis/Concrete.hs -------------------------------------------------------------------------------- /CFA/CESK/Analysis/NonShared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CESK/Analysis/NonShared.hs -------------------------------------------------------------------------------- /CFA/CESK/Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CESK/Examples.hs -------------------------------------------------------------------------------- /CFA/CESK/Examples/AbstractNonShared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CESK/Examples/AbstractNonShared.hs -------------------------------------------------------------------------------- /CFA/CESK/Examples/Concrete.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CESK/Examples/Concrete.hs -------------------------------------------------------------------------------- /CFA/CFAMonads.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CFAMonads.hs -------------------------------------------------------------------------------- /CFA/CPS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS.hs -------------------------------------------------------------------------------- /CFA/CPS/Analysis.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Analysis.hs -------------------------------------------------------------------------------- /CFA/CPS/Analysis/Concrete.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Analysis/Concrete.hs -------------------------------------------------------------------------------- /CFA/CPS/Analysis/Interpreter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Analysis/Interpreter.hs -------------------------------------------------------------------------------- /CFA/CPS/Analysis/NonShared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Analysis/NonShared.hs -------------------------------------------------------------------------------- /CFA/CPS/Analysis/Proof.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Analysis/Proof.hs -------------------------------------------------------------------------------- /CFA/CPS/Analysis/ReallyNonShared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Analysis/ReallyNonShared.hs -------------------------------------------------------------------------------- /CFA/CPS/Analysis/Shape/Basic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Analysis/Shape/Basic.hs -------------------------------------------------------------------------------- /CFA/CPS/Analysis/SimpleAnalysis.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Analysis/SimpleAnalysis.hs -------------------------------------------------------------------------------- /CFA/CPS/Analysis/SingleStore.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Analysis/SingleStore.hs -------------------------------------------------------------------------------- /CFA/CPS/Analysis/SingleStore/SingleStoreGC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Analysis/SingleStore/SingleStoreGC.hs -------------------------------------------------------------------------------- /CFA/CPS/Analysis/SingleStoreShape.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Analysis/SingleStoreShape.hs -------------------------------------------------------------------------------- /CFA/CPS/Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Examples.hs -------------------------------------------------------------------------------- /CFA/CPS/Examples/AbstractNonShared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Examples/AbstractNonShared.hs -------------------------------------------------------------------------------- /CFA/CPS/Examples/AbstractNonSharedCount.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Examples/AbstractNonSharedCount.hs -------------------------------------------------------------------------------- /CFA/CPS/Examples/AbstractShared.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Examples/AbstractShared.hs -------------------------------------------------------------------------------- /CFA/CPS/Examples/AbstractSharedCount.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Examples/AbstractSharedCount.hs -------------------------------------------------------------------------------- /CFA/CPS/Examples/AbstractSharedShape.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Examples/AbstractSharedShape.hs -------------------------------------------------------------------------------- /CFA/CPS/Examples/Concrete.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/Examples/Concrete.hs -------------------------------------------------------------------------------- /CFA/CPS/KCFA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/CPS/KCFA.hs -------------------------------------------------------------------------------- /CFA/Lattice.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/Lattice.hs -------------------------------------------------------------------------------- /CFA/Runner.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/Runner.hs -------------------------------------------------------------------------------- /CFA/Store.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CFA/Store.hs -------------------------------------------------------------------------------- /CRAPL-LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/CRAPL-LICENSE.txt -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/Makefile -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/README -------------------------------------------------------------------------------- /Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/Util.hs -------------------------------------------------------------------------------- /obsolete/CFA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/obsolete/CFA.hs -------------------------------------------------------------------------------- /obsolete/CPS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/obsolete/CPS.hs -------------------------------------------------------------------------------- /obsolete/MonadAFJ.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/obsolete/MonadAFJ.hs -------------------------------------------------------------------------------- /obsolete/MonadCESK.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/obsolete/MonadCESK.hs -------------------------------------------------------------------------------- /obsolete/MonadCFA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/obsolete/MonadCFA.hs -------------------------------------------------------------------------------- /obsolete/MonadCFASP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/obsolete/MonadCFASP.hs -------------------------------------------------------------------------------- /obsolete/MonadCFASPT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/obsolete/MonadCFASPT.hs -------------------------------------------------------------------------------- /obsolete/MonadCFASPTCh.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/obsolete/MonadCFASPTCh.hs -------------------------------------------------------------------------------- /obsolete/MonadKCFA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/obsolete/MonadKCFA.hs -------------------------------------------------------------------------------- /obsolete/XCFA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ilyasergey/monadic-cfa/HEAD/obsolete/XCFA.hs --------------------------------------------------------------------------------