Class CallRetSourceSpec
java.lang.Object
org.scandroid.spec.SourceSpec
org.scandroid.spec.CallRetSourceSpec
- All Implemented Interfaces:
ISourceSpec
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
-
Method Summary
Modifier and TypeMethodDescription<E extends ISSABasicBlock>
voidaddDomainElements
(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) toString()
Methods inherited from class org.scandroid.spec.SourceSpec
getArgNums, getNamePattern, getNewArgNums
-
Constructor Details
-
CallRetSourceSpec
-
-
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 classSourceSpec
-
toString
- Specified by:
toString
in classSourceSpec
-