package analysis

  1. Public
  2. All

Type Members

  1. abstract class CopyPropagation extends AnyRef

    A modified copy-propagation like analysis.

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

    A generic framework for data flow analysis.

  3. abstract class Liveness extends AnyRef

    Compute liveness information for local variables.

  4. class LubException extends Exception

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

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

  6. abstract class ReachingDefinitions extends AnyRef

    Compute reaching definitions.

  7. trait SemiLattice extends AnyRef

    A complete lattice.

  8. abstract class TypeFlowAnalysis extends AnyRef

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