package frama-c

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

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 Custom_properties : Json_type with type t = Yojson.Safe.t dict
module Properties : sig ... end
module Message : sig ... end
module MultiformatMessageString : sig ... end
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
OCaml

Innovation. Community. Security.