public static Abstraction getZeroAbstraction(boolean flowSensitiveAliasing) { Abstraction zeroValue = new Abstraction(AccessPath.getZeroAccessPath(), null, false, false); Abstraction.flowSensitiveAliasing = flowSensitiveAliasing; return zeroValue; }
public static Abstraction getZeroAbstraction(boolean flowSensitiveAliasing) { Abstraction zeroValue = new Abstraction(AccessPath.getZeroAccessPath(), null, false, false); Abstraction.flowSensitiveAliasing = flowSensitiveAliasing; return zeroValue; }