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

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 com.ibm.wala.cast.js.ipa.callgraph.correlations.Correlation

getFlownThroughLocals, getIndexName

Methods inherited from class java.lang.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