1. When we backward slice to a return edge and if the user decide to not follow into...
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Thu, 30 Oct 2014 20:52:03 +0000 (15:52 -0500)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Thu, 30 Oct 2014 20:52:03 +0000 (15:52 -0500)
commitcaac36425b948491225338baa536d596397977ea
treec9a88a31017ce6dadeaa23f4a68ab6dd0aa1cb65
parent81e0a9ba1949c7ba0adc292d6b6283fed20bc241
1. When we backward slice to a return edge and if the user decide to not follow into the callee,
   the callee may do arbitray changes to any registers. We widen here.
2. For indirect control flow analysis, we do not need to track how ip or sp is calculated.
dataflowAPI/src/slicing.C
parseAPI/src/BackwardSlicing.C
parseAPI/src/BackwardSlicing.h
parseAPI/src/IndirectAnalyzer.C