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