soot.jimple.infoflow.solver.functions.SolverNormalFlowFunction 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

There is a newer version: 2.9.0

package soot.jimple.infoflow.solver.functions;

import heros.FlowFunction;

import java.util.Set;

import soot.jimple.infoflow.data.Abstraction;

/**
 * A special implementation of the normal flow function that allows access to
 * the fact associated with the method's start point (i.e. the current context).
 *  
 * @author Steven Arzt
 */
public abstract class SolverNormalFlowFunction implements FlowFunction {

	@Override
	public Set computeTargets(Abstraction source) {
		return computeTargets(null, source);
	}

	/**
	 * Computes the abstractions at the next node in the CFG.
	 * @param d1 The abstraction at the beginning of the current method, i.e.
	 * the context
	 * @param d2 The abstraction at the current node
	 * @return The set of abstractions at the next node
	 */
	public abstract Set computeTargets(Abstraction d1, Abstraction d2);
	
}