├── .gitignore ├── CMakeLists.txt ├── include ├── AndersonSolver.h ├── NodeFactory.h ├── PointerAnalysis.h ├── SteensgardSolver.h └── UnionSet.h ├── lib ├── AndersonSolver.cpp ├── ConstraintCollect.cpp ├── Main.cpp ├── NodeFactory.cpp ├── PointerAnalysis.cpp └── SteensgardSolver.cpp ├── note.md ├── readme.md ├── run.sh ├── sample-output ├── ptg.dot └── ptg.png ├── sh └── compile.sh └── test ├── test00.c ├── test01.c ├── test02.c ├── test03.c ├── test04.c └── test05.c /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /include/AndersonSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/include/AndersonSolver.h -------------------------------------------------------------------------------- /include/NodeFactory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/include/NodeFactory.h -------------------------------------------------------------------------------- /include/PointerAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/include/PointerAnalysis.h -------------------------------------------------------------------------------- /include/SteensgardSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/include/SteensgardSolver.h -------------------------------------------------------------------------------- /include/UnionSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/include/UnionSet.h -------------------------------------------------------------------------------- /lib/AndersonSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/lib/AndersonSolver.cpp -------------------------------------------------------------------------------- /lib/ConstraintCollect.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/lib/ConstraintCollect.cpp -------------------------------------------------------------------------------- /lib/Main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/lib/Main.cpp -------------------------------------------------------------------------------- /lib/NodeFactory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/lib/NodeFactory.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/lib/PointerAnalysis.cpp -------------------------------------------------------------------------------- /lib/SteensgardSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/lib/SteensgardSolver.cpp -------------------------------------------------------------------------------- /note.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/note.md -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/readme.md -------------------------------------------------------------------------------- /run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/run.sh -------------------------------------------------------------------------------- /sample-output/ptg.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/sample-output/ptg.dot -------------------------------------------------------------------------------- /sample-output/ptg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/sample-output/ptg.png -------------------------------------------------------------------------------- /sh/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/sh/compile.sh -------------------------------------------------------------------------------- /test/test00.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/test/test00.c -------------------------------------------------------------------------------- /test/test01.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/test/test01.c -------------------------------------------------------------------------------- /test/test02.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/test/test02.c -------------------------------------------------------------------------------- /test/test03.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/test/test03.c -------------------------------------------------------------------------------- /test/test04.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/test/test04.c -------------------------------------------------------------------------------- /test/test05.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/enochii/simple-pointer-analysis/HEAD/test/test05.c --------------------------------------------------------------------------------