soot.jimple.infoflow.methodSummary.taintWrappers.Taint Maven / Gradle / Ivy

Go to download
package soot.jimple.infoflow.methodSummary.taintWrappers;

import soot.jimple.infoflow.data.ContainerContext;
import soot.jimple.infoflow.methodSummary.data.sourceSink.ConstraintType;
import soot.jimple.infoflow.methodSummary.data.sourceSink.FlowSink;
import soot.jimple.infoflow.methodSummary.data.summary.GapDefinition;
import soot.jimple.infoflow.methodSummary.data.summary.SourceSinkType;

/**
 * Class representing a tainted item during propagation
 * 
 * @author Steven Arzt
 *
 */
public class Taint extends FlowSink implements Cloneable {
	private ContainerContext[] baseCtxt;

	public Taint(SourceSinkType type, int paramterIdx, String baseType, boolean taintSubFields) {
		super(type, paramterIdx, baseType, taintSubFields, ConstraintType.FALSE);
	}

	public Taint(SourceSinkType type, int paramterIdx, String baseType, AccessPathFragment accessPath,
			boolean taintSubFields) {
		super(type, paramterIdx, baseType, accessPath, taintSubFields, ConstraintType.FALSE);
	}

	public Taint(SourceSinkType type, int paramterIdx, String baseType, ContainerContext[] baseCtxt,
				 AccessPathFragment accessPath, boolean taintSubFields) {
		super(type, paramterIdx, baseType, accessPath, taintSubFields, ConstraintType.FALSE);
		this.baseCtxt = baseCtxt;
	}

	public Taint(SourceSinkType type, int paramterIdx, String baseType, AccessPathFragment accessPath,
		 		 boolean taintSubFields, GapDefinition gap) {
		super(type, paramterIdx, baseType, accessPath, taintSubFields, gap, ConstraintType.FALSE);
	}

	public Taint(SourceSinkType type, int paramterIdx, String baseType, ContainerContext[] baseCtxt,
				 AccessPathFragment accessPath, boolean taintSubFields, GapDefinition gap) {
		super(type, paramterIdx, baseType, accessPath, taintSubFields, gap, ConstraintType.FALSE);
		this.baseCtxt = baseCtxt;
	}

	public ContainerContext[] getBaseContext() {
		return baseCtxt;
	}

	@Override
	public Taint clone() {
		return new Taint(type, parameterIdx, baseType, baseCtxt, accessPath, taintSubFields, gap);
	}
}