package goblint

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

SARIF output of Messages.

val transformToReportingDescriptor : Batteries.String.t -> SarifType.ReportingDescriptor.t
val goblintTool : SarifType.Tool.t
val getCategoryInformationID : Messages.Tags.t -> string
val location_of_cil_location : GoblintCil.location -> SarifType.Location.t
val result_of_message : Messages.Message.t -> SarifType.Result.t list
val files_of_message : Messages.Message.t -> string list
val artifacts_of_messages : Messages.Message.t list -> SarifType.Artifact.t list
val to_yojson : Messages.Message.t list -> Yojson.Safe.t
OCaml

Innovation. Community. Security.