Misti warning that highlights a specific place in a Tact contract.

Constructors

Properties

Methods

Constructors

Properties

detectorId: string

Unique identifier of the detector raised that warning.

loc: SrcInfo
msg: string
severity: Severity

Methods

  • Checks whether this warning is suppressing using a Misti annotation.

    Returns boolean

  • Constructs a warning object with a description and the source code location.

    Parameters

    • detectorId: string

      Unique identifier of the detector.

    • description: string

      Descriptive text of the warning.

    • severity: Severity

      Severity of the finding.

    • loc: SrcInfo

      Reference to the source code that includes file information and position data.

    • data: Partial<{
          docURL: string;
          extraDescription: string;
          suggestion: string;
      }> = {}

      Additional optional data for the warning, including:

      • extraDescription: More comprehensive description that clarifies the warning in greater detail.
      • docURL: URL to the detector documentation.
      • suggestion: Suggested change in the source code.

    Returns MistiTactWarning

    A new MistiTactWarning containing the warning message and source code reference.