add cbmc results

aufover · Feb 7, 2023 · 494f74b · 494f74b
1 parent e0f9c56
commit 494f74b
Show file tree

Hide file tree

Showing 432 changed files with 1,768,791 additions and 466,274 deletions.
diff --git a/tests/rpm-pkgs/acl-2.3.1-2.fc35/output-exp@cbmc/scan-results.err b/tests/rpm-pkgs/acl-2.3.1-2.fc35/output-exp@cbmc/scan-results.err
diff --git a/tests/rpm-pkgs/acl-2.3.1-2.fc35/output-exp@cbmc/scan-results.js b/tests/rpm-pkgs/acl-2.3.1-2.fc35/output-exp@cbmc/scan-results.js
@@ -0,0 +1,18 @@
+{
+    "scan": {
+        "analyzer-version-cbmc": "5.50.0",
+        "analyzer-version-gcc": "11.3.1",
+        "enabled-plugins": "cbmc, gcc",
+        "exit-code": 0,
+        "host": "dell-pe-fm120-1c.dell2.lab.eng.bos.redhat.com",
+        "mock-config": "fedora-35-x86_64",
+        "project-name": "acl-2.3.1-2.fc35",
+        "store-results-to": "/home/mockbuilder/aufover-benchmark/workdir-for-sync/rpm-pkgs/acl-2.3.1-2.fc35/cbmc/output",
+        "time-created": "2023-01-26 08:07:46",
+        "time-finished": "2023-01-26 08:17:49",
+        "tool": "csmock",
+        "tool-args": "'/usr/bin/csmock' '-o' '/home/mockbuilder/aufover-benchmark/workdir-for-sync/rpm-pkgs/acl-2.3.1-2.fc35/cbmc/output' '-f' '/home/mockbuilder/aufover-benchmark/workdir-for-sync/rpm-pkgs/acl-2.3.1-2.fc35/acl-2.3.1-2.fc35.src.rpm' '-r' 'fedora-35-x86_64' '-t' 'cbmc' '--cbmc-timeout=8' '--keep-going'",
+        "tool-version": "csmock-3.3.5-1.fc36"
+    },
+    "defects": ""
+}
diff --git a/tests/rpm-pkgs/acl-2.3.1-2.fc35/output-exp@cbmc/scan.log b/tests/rpm-pkgs/acl-2.3.1-2.fc35/output-exp@cbmc/scan.log
diff --git a/tests/rpm-pkgs/argon2-20171227-7.fc35/output-exp@cbmc/scan-results.err b/tests/rpm-pkgs/argon2-20171227-7.fc35/output-exp@cbmc/scan-results.err
diff --git a/tests/rpm-pkgs/argon2-20171227-7.fc35/output-exp@cbmc/scan-results.js b/tests/rpm-pkgs/argon2-20171227-7.fc35/output-exp@cbmc/scan-results.js
@@ -0,0 +1,18 @@
+{
+    "scan": {
+        "analyzer-version-cbmc": "5.50.0",
+        "analyzer-version-gcc": "11.3.1",
+        "enabled-plugins": "cbmc, gcc",
+        "exit-code": 0,
+        "host": "dell-pe-fm120-1c.dell2.lab.eng.bos.redhat.com",
+        "mock-config": "fedora-35-x86_64",
+        "project-name": "argon2-20171227-7.fc35",
+        "store-results-to": "/home/mockbuilder/aufover-benchmark/workdir-for-sync/rpm-pkgs/argon2-20171227-7.fc35/cbmc/output",
+        "time-created": "2023-01-26 10:58:55",
+        "time-finished": "2023-01-26 11:06:25",
+        "tool": "csmock",
+        "tool-args": "'/usr/bin/csmock' '-o' '/home/mockbuilder/aufover-benchmark/workdir-for-sync/rpm-pkgs/argon2-20171227-7.fc35/cbmc/output' '-f' '/home/mockbuilder/aufover-benchmark/workdir-for-sync/rpm-pkgs/argon2-20171227-7.fc35/argon2-20171227-7.fc35.src.rpm' '-r' 'fedora-35-x86_64' '-t' 'cbmc' '--cbmc-timeout=8' '--keep-going'",
+        "tool-version": "csmock-3.3.5-1.fc36"
+    },
+    "defects": ""
+}
diff --git a/tests/rpm-pkgs/argon2-20171227-7.fc35/output-exp@cbmc/scan.log b/tests/rpm-pkgs/argon2-20171227-7.fc35/output-exp@cbmc/scan.log
diff --git a/tests/rpm-pkgs/at-3.2.2-2.fc35/output-exp@cbmc/scan-results.err b/tests/rpm-pkgs/at-3.2.2-2.fc35/output-exp@cbmc/scan-results.err
@@ -64,7 +64,7 @@ at-3.2.2/lex.yy.c:1550:16: warning[-Wunused-function]: 'input' defined but not u
 # 1551|       static int input  (void)
 # 1552|   #endif
 
-Error: COMPILER_WARNING (CWE-758):
+Error: COMPILER_WARNING:
 at-3.2.2/parsetime.y:13: warning: "__isleap" redefined
 #   13 | #define __isleap(y) \
 #      |