Frama-C API - `Markdown_report`

module Mardown_report : sig ... end

module Md_gen : sig ... end

module Mdr_params : sig ... end

module Mdr_register : sig ... end

Registration of the main entry point of the plug-in. Nothing is exported

module Parse_remarks : sig ... end

Parse skeleton files to add manually written comments to various parts of the report.

module Sarif : sig ... end

OCaml representation for the sarif 2.1 schema.

module Sarif_gen : sig ... end

Frama-C API - Markdown_report