Class EscapeCorrelation

java.lang.Object

com.ibm.wala.cast.js.ipa.callgraph.correlations.Correlation

com.ibm.wala.cast.js.ipa.callgraph.correlations.EscapeCorrelation

public class EscapeCorrelation
extends Correlation

An escape correlation conservatively captures inter-procedural correlated pairs: for a dynamic property read r of the form e[p], if both the result of r and the value of p flow into a function call c, we consider r and c to be a correlated pair to account for the fact that the function called by c may perform a write of property p.

Author:

mschaefer

Constructor Summary

Constructors

Constructor	Description
EscapeCorrelation(AbstractReflectiveGet get, SSAAbstractInvokeInstruction invoke, String indexName, Set<String> flownThroughLocals)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(CorrelationVisitor<T> visitor)
CAstSourcePositionMap.Position	getEndPosition(SSASourcePositionMap positions)
int	getNumberOfArguments()
CAstSourcePositionMap.Position	getStartPosition(SSASourcePositionMap positions)
String	pp(SSASourcePositionMap positions)

Methods inherited from class Correlation

getFlownThroughLocals, getIndexName

Methods inherited from class Object

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

Constructor Details

EscapeCorrelation

public EscapeCorrelation(AbstractReflectiveGet get,
 SSAAbstractInvokeInstruction invoke,
 String indexName,
 Set<String> flownThroughLocals)

Method Details

getStartPosition

public CAstSourcePositionMap.Position getStartPosition(SSASourcePositionMap positions)

Specified by:

getStartPosition in class Correlation

getEndPosition

public CAstSourcePositionMap.Position getEndPosition(SSASourcePositionMap positions)

Specified by:

getEndPosition in class Correlation

getNumberOfArguments

public int getNumberOfArguments()

pp

public String pp(SSASourcePositionMap positions)

Specified by:

pp in class Correlation

accept

public <T> T accept(CorrelationVisitor<T> visitor)

Specified by:

accept in class Correlation