Add support for multiple level jump tables. Current implementation have
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Tue, 16 Dec 2014 20:18:08 +0000 (14:18 -0600)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Tue, 16 Dec 2014 20:18:08 +0000 (14:18 -0600)
commit38af1911f9896cdb057c51ffdb5fc077911555f1
tree9120950022bc23a5db469c8854690004cf5ab166
parent034e1a10564fb1f3d16704c2b6543bb642490dcc
Add support for multiple level jump tables. Current implementation have
several limitations:
1. it does not check whether the tables are inside read-only memory regions
2. for contents read from memory, I only check whether it is an interval
from 0 to some certain value (so, 0, 1, 2, ...).
parseAPI/src/BoundFactCalculator.C
parseAPI/src/BoundFactData.C
parseAPI/src/BoundFactData.h
parseAPI/src/IndirectASTVisitor.C
parseAPI/src/IndirectASTVisitor.h