1. Assume signed conditional jumps do not bound registers or memory locations
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Wed, 11 Jun 2014 23:59:20 +0000 (18:59 -0500)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Wed, 11 Jun 2014 23:59:20 +0000 (18:59 -0500)
commit638781469f50265f30628b64f1554b6ca0d0bf9b
treebb6735144da1db6527d01b299fbcdb51a8434b44
parent05dc6e111617b93559395068998e4d01b12615d9
1. Assume signed conditional jumps do not bound registers or memory locations
2. When reading the value of PC, the value should be address of the next instruction rather than the address of the current instruction
dataflowAPI/src/ExpressionConversionVisitor.C
dataflowAPI/src/ExpressionConversionVisitor.h
dataflowAPI/src/RoseInsnFactory.C
dataflowAPI/src/RoseInsnFactory.h
parseAPI/src/BoundFactData.C
parseAPI/src/IndirectASTVisitor.C
parseAPI/src/IndirectAnalyzer.C