Package

org.opalj.ai

debug

Permalink

package debug

Visibility
  1. Public
  2. All

Type Members

  1. class InterpretMethodsAnalysis[Source] extends Analysis[Source, BasicReport]

    Permalink

    An analysis that analyzes all methods of all class files of a project using a custom domain.

Value Members

  1. object CallGraphVisualization

    Permalink

    Visualizes call graphs using Graphviz.

    Visualizes call graphs using Graphviz.

    Given GraphViz's capabilities only small call graphs (10 to 20 nodes) can be effectively visualized.

  2. object InterpretMethods extends AnalysisExecutor

    Permalink

    Performs an abstract interpretation of all methods of the given class file(s) using a configurable domain.

    Performs an abstract interpretation of all methods of the given class file(s) using a configurable domain.

    This class is meant to support the development and testing of new domains.

  3. object InterpretMethodsAnalysis

    Permalink

Ungrouped