├── .gitignore ├── CMakeLists.txt ├── README ├── TODO ├── src ├── CMakeLists.txt ├── Callgraph │ ├── Callgraph.cpp │ └── Callgraph.h ├── Kleerer.cpp ├── Languages │ ├── LLVM.cpp │ ├── LLVM.h │ └── LLVMSupport.h ├── ModStats.cpp ├── Modifies │ ├── Modifies.cpp │ └── Modifies.h ├── PointsTo │ ├── PointsTo.cpp │ ├── PointsTo.h │ └── RuleExpressions.h └── Slicing │ ├── FunctionStaticSlicer.cpp │ ├── FunctionStaticSlicer.h │ ├── PostDominanceFrontier.cpp │ ├── PostDominanceFrontier.h │ ├── Prepare.cpp │ ├── Prepare.h │ └── StaticSlicer.cpp └── test ├── CMakeLists.txt ├── a.c ├── dump-points-to.cpp ├── field-sensitive-test.cpp └── linked.c /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/README -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/TODO -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/Callgraph/Callgraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Callgraph/Callgraph.cpp -------------------------------------------------------------------------------- /src/Callgraph/Callgraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Callgraph/Callgraph.h -------------------------------------------------------------------------------- /src/Kleerer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Kleerer.cpp -------------------------------------------------------------------------------- /src/Languages/LLVM.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Languages/LLVM.cpp -------------------------------------------------------------------------------- /src/Languages/LLVM.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Languages/LLVM.h -------------------------------------------------------------------------------- /src/Languages/LLVMSupport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Languages/LLVMSupport.h -------------------------------------------------------------------------------- /src/ModStats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/ModStats.cpp -------------------------------------------------------------------------------- /src/Modifies/Modifies.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Modifies/Modifies.cpp -------------------------------------------------------------------------------- /src/Modifies/Modifies.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Modifies/Modifies.h -------------------------------------------------------------------------------- /src/PointsTo/PointsTo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/PointsTo/PointsTo.cpp -------------------------------------------------------------------------------- /src/PointsTo/PointsTo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/PointsTo/PointsTo.h -------------------------------------------------------------------------------- /src/PointsTo/RuleExpressions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/PointsTo/RuleExpressions.h -------------------------------------------------------------------------------- /src/Slicing/FunctionStaticSlicer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Slicing/FunctionStaticSlicer.cpp -------------------------------------------------------------------------------- /src/Slicing/FunctionStaticSlicer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Slicing/FunctionStaticSlicer.h -------------------------------------------------------------------------------- /src/Slicing/PostDominanceFrontier.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Slicing/PostDominanceFrontier.cpp -------------------------------------------------------------------------------- /src/Slicing/PostDominanceFrontier.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Slicing/PostDominanceFrontier.h -------------------------------------------------------------------------------- /src/Slicing/Prepare.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Slicing/Prepare.cpp -------------------------------------------------------------------------------- /src/Slicing/Prepare.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Slicing/Prepare.h -------------------------------------------------------------------------------- /src/Slicing/StaticSlicer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/src/Slicing/StaticSlicer.cpp -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/test/a.c -------------------------------------------------------------------------------- /test/dump-points-to.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/test/dump-points-to.cpp -------------------------------------------------------------------------------- /test/field-sensitive-test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/test/field-sensitive-test.cpp -------------------------------------------------------------------------------- /test/linked.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jirislaby/LLVMSlicer/HEAD/test/linked.c --------------------------------------------------------------------------------