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.
|