Markdown_report plugin


Directory plugins

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


Eva_coverage
generates a coverage summary of EVA's run
Markdown_report
Value of -mdr-out.
Md_gen
generates the report (either final or draft according to the flag)
Mdr_params
Value of -mdr-out.
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.0 schema.
Sarif_gen
generate a sarif json object.