package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

The Sarif format is a standardised output format for static analysis tools. https://docs.oasis-open.org/sarif/sarif/v2.1.0/sarif-v2.1.0.html

module Region = SarifType.Region
val severityToLevel : Messages.Severity.t -> string
val createMessageObject : Prelude.String.t -> SarifType.Message.t
val transformToReportingDescriptor : Prelude.String.t -> SarifType.ReportingDescriptor.t
val driverObject : SarifType.ToolComponent.t
val toolObject : SarifType.Tool.t
val getCategoryInformationID : Messages.Tags.t -> string
val createArtifact : string -> SarifType.Artifact.t
val createArtifactObject : string -> SarifType.ArtifactLocation.t
val hasLocation : Messages.Piece.t -> bool
val deOptionalizeLocation : Messages.Piece.t -> CilType.Location.t
val createPhysicalLocationObject : Messages.Piece.t -> SarifType.Location.t
val createLocationsObject : Messages.MultiPiece.t -> SarifType.Location.t list
val getFileLocation : Messages.MultiPiece.t -> string list
val collectAllFileLocations : Messages.Message.t list -> string list
val runObject : Messages.Message.t list -> SarifType.Run.t
val sarifObject : Messages.Message.t list -> SarifType.SarifLog.t
val to_yojson : Messages.Message.t list -> Yojson.Safe.t