Package org.scandroid.spec

Class CallRetSourceSpec

java.lang.Object

org.scandroid.spec.SourceSpec

org.scandroid.spec.CallRetSourceSpec

All Implemented Interfaces:

ISourceSpec

public class CallRetSourceSpec
extends SourceSpec

CallRetSourceSpecs represent sources from invocations of other methods (eg: API methods).

reading file contents, and returning bytes eg: via int read(...) is an example of a call return source.

Field Summary

Fields inherited from class org.scandroid.spec.SourceSpec

argNums, namePattern

Constructor Summary

Constructors

Constructor	Description
CallRetSourceSpec(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 im, BasicBlockInContext<E> block, SSAInvokeInstruction invInst, int[] newArgNums, ISupergraph<BasicBlockInContext<E>,CGNode> graph, PointerAnalysis<InstanceKey> pa, CallGraph cg)
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

CallRetSourceSpec

public CallRetSourceSpec(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 im,
 BasicBlockInContext<E> block,
 SSAInvokeInstruction invInst,
 int[] newArgNums,
 ISupergraph<BasicBlockInContext<E>,CGNode> graph,
 PointerAnalysis<InstanceKey> pa,
 CallGraph cg)

Specified by:

addDomainElements in class SourceSpec

toString

public String toString()

Specified by:

toString in class SourceSpec