Sarif (p.goblint.1.1.1.doc.goblint.lib.Sarif)

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 createReportingDescriptor : 
  SarifRules.categoryInformation ->
  SarifType.ReportingDescriptor.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 createResult : Messages.Message.t -> SarifType.Result.t

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