If the destination operand is a memory location, we need to use the generator of...
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Thu, 2 Apr 2015 03:24:52 +0000 (22:24 -0500)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Thu, 2 Apr 2015 03:24:52 +0000 (22:24 -0500)
commite7371968cb894574004f96c334d7bed86911a0a1
tree83fc201f0f2dee97f63437fbeb6b79d38a950886
parentdc064ee532d51a3f8e595371c41ea405fb330193
If the destination operand is a memory location, we need to use the generator of the AbsRegion to produce an AST that represents the address calcuation and memory access.
parseAPI/src/BoundFactCalculator.C
parseAPI/src/IndirectAnalyzer.C
parseAPI/src/JumpTablePred.C