StaticFieldSinkPoint (wala 1.6.10-SNAPSHOT API)

java.lang.Object

org.scandroid.flow.StaticFieldSinkPoint

All Implemented Interfaces:: ISinkPoint

public class StaticFieldSinkPoint extends Object implements ISinkPoint

Author:: acfoltzer

Constructor Summary

Constructors

Constructor

Description

StaticFieldSinkPoint(StaticFieldSinkSpec spec, BasicBlockInContext<IExplodedBasicBlock> block)
Method Summary

Modifier and Type

Method

Description

Set<FlowType<IExplodedBasicBlock>>

findSources(CGAnalysisContext<IExplodedBasicBlock> ctx, TabulationResult<BasicBlockInContext<IExplodedBasicBlock>,CGNode,DomainElement> flowResult, IFDSTaintDomain<IExplodedBasicBlock> domain)

FlowType<IExplodedBasicBlock>

getFlow()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- StaticFieldSinkPoint
  
  public StaticFieldSinkPoint(StaticFieldSinkSpec spec, BasicBlockInContext<IExplodedBasicBlock> block)
Method Details
- findSources
  
  public Set<FlowType<IExplodedBasicBlock>> findSources(CGAnalysisContext<IExplodedBasicBlock> ctx, TabulationResult<BasicBlockInContext<IExplodedBasicBlock>,CGNode,DomainElement> flowResult, IFDSTaintDomain<IExplodedBasicBlock> domain)
  
  Specified by:
  
  findSources in interface ISinkPoint
- getFlow
  
  public FlowType<IExplodedBasicBlock> getFlow()
  
  Specified by:
  
  getFlow in interface ISinkPoint