diff --git a/src/plugins/markdown-report/tests/md/oracle/cwe126.0.md b/src/plugins/markdown-report/tests/md/oracle/cwe126.0.md index e12065d755de3ebb5105e8d83d46767988b74880..bec42c33dbae166cc1c8012d038ecbacb61c977c 100644 --- a/src/plugins/markdown-report/tests/md/oracle/cwe126.0.md +++ b/src/plugins/markdown-report/tests/md/oracle/cwe126.0.md @@ -26,11 +26,25 @@ that have been considered during the analysis are the following: ## Configuration {#options} +### Eva Domains {#domains} + +Only the base domain (`cvalue`) has been used for the analysis + + ### Stubbed Functions {#stubs} No stubs have been used for this analysis +# Coverage {#coverage} + +There are 6 function definitions that are not stubbed. They represent 50 statements, of which 50 are potentially reachable through Eva, resulting in a **statement coverage of 100.0%** with respect to the entire application. + + +There were potentially 6 functions syntactically reachable from main. +These functions contain 50 statements, of which 50 are potentially reachable according to Eva, resulting in a **statement coverage of 100.0%** with respect to the perimeter set by this entry point. + + # Warnings {#warnings} The table below lists the warning that have been emitted by the analyzer. diff --git a/src/plugins/markdown-report/tests/sarif/oracle/cwe125.res.oracle b/src/plugins/markdown-report/tests/sarif/oracle/cwe125.res.oracle deleted file mode 100644 index 0ef7666c977e681acf98de94599f7a3ce0afcc70..0000000000000000000000000000000000000000 --- a/src/plugins/markdown-report/tests/sarif/oracle/cwe125.res.oracle +++ /dev/null @@ -1,3 +0,0 @@ -[kernel] Parsing cwe125.c (with preprocessing) -[kernel:typing:implicit-function-declaration] cwe125.c:27: Warning: - Calling undeclared function printf. Old style K&R code?