Package

scala.tools.nsc.backend.icode

analysis

Permalink

package analysis

Visibility
  1. Public
  2. All

Type Members

  1. abstract class CopyPropagation extends AnyRef

    Permalink

    A modified copy-propagation like analysis.

    A modified copy-propagation like analysis. It is augmented with a record-like value which is used to represent closures.

  2. trait DataFlowAnalysis[L <: SemiLattice] extends AnyRef

    Permalink

    A generic framework for data flow analysis.

  3. abstract class Liveness extends AnyRef

    Permalink

    Compute liveness information for local variables.

  4. class LubException extends Exception

    Permalink
  5. trait ProgramPoint[a <: ProgramPoint[a]] extends AnyRef

    Permalink

    Program points are locations in the program where we want to assert certain properties through data flow analysis, e.g.

    Program points are locations in the program where we want to assert certain properties through data flow analysis, e.g. basic blocks.

  6. abstract class ReachingDefinitions extends AnyRef

    Permalink

    Compute reaching definitions.

    Compute reaching definitions. We are only interested in reaching definitions for local variables, since values on the stack behave as-if in SSA form: the closest instruction which produces a value on the stack is a reaching definition.

  7. trait SemiLattice extends AnyRef

    Permalink

    A complete lattice.

  8. abstract class TypeFlowAnalysis extends AnyRef

    Permalink

    A data-flow analysis on types, that works on ICode.

Ungrouped