| 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 |
|