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