com.ibm.wala.cast.js.ipa.callgraph.correlations.extraction

Class CorrelatedPairExtractionPolicy

java.lang.Object

com.ibm.wala.cast.js.ipa.callgraph.correlations.extraction.ExtractionPolicy

com.ibm.wala.cast.js.ipa.callgraph.correlations.extraction.CorrelatedPairExtractionPolicy

public class CorrelatedPairExtractionPolicy
extends ExtractionPolicy

An ExtractionPolicy that specifies that correlated pairs should be extracted. In principle, extracting an arbitrary correlated pair can be very difficult. We restrict our attention to the case where both read and write occur within the same block of statements, with the read preceding the write. In practice, most correlations are of this form. TODO: The code for finding the correlated instructions is broken since Rhino only gives us line number positions. Consequently, it fails to find the relevant instructions every once in a while.

Author:

mschaefer

Method Summary

Methods

Modifier and Type	Method and Description
List<ExtractionRegion>	extract(com.ibm.wala.cast.tree.CAstNode node)
static CorrelatedPairExtractionPolicy	make(com.ibm.wala.cast.tree.CAstEntity entity, Map<com.ibm.wala.classLoader.IMethod,CorrelationSummary> summaries)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

make

public static CorrelatedPairExtractionPolicy make(com.ibm.wala.cast.tree.CAstEntity entity,
                                  Map<com.ibm.wala.classLoader.IMethod,CorrelationSummary> summaries)

extract

public List<ExtractionRegion> extract(com.ibm.wala.cast.tree.CAstNode node)

Specified by:

extract in class ExtractionPolicy