package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Markdown_report.SarifSource

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 JsonStringDictionary : Json_type with type t = string dict
Sourcemodule Uri : sig ... end
Sourcemodule Version : sig ... end
Sourcemodule ArtifactLocation : sig ... end
Sourcemodule Properties : sig ... end
Sourcemodule Message : sig ... end
Sourcemodule MultiformatMessageString : sig ... end
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 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 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 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct