soot.jimple.infoflow.solver.functions.SolverCallFlowFunction 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 call 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 SolverCallFlowFunction implements FlowFunction {

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

	/**
	 * Computes the call flow function for the given call-site abstraction
	 * @param d1 The abstraction at the current method's start node.
	 * @param d2 The abstraction at the call site
	 * @return The set of caller-side abstractions at the callee's start node
	 */
	public abstract Set computeTargets(Abstraction d1, Abstraction d2);
	
}