├── .gitignore ├── AbstractQuery.h ├── CMakeLists.txt ├── DWGraph.cpp ├── DWGraph.h ├── DWGraphUtil.cpp ├── DWGraphUtil.h ├── DataComp.cpp ├── DataComp.h ├── ExceptionList.h ├── ExceptionListIncrementalBase.h ├── ExceptionListIncrementalPlus.h ├── Grail.cpp ├── Grail.h ├── Graph.cpp ├── Graph.h ├── GraphUtil.cpp ├── GraphUtil.h ├── LICENSE ├── PathTree.cpp ├── PathTree.h ├── PathtreeQuery.cpp ├── PathtreeQuery.h ├── ProgressBar.cpp ├── ProgressBar.h ├── Query.cpp ├── Query.h ├── README.md ├── ReachBackbone.cpp ├── ReachBackbone.h ├── TCSEstimator.cpp ├── TCSEstimator.h ├── Tabulation.cpp ├── Tabulation.h ├── bit_vector.cpp ├── bit_vector.h ├── dataset ├── bzip2.txt ├── crafty.txt ├── eon.txt ├── gzip.txt ├── mcf.txt ├── parser.txt ├── twolf.txt └── vpr.txt └── main.cpp /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/.gitignore -------------------------------------------------------------------------------- /AbstractQuery.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/AbstractQuery.h -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /DWGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/DWGraph.cpp -------------------------------------------------------------------------------- /DWGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/DWGraph.h -------------------------------------------------------------------------------- /DWGraphUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/DWGraphUtil.cpp -------------------------------------------------------------------------------- /DWGraphUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/DWGraphUtil.h -------------------------------------------------------------------------------- /DataComp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/DataComp.cpp -------------------------------------------------------------------------------- /DataComp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/DataComp.h -------------------------------------------------------------------------------- /ExceptionList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/ExceptionList.h -------------------------------------------------------------------------------- /ExceptionListIncrementalBase.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/ExceptionListIncrementalBase.h -------------------------------------------------------------------------------- /ExceptionListIncrementalPlus.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/ExceptionListIncrementalPlus.h -------------------------------------------------------------------------------- /Grail.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/Grail.cpp -------------------------------------------------------------------------------- /Grail.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/Grail.h -------------------------------------------------------------------------------- /Graph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/Graph.cpp -------------------------------------------------------------------------------- /Graph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/Graph.h -------------------------------------------------------------------------------- /GraphUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/GraphUtil.cpp -------------------------------------------------------------------------------- /GraphUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/GraphUtil.h -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/LICENSE -------------------------------------------------------------------------------- /PathTree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/PathTree.cpp -------------------------------------------------------------------------------- /PathTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/PathTree.h -------------------------------------------------------------------------------- /PathtreeQuery.cpp: -------------------------------------------------------------------------------- 1 | #include "PathtreeQuery.h" 2 | -------------------------------------------------------------------------------- /PathtreeQuery.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/PathtreeQuery.h -------------------------------------------------------------------------------- /ProgressBar.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/ProgressBar.cpp -------------------------------------------------------------------------------- /ProgressBar.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/ProgressBar.h -------------------------------------------------------------------------------- /Query.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/Query.cpp -------------------------------------------------------------------------------- /Query.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/Query.h -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/README.md -------------------------------------------------------------------------------- /ReachBackbone.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/ReachBackbone.cpp -------------------------------------------------------------------------------- /ReachBackbone.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/ReachBackbone.h -------------------------------------------------------------------------------- /TCSEstimator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/TCSEstimator.cpp -------------------------------------------------------------------------------- /TCSEstimator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/TCSEstimator.h -------------------------------------------------------------------------------- /Tabulation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/Tabulation.cpp -------------------------------------------------------------------------------- /Tabulation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/Tabulation.h -------------------------------------------------------------------------------- /bit_vector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/bit_vector.cpp -------------------------------------------------------------------------------- /bit_vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/bit_vector.h -------------------------------------------------------------------------------- /dataset/bzip2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/dataset/bzip2.txt -------------------------------------------------------------------------------- /dataset/crafty.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/dataset/crafty.txt -------------------------------------------------------------------------------- /dataset/eon.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/dataset/eon.txt -------------------------------------------------------------------------------- /dataset/gzip.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/dataset/gzip.txt -------------------------------------------------------------------------------- /dataset/mcf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/dataset/mcf.txt -------------------------------------------------------------------------------- /dataset/parser.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/dataset/parser.txt -------------------------------------------------------------------------------- /dataset/twolf.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/dataset/twolf.txt -------------------------------------------------------------------------------- /dataset/vpr.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/dataset/vpr.txt -------------------------------------------------------------------------------- /main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qingkaishi/context-sensitive-reachability/HEAD/main.cpp --------------------------------------------------------------------------------