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

Class 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.