Module `Markdown_report.Sarif`Source

OCaml representation for the sarif 2.1 schema.

Sourcemodule type Json_type = sig ... end

Sourcemodule type Json_default = sig ... end

Sourcemodule Json_string : Json_type with type t = string

Sourcetype 'a dict = (string * 'a) list

Sourcemodule Json_dictionary (J : Json_type) : Json_type with type t = J.t dict

Sourcemodule JsonStringDictionary : Json_type with type t = string dict

Sourcemodule Uri : sig ... end

Sourcemodule Version : sig ... end

Sourcemodule ArtifactLocation : sig ... end

Source

module ArtifactLocationDictionary : 
  Json_type with type t = ArtifactLocation.t dict

Sourcemodule Custom_properties : Json_type with type t = Yojson.Safe.t dict

Sourcemodule Properties : sig ... end

Sourcemodule Message : sig ... end

Sourcemodule MultiformatMessageString : sig ... end

Source

module MultiformatMessageStringDictionary : 
  Json_type with type t = MultiformatMessageString.t dict

Sourcemodule ArtifactContent : sig ... end

Sourcemodule Region : sig ... end

Sourcemodule Rectangle : sig ... end

Sourcemodule PhysicalLocation : sig ... end

Sourcemodule Location : sig ... end

Sourcemodule StackFrame : sig ... end

Sourcemodule Stack : sig ... end

Sourcemodule Additional_properties : Json_default with type t = string dict

Sourcemodule Stl_importance : sig ... end

Sourcemodule ThreadFlowLocation : sig ... end

Sourcemodule ThreadFlow : sig ... end

Sourcemodule Attachment : sig ... end

Sourcemodule CodeFlow : sig ... end

Sourcemodule Sarif_exception : sig ... end

Sourcemodule Notification_kind : sig ... end

Sourcemodule Notification : sig ... end

Sourcemodule Driver : sig ... end

Sourcemodule Tool : sig ... end

Sourcemodule Invocation : sig ... end

Sourcemodule Conversion : sig ... end

Sourcemodule Edge : sig ... end

Sourcemodule Node : sig ... end

Sourcemodule Edge_traversal : sig ... end

Sourcemodule Role : sig ... end

Sourcemodule Hash : sig ... end

Sourcemodule Graph : sig ... end

Sourcemodule Graph_dictionary : Json_type with type t = Graph.t dict

Sourcemodule GraphTraversal : sig ... end

Sourcemodule Replacement : sig ... end

Sourcemodule Artifact : sig ... end

Sourcemodule FileChange : sig ... end

Sourcemodule Fix : sig ... end

Sourcemodule ExternalFiles : sig ... end

Sourcemodule LogicalLocation : sig ... end

Sourcemodule RuleConfigLevel : sig ... end

Sourcemodule ReportingConfiguration : sig ... end

Sourcemodule ToolComponentReference : sig ... end

Sourcemodule ReportingDescriptorReference : sig ... end

Sourcemodule ReportingDescriptorRelationship : sig ... end

Sourcemodule ReportingDescriptor : sig ... end

Sourcemodule Result_kind : sig ... end

Sourcemodule Result_level : sig ... end

Sourcemodule Result_suppressionState : sig ... end

Sourcemodule Result_baselineState : sig ... end

Sourcemodule Sarif_result : sig ... end

Sourcemodule VersionControlDetails : sig ... end

Sourcemodule ColumnKind : sig ... end

Sourcemodule RunAutomationDetails : sig ... end

Sourcemodule ExternalPropertyFileReferences : sig ... end

Sourcemodule TranslationMetadata : sig ... end

Sourcemodule ToolComponent : sig ... end

Sourcemodule Address : sig ... end

Sourcemodule WebRequest : sig ... end

Sourcemodule WebResponse : sig ... end

Sourcemodule SpecialLocations : sig ... end

Sourcemodule Run : sig ... end

Sourcemodule Schema : sig ... end

package frama-c

Module Markdown_report.SarifSource

Module `Markdown_report.Sarif`Source