Class CallArgSourceSpec

java.lang.Object

org.scandroid.spec.SourceSpec

org.scandroid.spec.CallArgSourceSpec

All Implemented Interfaces:

ISourceSpec

public class CallArgSourceSpec
extends SourceSpec

CallArgSourceSpecs represent sources that are arguments to another function.

For example, if code you analyze invokes a function foo(Object obj) and foo writes to the argument, then obj would be a source.

Field Summary

Fields inherited from class org.scandroid.spec.SourceSpec

argNums, namePattern

Constructor Summary

Constructors

Constructor	Description
CallArgSourceSpec(MethodNamePattern name, int[] args)

Method Summary

Modifier and Type	Method	Description
<E extends ISSABasicBlock> void	addDomainElements(CGAnalysisContext<E> ctx, Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> taintMap, IMethod target, BasicBlockInContext<E> block, SSAInvokeInstruction invInst, int[] newArgNums, ISupergraph<BasicBlockInContext<E>,CGNode> graph, PointerAnalysis<InstanceKey> pa, CallGraph cg)
<E extends ISSABasicBlock> Collection<FlowType<E>>	getFlowType(BasicBlockInContext<E> block)
String	toString()

Methods inherited from class org.scandroid.spec.SourceSpec

getArgNums, getNamePattern, getNewArgNums

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

CallArgSourceSpec

public CallArgSourceSpec(MethodNamePattern name,
 int[] args)

Method Details

addDomainElements

public <E extends ISSABasicBlock> void addDomainElements(CGAnalysisContext<E> ctx,
 Map<BasicBlockInContext<E>,Map<FlowType<E>,Set<CodeElement>>> taintMap,
 IMethod target,
 BasicBlockInContext<E> block,
 SSAInvokeInstruction invInst,
 int[] newArgNums,
 ISupergraph<BasicBlockInContext<E>,CGNode> graph,
 PointerAnalysis<InstanceKey> pa,
 CallGraph cg)

Specified by:

addDomainElements in class SourceSpec

getFlowType

public <E extends ISSABasicBlock>
Collection<FlowType<E>> getFlowType(BasicBlockInContext<E> block)

toString

public String toString()

Specified by:

toString in class SourceSpec