| Package | Description |
|---|---|
| com.ibm.wala.cast.js.ipa.callgraph.correlations | |
| com.ibm.wala.cast.js.ipa.callgraph.correlations.extraction |
| Class and 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.
|
| CorrelationSummary
A utility class holding information about correlations identified by a
CorrelationFinder. |
| CorrelationVisitor
Visitor class for performing case analysis on
Correlations. |
| 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. |
| Class and Description |
|---|
| CorrelationSummary
A utility class holding information about correlations identified by a
CorrelationFinder. |
Copyright © 2017. All rights reserved.