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

Class Correlation

java.lang.Object

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

Direct Known Subclasses:

EscapeCorrelation, ReadWriteCorrelation

public abstract class Correlation
extends Object

A correlation exists between a dynamic property read r and a dynamic property write w such that the value read in r may flow into w, and r and w are guaranteed to access a property of the same name. We additionally track the set of local variables the value read in r may flow through before reaching w. These will be candidates for localisation when extracting the correlation into a closure.

Author:

mschaefer

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Correlation(String indexName, Set<String> flownThroughLocals)

Method Summary

Methods

Modifier and Type	Method and Description
abstract <T> T	accept(CorrelationVisitor<T> visitor)
abstract com.ibm.wala.cast.tree.CAstSourcePositionMap.Position	getEndPosition(SSASourcePositionMap positions)
Set<String>	getFlownThroughLocals()
String	getIndexName()
abstract com.ibm.wala.cast.tree.CAstSourcePositionMap.Position	getStartPosition(SSASourcePositionMap positions)
abstract String	pp(SSASourcePositionMap positions)

Methods inherited from class java.lang.Object

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

Constructor Detail

Correlation

protected Correlation(String indexName,
           Set<String> flownThroughLocals)

Method Detail

getIndexName

public String getIndexName()

getFlownThroughLocals

public Set<String> getFlownThroughLocals()

getStartPosition

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

getEndPosition

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

pp

public abstract String pp(SSASourcePositionMap positions)

accept

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