soot.jimple.infoflow.river.IUsageContextProvider 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.river;

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

import java.util.Set;

/**
 * Provides the analysis whether usage context is needed
 *
 * @author Tim Lange
 */
public interface IUsageContextProvider {
    /**
     * Provide an access path that should be queried as an additional flow.
     *
     * @param stmt current statement in the analysis
     * @param taints outgoing taints in the analysis
     * @return Flow specifications if a usage context shall be computed. Always non-null.
     */
    Set needsAdditionalInformation(Stmt stmt, Set taints);

    /**
     * Whether the flow reaching the statement should be recorded.
     *
     * @param stmt current statement in the analysis
     * @param abs incoming taint in the analysis
     * @return true if the flow should be recorded
     */
    boolean isStatementWithAdditionalInformation(Stmt stmt, Abstraction abs);
}