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 and Description
EscapeCorrelation(com.ibm.wala.cast.ir.ssa.AbstractReflectiveGet get, com.ibm.wala.ssa.SSAAbstractInvokeInstruction invoke, String indexName, Set<String> flownThroughLocals)

Method Summary

Methods

Modifier and Type	Method and Description
<T> T	accept(CorrelationVisitor<T> visitor)
com.ibm.wala.cast.tree.CAstSourcePositionMap.Position	getEndPosition(SSASourcePositionMap positions)
int	getNumberOfArguments()
com.ibm.wala.cast.tree.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 Detail

EscapeCorrelation

public EscapeCorrelation(com.ibm.wala.cast.ir.ssa.AbstractReflectiveGet get,
                 com.ibm.wala.ssa.SSAAbstractInvokeInstruction invoke,
                 String indexName,
                 Set<String> flownThroughLocals)

Method Detail

getStartPosition

public com.ibm.wala.cast.tree.CAstSourcePositionMap.Position getStartPosition(SSASourcePositionMap positions)

Specified by:

getStartPosition in class Correlation

getEndPosition

public com.ibm.wala.cast.tree.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