Class EscapeCorrelation
java.lang.Object
com.ibm.wala.cast.js.ipa.callgraph.correlations.Correlation
com.ibm.wala.cast.js.ipa.callgraph.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
.- Author:
- mschaefer
-
Constructor Summary
ConstructorDescriptionEscapeCorrelation
(AbstractReflectiveGet get, SSAAbstractInvokeInstruction invoke, String indexName, Set<String> flownThroughLocals) -
Method Summary
Modifier and TypeMethodDescription<T> T
accept
(CorrelationVisitor<T> visitor) getEndPosition
(SSASourcePositionMap positions) int
getStartPosition
(SSASourcePositionMap positions) pp
(SSASourcePositionMap positions) Methods inherited from class com.ibm.wala.cast.js.ipa.callgraph.correlations.Correlation
getFlownThroughLocals, getIndexName
-
Constructor Details
-
EscapeCorrelation
public EscapeCorrelation(AbstractReflectiveGet get, SSAAbstractInvokeInstruction invoke, String indexName, Set<String> flownThroughLocals)
-
-
Method Details
-
getStartPosition
- Specified by:
getStartPosition
in classCorrelation
-
getEndPosition
- Specified by:
getEndPosition
in classCorrelation
-
getNumberOfArguments
public int getNumberOfArguments() -
pp
- Specified by:
pp
in classCorrelation
-
accept
- Specified by:
accept
in classCorrelation
-