soot.jimple.infoflow.collections.strategies.widening.WideningOnShiftOperationStrategy Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of soot-infoflow Show documentation

Soot extending data flow tracking components for Java

The newest version!

package soot.jimple.infoflow.collections.strategies.widening;

import soot.Unit;
import soot.jimple.Stmt;
import soot.jimple.infoflow.InfoflowManager;
import soot.jimple.infoflow.data.Abstraction;

/**
 * Widens at each shift operation
 *
 * @author Tim Lange
 */
public class WideningOnShiftOperationStrategy extends AbstractWidening {

	protected WideningOnShiftOperationStrategy(InfoflowManager manager) {
		super(manager);
	}

	@Override
	public Abstraction widen(Abstraction d2, Abstraction d3, Unit unit) {
		Stmt stmt = (Stmt) unit;
		// Only shifting can produce infinite ascending chains
		if (!stmt.containsInvokeExpr() || !isShift(d2, d3))
			return d3;

		return forceWiden(d3, unit);
	}
}