Class Correlation
java.lang.Object
com.ibm.wala.cast.js.ipa.callgraph.correlations.Correlation
- Direct Known Subclasses:
EscapeCorrelation
,ReadWriteCorrelation
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.
We additionally track the set of local variables the value read in r may flow through before reaching w. These will be candidates for localisation when extracting the correlation into a closure.
- Author:
- mschaefer
-
Constructor Summary
ModifierConstructorDescriptionprotected
Correlation
(String indexName, Set<String> flownThroughLocals) -
Method Summary
Modifier and TypeMethodDescriptionabstract <T> T
accept
(CorrelationVisitor<T> visitor) abstract CAstSourcePositionMap.Position
getEndPosition
(SSASourcePositionMap positions) abstract CAstSourcePositionMap.Position
getStartPosition
(SSASourcePositionMap positions) abstract String
pp
(SSASourcePositionMap positions)
-
Constructor Details
-
Correlation
-
-
Method Details
-
getIndexName
-
getFlownThroughLocals
-
getStartPosition
-
getEndPosition
-
pp
-
accept
-