Markdown_report plugin

Directory plugins

Section Markdown-report (in plugins/markdown-report)


Markdown_report
Md_gen

generates the report (either final or draft according to the flag)

Mdr_params
Mdr_register

Registration of the main entry point of the plug-in.

Parse_remarks

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

Sarif

OCaml representation for the sarif 2.1 schema.

Sarif_gen

generate a sarif json object.