Class MistiConfig

Represents content of the Misti configuration file (misti.config.json).

Index

Constructors

Properties

detectors ignoredProjects soufflePath souffleVerbose? suppressions tactStdlibPath? tools unusedPrefix verbosity

Constructors

constructor

new MistiConfig(__namedParameters?): MistiConfig
Parameters
- __namedParameters: Partial<{
      allDetectors: boolean;
      configPath?: string;
      detectors?: string[];
      tools?: ToolConfig[];
  }> = {}
Returns MistiConfig
- Defined in src/internals/config.ts:61

Properties

detectors

detectors: DetectorConfig[]

ignoredProjects

ignoredProjects: string[]

soufflePath

soufflePath: string = "/tmp/misti/souffle"

`Optional`souffleVerbose

souffleVerbose?: boolean

suppressions

suppressions: WarningSuppression[]

`Optional`tactStdlibPath

tactStdlibPath?: string

tools

tools: ToolConfig[]

unusedPrefix

unusedPrefix: string

verbosity

verbosity: "debug" | "quiet" | "default"