Package pascal.taie.analysis.dataflow.solver

Interface Solver<Node,Fact>

Type Parameters:
Node - type of control-flow graph nodes
Fact - type of data facts
public interface Solver<Node,Fact>
Interface of data-flow analysis solver.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final Solver
    SOLVER
    The default solver.

  • Method Summary

    Modifier and Type
    Method
    Description
    static <Node, Fact>
    Solver<Node,Fact>
    getSolver()
    Static factory method for obtaining a solver.
    DataflowResult<Node,Fact>
    solve(DataflowAnalysis<Node,Fact> analysis)
    Solves the given analysis problem.

  • Field Details

    • SOLVER

      static final Solver SOLVER
      The default solver.

  • Method Details

    • getSolver

      static <Node, Fact> Solver<Node,Fact> getSolver()
      Static factory method for obtaining a solver.

    • solve

      DataflowResult<Node,Fact> solve(DataflowAnalysis<Node,Fact> analysis)
      Solves the given analysis problem.
      Returns:
      the data-flow analysis result