Polyspace Bug Finder

Detailed Report for Project: polyspace

Report Author: ctreille
Polyspace Bug Finder: Detailed Report for Project: polyspace
by Report Author: ctreille

Published 15-Jun-2020 09:37:46

Analysis Author(s): Polyspace
Polyspace Version(s): Polyspace Bug Finder Server 3.3 (R2020b)
Project Version(s): 1.0

Result Folder(s):
C:\qualkits_R2020b\do\bugfinder\tests\bug-finder-server-results\reporting\template-bugfinder\OR-414-1-bugfinder_1
Table of Contents
Chapter 1. Polyspace Bug Finder Summary .............................................................................................................................................................................................. 1
................................................................................................................................................................................................................................................................. 1
................................................................................................................................................................................................................................................................. 1
Chapter 2. Code Metrics ............................................................................................................................................................................................................................... 2
Code Metrics Summary for: polyspace - OR-414-1-bugfinder_1 .................................................................................................................................................... 2
Chapter 3. Defects ........................................................................................................................................................................................................................................ 4
Defects .................................................................................................................................................................................................................................................. 4
Chapter 4. Appendix 1 - Configuration Settings ....................................................................................................................................................................................... 5
Polyspace Settings ............................................................................................................................................................................................................................... 5
Chapter 5. Appendix 2 - Definitions ............................................................................................................................................................................................................ 6
................................................................................................................................................................................................................................................................. 6

i
Chapter 1. Polyspace Bug Finder Summary

Table 1.1. Project Summary

Count Reviewed Unreviewed Pass/Fail
Polyspace Code Metrics 93 0 93 NA
Defects 3 0 3 NA
Total 96 0 96 NA

Table 1.2. Summary By File

File Defects (Reviewed)
C:\qualkits_R2020b\do\bugfinder\tests\reporting\template-bugfinder\OR-414-1-bugfinder_1.c 3 (0)

1
Chapter 2. Code Metrics
Code Metrics Summary for: polyspace - OR-414-1-bugfinder_1
Table 2.1. Project Metrics
Metric Value
Number of Recursions 1
Number of Direct Recursions 1
Number of Headers 0
Number of Files 1

Table 2.2. File Metrics

Metric Values (Min .. Max)
Comment Density 15
Estimated Function Coupling 1
Number of Lines 80
Number of Lines Without Comment 45

Table 2.3. Function Metrics

Metric Values (Min .. Max)
Cyclomatic Complexity 1 .. 3
Higher Estimate of Size of Local Variables 0 .. 28
Language Scope 1.0 .. 3.2
Lower Estimate of Size of Local Variables 0 .. 28
Number of Call Levels 1 .. 2
Number of Call Occurrences 0 .. 2
Number of Called Functions 0 .. 2
Number of Calling Functions 0 .. 2

2
Metric Values (Min .. Max)
Number of Executable Lines 1 .. 15
Number of Function Parameters 0 .. 2
Number of Goto Statements 0
Number of Instructions 1 .. 15
Number of Lines Within Body 1 .. 32
Number of Local Non-Static Variables 0 .. 4
Number of Local Static Variables 0
Number of Paths 1 .. 3
Number of Return Statements 0 .. 2

3
Chapter 3. Defects
Defects
Table 3.1. C:\qualkits_R2020b\do\bugfinder\tests\reporting\template-bugfinder\OR-414-1-bugfinder_1.c
ID Defect Impact Function Detail Severity Status Comment
96 Write without a further read Low main() Variable 'p' is rewritten later without an intermediate Unset Unreviewed
read.
95 Write without a further read Low main() Variable 'p' is never read after this point. Unset Unreviewed
94 Dead code Low main() If-condition always evaluates to false. Unset Unreviewed
Dead branch from line 52 to line 54.

4
Chapter 4. Appendix 1 - Configuration Settings
Polyspace Settings
Option Value
-author Polyspace
-bug-finder true
-code-metrics true
-compiler generic
-date 15/06/2020
-I C:\qualkits_R2020b\do\bugfinder\tests\options-api\lib
-lang C
-prog polyspace
-results-dir C:\qualkits_R2020b\do\bugfinder\tests\bug-finder-server-results\reporting\template-bugfinder\OR-414-1-bugfinder_1
-target i386
-verif-version 1.0
-checkers ALIGNMENT_CHANGE, ASSERT, ATOMIC_VAR_ACCESS_TWICE, ATOMIC_VAR_SEQUENCE_NOT_ATOMIC, BAD_EQUAL_EQUAL_USE, BAD_EQUAL_USE,
BAD_FREE, BAD_LOCK, BAD_PTR_SCALING, BAD_UNLOCK, CHARACTER_MISUSE, CHAR_EOF_CONFUSED, CLOSED_RESOURCE_USE, CONSTANT_OBJE
CT_WRITE, DATA_RACE, DATA_RACE_BIT_FIELDS, DATA_RACE_STD_LIB, DEADLOCK, DEAD_CODE, DECL_MISMATCH, DOUBLE_DEALLOCATION, DO
UBLE_LOCK, DOUBLE_RESOURCE_CLOSE, DOUBLE_RESOURCE_OPEN, DOUBLE_UNLOCK, ERRNO_MISUSE, FILE_OBJECT_MISUSE, FLEXIBLE_ARRAY_
MEMBER_STRUCT_MISUSE, FLOAT_ABSORPTION, FLOAT_CONV_OVFL, FLOAT_STD_LIB, FLOAT_ZERO_DIV, FREED_PTR, FUNC_CAST, IMPROPER_ARR
AY_INIT, INLINE_CONSTRAINT_NOT_RESPECTED, INT_CONV_OVFL, INT_STD_LIB, INT_ZERO_DIV, INVALID_ENV_POINTER, INVALID_MEMORY_ASSU
MPTION, INVALID_VA_LIST_ARG, IO_INTERLEAVING, LOCAL_ADDR_ESCAPE, MACRO_USED_AS_OBJECT, MEMCMP_PADDING_DATA, MEMCMP_STRI
NGS, MEM_STD_LIB, MISSING_ERRNO_RESET, MISSING_NULL_CHAR, MISSING_RETURN, NON_INIT_PTR, NON_INIT_VAR, NON_POSITIVE_VLA_SIZE,
NULL_PTR, OPERATOR_PRECEDENCE, OTHER_STD_LIB, OUT_BOUND_ARRAY, OUT_BOUND_PTR, PARTIALLY_ACCESSED_ARRAY, PRE_DIRECTIVE_MA
CRO_ARG, PRE_UCNAME_JOIN_TOKENS, PTR_CAST, PTR_SIZEOF_MISMATCH, PTR_TO_DIFF_ARRAY, PUTENV_AUTO_VAR, READ_ONLY_RESOURCE_W
RITE, RESOURCE_LEAK, SIDE_EFFECT_IGNORED, SIGN_CHANGE, SIG_HANDLER_CALLING_SIGNAL, SIG_HANDLER_COMP_EXCP_RETURN, SIG_HAND
LER_ERRNO_MISUSE, SIG_HANDLER_SHARED_OBJECT, SIZEOF_MISUSE, STD_FUNC_ARG_MISMATCH, STREAM_WITH_SIDE_EFFECT, STRING_FORMA
T, STRLIB_BUFFER_OVERFLOW, STRLIB_BUFFER_UNDERFLOW, STR_FORMAT_BUFFER_OVERFLOW, STR_STD_LIB, TEMP_OBJECT_ACCESS, TOO_MA
NY_VA_ARG_CALLS, TYPEDEF_MISMATCH, UINT_CONV_OVFL, UNPROTOTYPED_FUNC_CALL, UNREACHABLE, USELESS_IF, USELESS_WRITE, VAR_SH
ADOWING, VA_ARG_INCORRECT_TYPE, VA_START_INCORRECT_TYPE, VA_START_MISUSE

5
Chapter 5. Appendix 2 - Definitions

Table 5.1. Abbreviations

Abbreviation Definition
NA Not Available