Frama-C API - `Sarif`

OCaml representation for the sarif 2.1 schema.

module type Json_type = sig ... end

module type Json_default = sig ... end

module Json_string : Json_type with type t = string

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

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

module JsonStringDictionary : Json_type with type t = string dict

module Uri : sig ... end

module Version : sig ... end

module ArtifactLocation : sig ... end

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

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

module Properties : sig ... end

module Message : sig ... end

module MultiformatMessageString : sig ... end

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

module ArtifactContent : sig ... end

module Region : sig ... end

module Rectangle : sig ... end

module PhysicalLocation : sig ... end

module Location : sig ... end

module StackFrame : sig ... end

module Stack : sig ... end

module Additional_properties : Json_default with type t = string dict

module Stl_importance : sig ... end

module ThreadFlowLocation : sig ... end

module ThreadFlow : sig ... end

module Attachment : sig ... end

module CodeFlow : sig ... end

module Sarif_exception : sig ... end

module Notification_kind : sig ... end

module Notification : sig ... end

module Driver : sig ... end

module Tool : sig ... end

module Invocation : sig ... end

module Conversion : sig ... end

module Edge : sig ... end

module Node : sig ... end

module Edge_traversal : sig ... end

module Role : sig ... end

module Hash : sig ... end

module Graph : sig ... end

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

module GraphTraversal : sig ... end

module Replacement : sig ... end

module Artifact : sig ... end

module FileChange : sig ... end

module Fix : sig ... end

module ExternalFiles : sig ... end

module LogicalLocation : sig ... end

module RuleConfigLevel : sig ... end

module ReportingConfiguration : sig ... end

module ToolComponentReference : sig ... end

module ReportingDescriptorReference : sig ... end

module ReportingDescriptorRelationship : sig ... end

module ReportingDescriptor : sig ... end

module Result_kind : sig ... end

module Result_level : sig ... end

module Result_suppressionState : sig ... end

module Result_baselineState : sig ... end

module Sarif_result : sig ... end

module VersionControlDetails : sig ... end

module ColumnKind : sig ... end

module RunAutomationDetails : sig ... end

module ExternalPropertyFileReferences : sig ... end

module TranslationMetadata : sig ... end

module ToolComponent : sig ... end

module Address : sig ... end

module WebRequest : sig ... end

module WebResponse : sig ... end

module SpecialLocations : sig ... end

module Run : sig ... end

module Schema : sig ... end

Frama-C API - Sarif

Frama-C API - `Sarif`