Examples of org.jakstab.analysis.explicit.BasedNumberValuation

org.jakstab.analysis.explicit.BasedNumberValuation

The abstract state for constant propagation. There are two explicit states TOP and BOT, all other states use two collections of BasedCPValue elements to assign values to variables and memory. Elements not present in the collections are implicitly set to a TOP value. BOT elements cannot be present, since a single BOT element makes the whole state turn to BOT. @author Johannes Kinder


    for (AbstractState t : otherStates) {
      // TODO: Does not work correctly if BoundedAddressTracking returns more than
      //      one successor state.
      if (t instanceof BasedNumberValuation) {
        BasedNumberValuation exState = (BasedNumberValuation)t;
        for (Map.Entry<RTLVariable, BasedNumberElement> entry : 
          exState.getVariableValuation()) {
          RTLVariable var = entry.getKey();
          BasedNumberElement exVal = entry.getValue();
          if (exVal.isTop() || exVal.isNumberTop())
            continue;
          if (state.getVariableValue(var).isTop()) {

Related Classes of org.jakstab.analysis.explicit.BasedNumberValuation

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.