Class SouffleSolver<State>

Provides a framework for solving dataflow analysis problems using the Soufflé solver.

Constructors

new SouffleSolver<State>(detectorId, ctx, cu, cfg, mapper): SouffleSolver<State>
Type Parameters
- State
Parameters
- detectorId: string
  An unique identifier of the detector using this solver.
- ctx: MistiContext
- cu: CompilationUnit
  Compilation unit under the analysis.
- cfg: CFG
  CFG under the analysis.
- mapper: SouffleMapper
  An object that defines the transfer operation for a node and its state.
Returns SouffleSolver<State>
- Defined in internals/solver/souffle.ts:70