package frama-c

  1. Overview
  2. Docs
package frama-c
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.

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