soot.jimple.infoflow.problems.rules.IArrayContextProvider 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.problems.rules;

import soot.jimple.ArrayRef;
import soot.jimple.Stmt;
import soot.jimple.infoflow.data.ContainerContext;

public interface IArrayContextProvider {
    /**
     * Returns the context definition for an array
     *
     * @param arrayRef array reference
     * @param stmt
     * @return context definition
     */
    ContainerContext[] getContextForArrayRef(ArrayRef arrayRef, Stmt stmt);
}