| Package | Description |
|---|---|
| com.ibm.wala.cast.js.ipa.callgraph.correlations |
| Modifier and Type | Class and Description |
|---|---|
class |
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. |
class |
ReadWriteCorrelation
The most basic form of correlation: an intra-procedurally correlated pair of a dynamic property read
and a dynamic property write.
|
| Modifier and Type | Method and Description |
|---|---|
Set<Correlation> |
CorrelationSummary.getCorrelations() |
| Modifier and Type | Method and Description |
|---|---|
void |
CorrelationSummary.addCorrelation(Correlation correlation) |
Copyright © 2017. All rights reserved.