Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
…into logging
  • Loading branch information
JasperCraeghs committed Dec 16, 2024
2 parents ad66c25 + 9e83f10 commit ad3cdc7
Show file tree
Hide file tree
Showing 3 changed files with 288 additions and 0 deletions.
11 changes: 11 additions & 0 deletions tests/test_in/cov_out.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
Coverity: unclassified | some/path/boot.c:32:5: CID 446411 (#1 of 1): Infinite loop (INFINITE_LOOP): Unclassified, Unspecified, Undecided, owner is Unassigned, defect only exists locally.
Coverity: unclassified | some/path/boot.c:55:12: CID 446410 (#1 of 1): MISRA C-2012 The Essential Type Model (MISRA C-2012 Rule 10.3, Required): Unclassified, Unspecified, Undecided, owner is Unassigned, defect only exists locally.
Coverity: unclassified | some/path/boot.c:37:13: CID 446409 (#1 of 1): MISRA C-2012 Control Flow Expressions (MISRA C-2012 Rule 14.3, Required): Unclassified, Unspecified, Undecided, owner is Unassigned, defect only exists locally.
Coverity: unclassified | some/path/boot.c:37:13: CID 446408 (#1 of 1): Logically dead code (DEADCODE): Unclassified, Unspecified, Undecided, owner is Unassigned, defect only exists locally.
Coverity: unclassified | some/path/boot.c:36:13: CID 446407 (#1 of 1): MISRA C-2012 The Essential Type Model (MISRA C-2012 Rule 10.4, Required): Unclassified, Unspecified, Undecided, owner is Unassigned, defect only exists locally.
Coverity: unclassified | some/path/boot.c:32:5: CID 446406 (#1 of 1): MISRA C-2012 Control Flow Expressions (MISRA C-2012 Rule 14.3, Required): Unclassified, Unspecified, Undecided, owner is Unassigned, defect only exists locally.
Coverity: unclassified | some/path/boot.c:37:31: CID 446405 (#1 of 1): MISRA C-2012 Unused Code (MISRA C-2012 Rule 2.2, Required): Unclassified, Unspecified, Undecided, owner is Unassigned, defect only exists locally.
Coverity: intentional | some/path/dummy_int.h:34:12: CID 264736 (#1 of 1): MISRA C-2012 Standard C Environment (MISRA C-2012 Rule 1.2, Advisory): Intentional, Minor, Ignore, owner is Unassigned, defect only exists locally.
Coverity: false positive | some/path/dummy_fp.c:367:13: CID 423570 (#1 of 1): Out-of-bounds write (OVERRUN): False Positive, Minor, Ignore, owner is sfo, defect only exists locally.
Coverity: false positive | some/path/dummy_fp.c:367:13: CID 423568 (#1 of 1): MISRA C-2012 Pointers and Arrays (MISRA C-2012 Rule 18.1, Required): False Positive, Minor, Ignore, owner is sfo, defect only exists locally.
Coverity: unclassified | some/path/dummy_uncl.h:194:14: CID 431350 (#1 of 1): MISRA C-2012 Declarations and Definitions (MISRA C-2012 Rule 8.5, Required): Unclassified, Unspecified, Undecided, owner is Unassigned, defect only exists locally.
74 changes: 74 additions & 0 deletions tests/test_in/polyspace_output.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1,74 @@
Polyspace: run-time check : color : orange | ID '19928'
Polyspace: run-time check : color : orange | ID '19526'
Polyspace: run-time check : color : orange | ID '19424'
Polyspace: run-time check : color : orange | ID '19442'
Polyspace: run-time check : color : orange | ID '19375'
Polyspace: run-time check : color : orange | ID '19378'
Polyspace: run-time check : color : orange | ID '19377'
Polyspace: run-time check : color : orange | ID '19357'
Polyspace: run-time check : color : orange | ID '19352'
Polyspace: run-time check : color : orange | ID '19355'
Polyspace: run-time check : color : orange | ID '19354'
Polyspace: run-time check : color : orange | ID '19358'
Polyspace: run-time check : color : orange | ID '19360'
Polyspace: run-time check : color : orange | ID '19349'
Polyspace: run-time check : color : orange | ID '19345'
Polyspace: run-time check : color : orange | ID '19344'
Polyspace: run-time check : color : orange | ID '19338'
Polyspace: run-time check : color : orange | ID '19336'
Polyspace: run-time check : color : orange | ID '19335'
Polyspace: defect : information : impact: high | ID '17503'
Polyspace: defect : information : impact: high | ID '17504'
Polyspace: defect : information : impact: high | ID '17505'
Polyspace: defect : information : impact: high | ID '17506'
Polyspace: defect : information : impact: high | ID '17507'
Polyspace: defect : information : impact: high | ID '17508'
Polyspace: defect : information : impact: high | ID '17509'
Polyspace: defect : information : impact: high | ID '17510'
Polyspace: defect : information : impact: high | ID '17511'
Polyspace: defect : information : impact: high | ID '17512'
Polyspace: defect : information : impact: high | ID '17513'
Polyspace: defect : information : impact: high | ID '17514'
Polyspace: defect : information : impact: high | ID '17515'
Polyspace: defect : information : impact: high | ID '17516'
Polyspace: defect : information : impact: high | ID '17517'
Polyspace: defect : information : impact: high | ID '17518'
Polyspace: defect : information : impact: high | ID '17519'
Polyspace: defect : information : impact: high | ID '17520'
Polyspace: defect : information : impact: high | ID '17521'
Polyspace: defect : information : impact: high | ID '17522'
Polyspace: defect : information : impact: high | ID '17523'
Polyspace: defect : information : impact: high | ID '17524'
Polyspace: defect : information : impact: high | ID '17525'
Polyspace: defect : information : impact: high | ID '17526'
Polyspace: defect : information : impact: high | ID '17527'
Polyspace: defect : information : impact: high | ID '17528'
Polyspace: defect : information : impact: high | ID '17529'
Polyspace: defect : information : impact: high | ID '17530'
Polyspace: defect : information : impact: high | ID '17531'
Polyspace: defect : information : impact: high | ID '17532'
Polyspace: defect : information : impact: high | ID '17533'
Polyspace: defect : information : impact: high | ID '17534'
Polyspace: defect : information : impact: high | ID '17535'
Polyspace: defect : information : impact: high | ID '17536'
Polyspace: defect : information : impact: high | ID '17537'
Polyspace: defect : information : impact: high | ID '17538'
Polyspace: defect : information : impact: high | ID '17539'
Polyspace: defect : information : impact: high | ID '17540'
Polyspace: defect : information : impact: high | ID '17541'
Polyspace: defect : information : impact: high | ID '17542'
Polyspace: defect : information : impact: high | ID '17543'
Polyspace: defect : information : impact: high | ID '17544'
Polyspace: defect : information : impact: medium | ID '17559'
Polyspace: defect : information : impact: medium | ID '17560'
Polyspace: defect : information : impact: medium | ID '17561'
Polyspace: defect : information : impact: medium | ID '17562'
Polyspace: defect : information : impact: medium | ID '17563'
Polyspace: defect : information : impact: medium | ID '17568'
Polyspace: defect : information : impact: medium | ID '17569'
Polyspace: defect : information : impact: medium | ID '17570'
Polyspace: defect : information : impact: medium | ID '17571'
Polyspace: defect : information : impact: low | ID '17557'
Polyspace: defect : information : impact: low | ID '17564'
Polyspace: defect : information : impact: low | ID '17565'
Polyspace: defect : information : impact: low | ID '17566'
Loading

0 comments on commit ad3cdc7

Please sign in to comment.