Start to split jump table analysis to two different slices.
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Tue, 9 May 2017 16:33:19 +0000 (11:33 -0500)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Tue, 9 May 2017 16:33:19 +0000 (11:33 -0500)
commitbab542b4d47e8b1d1c5b374065bda24309ba58d0
tree8da0c4ff16ab12b1d2771104def2cd8d6d723524
parent39a3bd8017246c0f985b23d140df804c05b7e9bc
Start to split jump table analysis to two different slices.
1. Jump table format slice. This commit contains its initial implementation
2. Jump table index slice. To be done
13 files changed:
common/h/Graph.h
common/src/Graph.C
dataflowAPI/h/slicing.h
dataflowAPI/src/slicing.C
parseAPI/CMakeLists.txt
parseAPI/src/IndirectASTVisitor.C
parseAPI/src/IndirectASTVisitor.h
parseAPI/src/IndirectAnalyzer.C
parseAPI/src/JumpTableFormatPred.C [new file with mode: 0644]
parseAPI/src/JumpTableFormatPred.h [new file with mode: 0644]
parseAPI/src/JumpTablePred.C
parseAPI/src/SymbolicExpression.C [new file with mode: 0644]
parseAPI/src/SymbolicExpression.h [new file with mode: 0644]