One byte read can produce bound [0,255], but it is possible that an one byte read...
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Mon, 13 Jul 2015 04:40:12 +0000 (23:40 -0500)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Mon, 13 Jul 2015 04:40:12 +0000 (23:40 -0500)
commit2175508b2ff13bd297a0453d066e12ea41dec22c
tree93c6e15692e7b54ec4bc58bc0edb6ccc4f8a851a
parent33a872e82543751615e2eafbc95f52770d63a969
One byte read can produce bound [0,255], but it is possible that an one byte read is a jump table read. Only generate bound [0,255] when no jump table is found.
dataflowAPI/h/slicing.h
parseAPI/src/BoundFactCalculator.C
parseAPI/src/BoundFactCalculator.h
parseAPI/src/IndirectASTVisitor.C
parseAPI/src/IndirectASTVisitor.h
parseAPI/src/IndirectAnalyzer.C
parseAPI/src/JumpTablePred.C
parseAPI/src/JumpTablePred.h