Value of -mdr-authors.
-mdr-authors
Value of -mdr-date.
-mdr-date
generates a coverage summary of EVA's run
Value of -mdr-flamegraph.
-mdr-flamegraph
Value of -mdr-gen.
-mdr-gen
generates the report (either final or draft according to the flag)
draft
Registration of the main entry point of the plug-in.
Value of -mdr-out.
-mdr-out
Parse skeleton files to add manually written comments to various parts of the report.
Value of -mdr-print-libc.
-mdr-print-libc
Value of -mdr-remarks.
-mdr-remarks
OCaml representation for the sarif 2.1 schema.
Value of -mdr-sarif-deterministic.
-mdr-sarif-deterministic
generate a sarif json object.
Value of -mdr-stubs.
-mdr-stubs
Value of -mdr-title.
-mdr-title