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

Interface Summary

Interface	Description
CorrelationVisitor<T>	Visitor class for performing case analysis on Correlations.

Class Summary

Class	Description
Correlation	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.
CorrelationFinder	Helper class for identifying correlated read/write pairs.
CorrelationSummary	A utility class holding information about correlations identified by a CorrelationFinder.
EscapeCorrelation	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.
ReadWriteCorrelation	The most basic form of correlation: an intra-procedurally correlated pair of a dynamic property read and a dynamic property write.
SSASourcePositionMap	Utility class used by CorrelationSummary to map SSA instructions to source positions.