Package com.ibm.wala.cast.js.ipa.callgraph.correlations
package com.ibm.wala.cast.js.ipa.callgraph.correlations
-
ClassDescriptionA 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.Helper class for identifying correlated read/write pairs.A utility class holding information about correlations identified by a
CorrelationFinder
.Visitor class for performing case analysis onCorrelation
s.An escape correlation conservatively captures inter-procedural correlated pairs: for a dynamic property read r of the forme[p]
, if both the result of r and the value ofp
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 propertyp
.The most basic form of correlation: an intra-procedurally correlated pair of a dynamic property read and a dynamic property write.Utility class used byCorrelationSummary
to map SSA instructions to source positions.