package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141

sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

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