soot.jimple.infoflow.taintWrappers.ITaintPropagationWrapper Java Examples

The following examples show how to use soot.jimple.infoflow.taintWrappers.ITaintPropagationWrapper. You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example #1
Source File: BackwardsInfoflowProblem.java    From JAADAS with GNU General Public License v3.0 4 votes vote down vote up 
public void setTaintWrapper(ITaintPropagationWrapper wrapper) {
	taintWrapper = wrapper;
}
Example #2
Source File: AbstractInfoflowProblem.java    From JAADAS with GNU General Public License v3.0 4 votes vote down vote up 
public void setTaintWrapper(ITaintPropagationWrapper wrapper){
	taintWrapper = wrapper;
}
Example #3
Source File: AbstractInfoflow.java    From JAADAS with GNU General Public License v3.0 4 votes vote down vote up 
@Override
public void setTaintWrapper(ITaintPropagationWrapper wrapper) {
	taintWrapper = wrapper;
}
Example #4
Source File: AbstractInfoflow.java    From JAADAS with GNU General Public License v3.0 4 votes vote down vote up 
@Override
public ITaintPropagationWrapper getTaintWrapper() {
	return taintWrapper;
}
Example #5
Source File: InterproceduralConstantValuePropagator.java    From JAADAS with GNU General Public License v3.0 3 votes vote down vote up 
/**
 * Creates a new instance of the {@link InterproceduralConstantValuePropagator}
 * class
 * @param icfg The interprocedural control flow graph to use
 * @param excludedMethods The methods that shall be excluded. If one of these
 * methods calls another method with a constant argument, this argument will
 * not be propagated into the callee.
 * @param sourceSinkManager The SourceSinkManager to be used for not
 * propagating constants out of source methods
 * @param taintWrapper The taint wrapper to be used for not breaking dummy
 * values that will later be replaced by artificial taints
 */
public InterproceduralConstantValuePropagator(IInfoflowCFG icfg,
		Collection<SootMethod> excludedMethods,
		ISourceSinkManager sourceSinkManager,
		ITaintPropagationWrapper taintWrapper) {
	this.icfg = icfg;
	this.excludedMethods = new HashSet<SootMethod>(excludedMethods);
	this.sourceSinkManager = sourceSinkManager;
	this.taintWrapper = taintWrapper;
}
Example #6
Source File: SetupApplication.java    From JAADAS with GNU General Public License v3.0 2 votes vote down vote up 
/**
 * Sets the taint wrapper to be used for propagating taints over unknown (library) callees. If this value is null,
 * no taint wrapping is used.
 * 
 * @param taintWrapper
 *            The taint wrapper to use or null to disable taint wrapping
 */
public void setTaintWrapper(ITaintPropagationWrapper taintWrapper) {
	this.taintWrapper = taintWrapper;
}
Example #7
Source File: SetupApplication.java    From JAADAS with GNU General Public License v3.0 2 votes vote down vote up 
/**
 * Gets the taint wrapper to be used for propagating taints over unknown (library) callees. If this value is null,
 * no taint wrapping is used.
 * 
 * @return The taint wrapper to use or null if taint wrapping is disabled
 */
public ITaintPropagationWrapper getTaintWrapper() {
	return this.taintWrapper;
}
Example #8
Source File: IInfoflow.java    From JAADAS with GNU General Public License v3.0 2 votes vote down vote up 
/**
 * Sets the taint wrapper for deciding on taint propagation through black-box
 * methods
 * @param wrapper The taint wrapper object that decides on how information is
 * propagated through black-box methods
 */
public void setTaintWrapper(ITaintPropagationWrapper wrapper);
Example #9
Source File: IInfoflow.java    From JAADAS with GNU General Public License v3.0 2 votes vote down vote up 
/**
 * Gets the taint wrapper for deciding on taint propagation through black-box
 * methods
 * @return The taint wrapper object that decides on how information is
 * propagated through black-box methods
 */
public ITaintPropagationWrapper getTaintWrapper();