Polyspace® Bug Finder Reference

Description

Introduction About This Reference Polyspace Analysis Options Analysis Options Source code language (-lang) C standard version (-c-version) C++ standard version (-cpp-version) Compiler (-compiler) Target processor type (-target) ARM v5 Compiler (-compiler armcc) ARM v6 Compiler (-compiler armclang) NXP CodeWarrior Compiler (-compiler codewarrior) Cosmic Compiler (-compiler cosmic) Diab Compiler (-compiler diab) Green Hills Compiler (-compiler greenhills) IAR Embedded Workbench Compiler (-compiler iar-ew) Intel C++ Compiler Classic (icc/icl) (-compiler intel) MPLAB XC8 C Compiler (-compiler microchip) Renesas Compiler (-compiler renesas) TASKING Compiler (-compiler tasking) Texas Instruments Compiler (-compiler ti) Generic target options Sfr type support (-sfr-types) Division round down (-div-round-down) Enum type definition (-enum-type-definition) Signed right shift (-logical-signed-right-shift) Block char16/32_t types (-no-uliterals) Pack alignment value (-pack-alignment-value) Ignore pragma pack directives (-ignore-pragma-pack) Management of size_t (-size-t-type-is) Management of wchar_t (-wchar-t-type-is) Ignore link errors (-no-extern-C) Preprocessor definitions (-D) Disabled preprocessor definitions (-U) Source code encoding (-sources-encoding) Code from DOS or Windows file system (-dos) Stop analysis if a file does not compile (-stop-if-compile-error) Command/script to apply to preprocessed files (-post-preprocessing-command) Include (-include) Include folders (-I) Constraint setup (-data-range-specifications) Ignore default initialization of global variables (-no-def-init-glob) Functions to stub (-functions-to-stub) Libraries used (-library) Generate stubs for Embedded Coder lookup tables (-stub-embedded-coder-lookup-table-functions) Generate results for sources and (-generate-results-for) Do not generate results for (-do-not-generate-results-for) External multitasking configuration OIL files selection (-osek-multitasking) ARXML files selection (-autosar-multitasking) Configure multitasking manually Enable automatic concurrency detection for Code Prover (-enable-concurrency-detection) Tasks (-entry-points) Cyclic tasks (-cyclic-tasks) Interrupts (-interrupts) Disabling all interrupts (-routine-disable-interrupts -routine-enable-interrupts) Critical section details (-critical-section-begin -critical-section-end) Temporally exclusive tasks (-temporal-exclusions-file) Set checkers by file (-checkers-selection-file) Check MISRA C:2004 (-misra2) Check MISRA AC AGC (-misra-ac-agc) Check MISRA C:2012 (-misra3) Use generated code requirements (-misra3-agc-mode) Effective boolean types (-boolean-types) Allowed pragmas (-allowed-pragmas) Check custom rules (-custom-rules) Check MISRA C++:2008 (-misra-cpp) Check JSF AV C++ rules (-jsf-coding-rules) Check AUTOSAR C++ 14 (-autosar-cpp14) Check SEI CERT-C (-cert-c) Check SEI CERT-C++ (-cert-cpp) Check ISO/IEC TS 17961 (-iso-17961) Check guidelines (-guidelines) Calculate code metrics (-code-metrics) Find defects (-checkers -disable-checkers) Run stricter checks considering all values of system inputs (-checks-using-system-input-values) Consider inputs to these functions (-system-inputs-from) Class (-class-analyzer) Functions to call within the specified classes (-class-analyzer-calls) Analyze class contents only (-class-only) Initialization functions (-functions-called-before-main) Verify initialization section of code only (-init-only-mode) Verify whole application Show global variable sharing and usage only (-shared-variables-mode) Main entry point (-main) Functions to call (-main-generator-calls) Variables to initialize (-main-generator-writes-variables) Skip member initialization check (-no-constructors-init-check) Verify files independently (-unit-by-unit) Common source files (-unit-by-unit-common-source) Verify model generated code (-main-generator) Initialization functions (-functions-called-before-loop) Step functions (-functions-called-in-loop) Termination functions (-functions-called-after-loop) Parameters (-variables-written-before-loop) Inputs (-variables-written-in-loop) Verify module or library (-main-generator) Consider volatile qualifier on fields (-consider-volatile-qualifier-on-fields) Float rounding mode (-float-rounding-mode) Respect types in fields (-respect-types-in-fields) Respect types in global variables (-respect-types-in-globals) Consider environment pointers as unsafe (-stubbed-pointers-are-unsafe) Allow negative operand for left shifts (-allow-negative-operand-in-shift) Consider non finite floats (-allow-non-finite-floats) Infinities (-check-infinite) Check that global variables are initialized after warm reboot (-check-globals-init) NaNs (-check-nan) Enable pointer arithmetic across fields (-allow-ptr-arith-on-struct) Detect stack pointer dereference outside scope (-detect-pointer-escape) Disable checks for non-initialization (-disable-initialization-checks) Permissive function pointer calls (-permissive-function-pointer) Overflow mode for signed integer (-signed-integer-overflows) Overflow mode for unsigned integer (-unsigned-integer-overflows) Allow incomplete or partial allocation of structures (-size-in-bytes) Subnormal detection mode (-check-subnormal) Detect uncalled functions (-uncalled-function-checks) Calculate stack usage (-stack-usage) Sensitivity context (-context-sensitivity) Improve precision of interprocedural analysis (-path-sensitivity-delta) Precision level (-O0 | -O1 | -O2 | -O3) Specific precision (-modules-precision) Verification level (-to) Verification time limit (-timeout) Inline (-inline) Depth of verification inside structures (-k-limiting) Generate report Bug Finder and Code Prover report (-report-template) Output format (-report-output-format) Run Bug Finder or Code Prover analysis on a remote cluster (-batch) Use fast analysis mode for Bug Finder (-fast-analysis) Command/script to apply after the end of the code verification (-post-analysis-command) Other Analysis Options, Command-Line Only -asm-begin -asm-end -author -checkers-activation-file -code-behavior-specifications -consider-analysis-perimeter-as-trust-boundary -custom-target -date -detect-atomic-data-race -disable-concurrency-detection -doc | -documentation -dump-preprocessing-info -generate-launching-script-for -h | -help -I -ignore-code-annotations -import-comments -incremental -list-all-values -max-processes -non-preemptable-tasks -options-file -options-for-sources -preemptable-interrupts -prog -regex-replace-rgx -regex-replace-fmt -report-output-name -results-dir -scheduler -sources -sources-list-file -submit-job-from-previous-compilation-results -termination-functions -tmp-dir-in-results-dir -v | -version -verif-version -xml-annotations-description Polyspace DOS/UNIX Commands Polyspace DOS/Unix Commands admin-docker-agent polyspace-access polyspace-bug-finder-access polyspace-bug-finder polyspace-bug-finder-server polyspace-cluster-profile-manager polyspace-configure polyspace-report-generator polyspace-results-export polyspace-comments-import MATLAB and Simulink Functions, Classes, and Methods Functions, Properties, Classes, and Apps pslinkfun pslinkoptions polyspacesetup polyspacePackNGo pslinkrunCrossRelease pslinkrun polyspaceBugFinder polyspaceBugFinderServer polyspaceConfigure polyspaceJobsManager polyspaceroot polyspace_report polyspace.Project polyspace.Options polyspace.ModelLinkOptions polyspace.BugFinderOptions polyspace.DefectsOptions polyspace.ModelLinkBugFinderOptions polyspace.GenericTargetOptions polyspace.CodingRulesOptions polyspace.BugFinderResults pslinkoptions polyspace.Project.Configuration polyspace.ModelLinkOptions polyspace.Options.copyTo polyspace.Options.generateProject polyspace.Options.toScript polyspace.Project.run getSummary getResults Configuration Parameters Settings from (C) Settings Dependency Command-Line Information Settings from (C++) Settings Dependency Command-Line Information Use custom project file Settings Dependency Command-Line Information Project configuration Settings Dependency Command-Line Information Enable additional file list Settings Command-Line Information Stub lookup tables Settings Tips Command-Line Information Input Settings Command-Line Information Tunable parameters Settings Command-Line Information Output Settings Command-Line Information Model reference verification depth Settings Command-Line Information Model by model verification Settings Command-Line Information Output folder Settings Command-Line Information Make output folder name unique by adding a suffix Settings Command-Line Information Add results to current Simulink project Settings Dependencies Command-Line Information Open results automatically after verification Settings Command-Line Information Check configuration before verification Settings Command-Line Information Verify all S-function occurrences Settings Command-Line Information Polyspace Results: Defect Checkers Numerical Defects Absorption of float operand Bitwise operation on negative value Float conversion overflow Float division by zero Float overflow Integer constant overflow Integer conversion overflow Integer division by zero Integer overflow Integer precision exceeded Invalid use of standard library floating point routine Invalid use of standard library integer routine Possible invalid operation on boolean operand Precision loss in integer to float conversion Shift of a negative value Right operand of shift operation outside allowed bounds Sign change integer conversion overflow Unsigned integer constant overflow Unsigned integer conversion overflow Unsigned integer overflow Use of plain char type for numeric value Static Memory Defects Arithmetic operation with NULL pointer Array access out of bounds Buffer overflow from incorrect string format specifier Destination buffer overflow in string manipulation Destination buffer underflow in string manipulation Invalid use of standard library memory routine Invalid use of standard library string routine Move operation on const object Dereference of a null pointer Pointer access out of bounds Pointer or reference to stack variable leaving scope Subtraction or comparison between pointers to different arrays Unreliable cast of function pointer Unreliable cast of pointer Use of automatic variable as putenv-family function argument Use of path manipulation function without maximum-sized buffer checking Wrong allocated object size for cast Dynamic Memory Defects Alignment changed after memory reallocation Deallocation of previously deallocated pointer Invalid deletion of pointer Invalid free of pointer Memory leak Mismatched alloc/dealloc functions on Windows Unprotected dynamic memory allocation Use of previously freed pointer C++ Exception Defects Exception caught by value Exception handler hidden by previous handler Argument expression of throw statement might raise unexpected exception Noexcept function might exit with an exception Uncaught exception Programming Defects Abnormal termination of exit handler Accessing object with temporary lifetime Alternating input and output from a stream without flush or positioning call Assertion Bad file access mode or status Call through non-prototyped function pointer Call to memset family with unintended value Character value absorbed into EOF Copy of overlapping memory Declaration mismatch Environment pointer invalidated by previous operation Errno not reset Floating point comparison with equality operators Format string specifiers and arguments mismatch Function called from signal handler not asynchronous-safe Function called from signal handler not asynchronous-safe (strict ISO C) Improper array initialization Incorrect data type passed to va_arg Incorrect pointer scaling Incorrect type data passed to va_start Incorrect use of offsetof in C++ Incorrect use of va_start Incorrect value forwarding Inline constraint not respected Invalid assumptions about memory organization Invalid file position Invalid use of = operator Invalid use of == operator Invalid use of standard library routine Invalid va_list argument Memory comparison of float-point values Memory comparison of padding data Memory comparison of strings Missing byte reordering when transferring data Missing null in string array Misuse of a FILE object Misuse of errno Misuse of errno in a signal handler Misuse of narrow or wide character string Misuse of return value from non-reentrant standard function Misuse of sign-extended character value Misuse of structure with flexible array member Modification of internal buffer returned from non-reentrant standard function Overlapping assignment Possible misuse of sizeof Possibly unintended evaluation of expression because of operator precedence rules Predefined macro used as an object Preprocessor directive in macro argument Qualifier removed in conversion Return from computational exception signal handler Shared data access within signal handler Side effect in arguments to unsafe macro Side effect of expression ignored Signal call from within signal handler Standard function call with incorrect arguments Stream argument with possibly unintended side effects Too many va_arg calls for current argument list Typedef mismatch Universal character name from token concatenation Unnamed namespace in header file Unsafe conversion between pointer and integer Unsafe conversion from string to numerical value Use of indeterminate string Use of memset with size argument zero Variable length array with non-positive size Writing to const qualified object Wrong type used in sizeof Non-compliance with AUTOSAR specification Result of string::c_str() compared to another pointer Improper erase-remove idiom Invalid iterator usage std::string_view initialized with dangling pointer Data Flow Defects Code deactivated by constant false condition Dead code Missing return statement Non-initialized pointer Non-initialized variable Partially accessed array Pointer to non initialized value converted to const pointer Static uncalled function Unreachable code Useless if Variable shadowing Write without a further read Useless preprocessor conditional directive Security Defects Bad order of dropping privileges Deterministic random output from constant seed Errno not checked Execution of a binary from a relative path can be controlled by an external actor File access between time of check and use (TOCTOU) File descriptor exposure to child process File manipulation after chroot() without chdir("/") Function pointer assigned with absolute address Hard-coded sensitive data Inappropriate I/O operation on device files Incorrect order of network connection operations Information leak via structure padding Load of library from a relative path can be controlled by an external actor Mismatch between data length and size Missing case for switch condition Misuse of readlink() Predictable random output from predictable seed Privilege drop not verified Returned value of a sensitive function not checked Sensitive data printed out Sensitive heap memory not cleared before release Umask used with chmod-style arguments Uncleared sensitive data in stack Unsafe call to a system function Unsafe standard encryption function Unsafe standard function Use of dangerous standard function Use of non-secure temporary file Use of obsolete standard function Vulnerable path manipulation Vulnerable permission assignments Vulnerable pseudo-random number generator Critical data member is not private Uncertain memory cleaning Cryptography Defects Constant block cipher initialization vector Constant cipher key Context initialized incorrectly for cryptographic operation Context initialized incorrectly for digest operation Incompatible padding for RSA algorithm operation Inconsistent cipher operations Incorrect key for cryptographic algorithm Missing blinding for RSA algorithm Missing block cipher initialization vector Missing certification authority list Missing cipher algorithm Missing cipher data to process Missing cipher final step Missing cipher key Missing data for encryption, decryption or signing operation Missing final step after hashing update operation Missing hash algorithm Missing padding for RSA algorithm Missing parameters for key generation Missing peer key Missing private key Missing private key for X.509 certificate Missing public key Missing salt for hashing operation Missing X.509 certificate No data added into context Nonsecure hash algorithm Nonsecure parameters for key generation Nonsecure RSA public exponent Nonsecure SSL/TLS protocol Predictable block cipher initialization vector Predictable cipher key Server certificate common name not checked TLS/SSL connection method not set TLS/SSL connection method set incorrectly Weak cipher algorithm Weak cipher mode Weak padding for RSA algorithm X.509 peer certificate not checked Tainted Data Defects Array access with tainted index Command executed from externally controlled path Execution of externally controlled command Host change using externally controlled elements Library loaded from externally controlled path Loop bounded with tainted value Memory allocation with tainted size Pointer dereference with tainted offset Tainted division operand Tainted modulo operand Tainted NULL or non-null-terminated string Tainted sign change conversion Tainted string format Tainted size of variable length array Use of externally controlled environment variable Use of tainted pointer Concurrency Defects Asynchronously cancellable thread Atomic load and store sequence not atomic Atomic variable accessed twice in an expression Automatic or thread local variable escaping from a thread Blocking operation while holding lock Multiple threads waiting on same condition variable Data race Data race on adjacent bit fields Data race through standard library function call Deadlock Destruction of locked mutex Double lock Double unlock Function that can spuriously fail not wrapped in loop Function that can spuriously wake up not wrapped in loop Join or detach of a joined or detached thread Missing lock Missing or double initialization of thread attribute Missing unlock Multiple mutexes used with same condition variable Signal call in multithreaded program Thread-specific memory leak Use of signal to kill thread Use of undefined thread ID Object Oriented Defects *this not returned in copy assignment operator Base class assignment operator not called Base class destructor not virtual Bytewise operations on nontrivial class object Conversion or deletion of incomplete class pointer Copy constructor not called in initialization list Copy operation modifying source operand Incompatible types prevent overriding Lambda used as typeid operand Member not initialized in constructor Missing explicit keyword Missing virtual inheritance Object slicing Operator new not overloaded for possibly over-aligned class Partial override of overloaded virtual functions Return of non-const handle to encapsulated data member Self assignment not tested in operator Performance Defects A move operation may throw Const parameter values may cause unnecessary data copies Const return values may cause unnecessary data copies Const rvalue reference parameter may cause unnecessary data copies Const std::move input may cause a more expensive object copy Empty destructors may cause unnecessary data copies Expensive allocation in loop Expensive constant std::string construction Expensive copy in a range-based for loop iteration Expensive dynamic_cast Expensive local variable copy Expensive logical operation Expensive pass by value Expensive post-increment operation Expensive return by value Expensive return of a const object Expensive use of a standard algorithm when a more efficient method exists Expensive use of container's count method Expensive use of container's insertion method Expensive use of non-member std::string operator+() instead of a simple append Expensive use of std::string method instead of more efficient overload Expensive use of std::string with empty string literal Expensive use of string functions from the C standard library Expensive use of substr() to shorten a std::string Inefficient string length computation Inefficient use of for loop Inefficient use of sprintf Missing constexpr specifier Move operation uses copy std::endl may cause an unnecessary flush std::move called on an unmovable type Unnecessary padding Unnecessary use of std::string::c_str() or equivalent string methods Use of new or make_unique instead of more efficient make_shared Expensive use of container's size method Expensive use of map's bracket operator to insert or assign a value Expensive return caused by unnecessary std::move Missing call to container's reserve method Resource Management Defects Closing previously closed resource Opening previously opened resource Resource leak Use of previously closed resource Writing to read-only resource Good Practice Defects Ambiguous declaration syntax Bitwise and arithmetic operations on the same data C++ reference to const-qualified type with subsequent modification C++ reference type qualified with const or volatile Delete of void pointer Hard-coded buffer size Hard-coded loop boundary Hard-coded object size used to manipulate memory Incorrect syntax of flexible array member size Incorrectly indented statement Invalid scientific notation format Macro terminated with a semicolon Line with more than one statement Missing break of switch case Missing overload of allocation or deallocation function Missing reset of freed pointer Macro with multiple statements Possibly inappropriate data type for switch expression Semicolon on the same line as an if, for or while statement Unmodified variable not const-qualified Unused parameter Useless include Use of a forbidden function Use of a forbidden C/C++ keyword Use of a forbidden macro Use of setjmp/longjmp Redundant expression in sizeof operand File does not compile Declaration of catch for generic exception Declaration of throw for generic exception Public static field not const Method not const Polyspace Results: Coding Standards MISRA C 2012 MISRA C:2012 Dir 1.1 MISRA C:2012 Dir 2.1 MISRA C:2012 Dir 4.1 MISRA C:2012 Dir 4.3 MISRA C:2012 Dir 4.4 MISRA C:2012 Dir 4.5 MISRA C:2012 Dir 4.6 MISRA C:2012 Dir 4.7 MISRA C:2012 Dir 4.8 MISRA C:2012 Dir 4.9 MISRA C:2012 Dir 4.12 MISRA C:2012 Dir 4.10 MISRA C:2012 Dir 4.11 MISRA C:2012 Dir 4.13 MISRA C:2012 Dir 4.14 MISRA C:2012 Rule 1.1 MISRA C:2012 Rule 1.2 MISRA C:2012 Rule 1.3 MISRA C:2012 Rule 1.4 MISRA C:2012 Rule 2.1 MISRA C:2012 Rule 2.2 MISRA C:2012 Rule 2.3 MISRA C:2012 Rule 2.4 MISRA C:2012 Rule 2.5 MISRA C:2012 Rule 2.6 MISRA C:2012 Rule 2.7 MISRA C:2012 Rule 3.1 MISRA C:2012 Rule 3.2 MISRA C:2012 Rule 4.1 MISRA C:2012 Rule 4.2 MISRA C:2012 Rule 5.1 MISRA C:2012 Rule 5.2 MISRA C:2012 Rule 5.3 MISRA C:2012 Rule 5.4 MISRA C:2012 Rule 5.5 MISRA C:2012 Rule 5.6 MISRA C:2012 Rule 5.7 MISRA C:2012 Rule 5.8 MISRA C:2012 Rule 5.9 MISRA C:2012 Rule 6.1 MISRA C:2012 Rule 6.2 MISRA C:2012 Rule 7.1 MISRA C:2012 Rule 7.2 MISRA C:2012 Rule 7.3 MISRA C:2012 Rule 7.4 MISRA C:2012 Rule 8.1 MISRA C:2012 Rule 8.2 MISRA C:2012 Rule 8.3 MISRA C:2012 Rule 8.4 MISRA C:2012 Rule 8.5 MISRA C:2012 Rule 8.6 MISRA C:2012 Rule 8.7 MISRA C:2012 Rule 8.8 MISRA C:2012 Rule 8.9 MISRA C:2012 Rule 8.10 MISRA C:2012 Rule 8.11 MISRA C:2012 Rule 8.12 MISRA C:2012 Rule 8.13 MISRA C:2012 Rule 8.14 MISRA C:2012 Rule 9.1 MISRA C:2012 Rule 9.2 MISRA C:2012 Rule 9.3 MISRA C:2012 Rule 9.4 MISRA C:2012 Rule 9.5 MISRA C:2012 Rule 10.1 MISRA C:2012 Rule 10.2 MISRA C:2012 Rule 10.3 MISRA C:2012 Rule 10.4 MISRA C:2012 Rule 10.5 MISRA C:2012 Rule 10.6 MISRA C:2012 Rule 10.7 MISRA C:2012 Rule 10.8 MISRA C:2012 Rule 11.1 MISRA C:2012 Rule 11.2 MISRA C:2012 Rule 11.3 MISRA C:2012 Rule 11.4 MISRA C:2012 Rule 11.5 MISRA C:2012 Rule 11.6 MISRA C:2012 Rule 11.7 MISRA C:2012 Rule 11.8 MISRA C:2012 Rule 11.9 MISRA C:2012 Rule 12.1 MISRA C:2012 Rule 12.2 MISRA C:2012 Rule 12.3 MISRA C:2012 Rule 12.4 MISRA C:2012 Rule 12.5 MISRA C:2012 Rule 13.1 MISRA C:2012 Rule 13.2 MISRA C:2012 Rule 13.3 MISRA C:2012 Rule 13.4 MISRA C:2012 Rule 13.5 MISRA C:2012 Rule 13.6 MISRA C:2012 Rule 14.1 MISRA C:2012 Rule 14.2 MISRA C:2012 Rule 14.3 MISRA C:2012 Rule 14.4 MISRA C:2012 Rule 15.1 MISRA C:2012 Rule 15.2 MISRA C:2012 Rule 15.3 MISRA C:2012 Rule 15.4 MISRA C:2012 Rule 15.5 MISRA C:2012 Rule 15.6 MISRA C:2012 Rule 15.7 MISRA C:2012 Rule 16.1 MISRA C:2012 Rule 16.2 MISRA C:2012 Rule 16.3 MISRA C:2012 Rule 16.4 MISRA C:2012 Rule 16.5 MISRA C:2012 Rule 16.6 MISRA C:2012 Rule 16.7 MISRA C:2012 Rule 17.1 MISRA C:2012 Rule 17.2 MISRA C:2012 Rule 17.3 MISRA C:2012 Rule 17.4 MISRA C:2012 Rule 17.5 MISRA C:2012 Rule 17.6 MISRA C:2012 Rule 17.7 MISRA C:2012 Rule 17.8 MISRA C:2012 Rule 18.1 MISRA C:2012 Rule 18.2 MISRA C:2012 Rule 18.3 MISRA C:2012 Rule 18.4 MISRA C:2012 Rule 18.5 MISRA C:2012 Rule 18.6 MISRA C:2012 Rule 18.7 MISRA C:2012 Rule 18.8 MISRA C:2012 Rule 19.1 MISRA C:2012 Rule 19.2 MISRA C:2012 Rule 20.1 MISRA C:2012 Rule 20.2 MISRA C:2012 Rule 20.3 MISRA C:2012 Rule 20.4 MISRA C:2012 Rule 20.5 MISRA C:2012 Rule 20.6 MISRA C:2012 Rule 20.7 MISRA C:2012 Rule 20.8 MISRA C:2012 Rule 20.9 MISRA C:2012 Rule 20.10 MISRA C:2012 Rule 20.11 MISRA C:2012 Rule 20.12 MISRA C:2012 Rule 20.13 MISRA C:2012 Rule 20.14 MISRA C:2012 Rule 21.1 MISRA C:2012 Rule 21.2 MISRA C:2012 Rule 21.20 MISRA C:2012 Rule 21.3 MISRA C:2012 Rule 21.4 MISRA C:2012 Rule 21.5 MISRA C:2012 Rule 21.6 MISRA C:2012 Rule 21.7 MISRA C:2012 Rule 21.8 MISRA C:2012 Rule 21.9 MISRA C:2012 Rule 21.10 MISRA C:2012 Rule 21.11 MISRA C:2012 Rule 21.12 MISRA C:2012 Rule 21.13 MISRA C:2012 Rule 21.14 MISRA C:2012 Rule 21.15 MISRA C:2012 Rule 21.16 MISRA C:2012 Rule 21.17 MISRA C:2012 Rule 21.18 MISRA C:2012 Rule 21.19 MISRA C:2012 Rule 21.21 MISRA C:2012 Rule 22.1 MISRA C:2012 Rule 22.10 MISRA C:2012 Rule 22.2 MISRA C:2012 Rule 22.3 MISRA C:2012 Rule 22.4 MISRA C:2012 Rule 22.5 MISRA C:2012 Rule 22.6 MISRA C:2012 Rule 22.7 MISRA C:2012 Rule 22.8 MISRA C:2012 Rule 22.9 MISRA C++: 2008 MISRA C++:2008 Rule 0-1-1 MISRA C++:2008 Rule 0-1-2 MISRA C++:2008 Rule 0-1-3 MISRA C++:2008 Rule 0-1-4 MISRA C++:2008 Rule 0-1-5 MISRA C++:2008 Rule 0-1-7 MISRA C++:2008 Rule 0-1-8 MISRA C++:2008 Rule 0-1-9 MISRA C++:2008 Rule 0-1-10 MISRA C++:2008 Rule 0-1-11 MISRA C++:2008 Rule 0-1-12 MISRA C++:2008 Rule 0-2-1 MISRA C++:2008 Rule 0-3-2 MISRA C++:2008 Rule 1-0-1 MISRA C++:2008 Rule 2-3-1 MISRA C++:2008 Rule 2-5-1 MISRA C++:2008 Rule 2-7-1 MISRA C++:2008 Rule 2-7-2 MISRA C++:2008 Rule 2-7-3 MISRA C++:2008 Rule 2-10-1 MISRA C++:2008 Rule 2-10-2 MISRA C++:2008 Rule 2-10-3 MISRA C++:2008 Rule 2-10-4 MISRA C++:2008 Rule 2-10-5 MISRA C++:2008 Rule 2-10-6 MISRA C++:2008 Rule 2-13-1 MISRA C++:2008 Rule 2-13-2 MISRA C++:2008 Rule 2-13-3 MISRA C++:2008 Rule 2-13-4 MISRA C++:2008 Rule 2-13-5 MISRA C++:2008 Rule 3-1-1 MISRA C++:2008 Rule 3-1-2 MISRA C++:2008 Rule 3-1-3 MISRA C++:2008 Rule 3-2-1 MISRA C++:2008 Rule 3-2-2 MISRA C++:2008 Rule 3-2-3 MISRA C++:2008 Rule 3-2-4 MISRA C++:2008 Rule 3-3-1 MISRA C++:2008 Rule 3-3-2 MISRA C++:2008 Rule 3-4-1 MISRA C++:2008 Rule 3-9-1 MISRA C++:2008 Rule 3-9-2 MISRA C++:2008 Rule 3-9-3 MISRA C++:2008 Rule 4-5-1 MISRA C++:2008 Rule 4-5-2 MISRA C++:2008 Rule 4-5-3 MISRA C++:2008 Rule 4-10-1 MISRA C++:2008 Rule 4-10-2 MISRA C++:2008 Rule 5-0-1 MISRA C++:2008 Rule 5-0-2 MISRA C++:2008 Rule 5-0-3 MISRA C++:2008 Rule 5-0-4 MISRA C++:2008 Rule 5-0-5 MISRA C++:2008 Rule 5-0-6 MISRA C++:2008 Rule 5-0-7 MISRA C++:2008 Rule 5-0-8 MISRA C++:2008 Rule 5-0-9 MISRA C++:2008 Rule 5-0-10 MISRA C++:2008 Rule 5-0-11 MISRA C++:2008 Rule 5-0-12 MISRA C++:2008 Rule 5-0-13 MISRA C++:2008 Rule 5-0-14 MISRA C++:2008 Rule 5-0-15 MISRA C++:2008 Rule 5-0-16 MISRA C++:2008 Rule 5-0-17 MISRA C++:2008 Rule 5-0-18 MISRA C++:2008 Rule 5-0-19 MISRA C++:2008 Rule 5-0-20 MISRA C++:2008 Rule 5-0-21 MISRA C++:2008 Rule 5-2-1 MISRA C++:2008 Rule 5-2-2 MISRA C++:2008 Rule 5-2-3 MISRA C++:2008 Rule 5-2-4 MISRA C++:2008 Rule 5-2-5 MISRA C++:2008 Rule 5-2-6 MISRA C++:2008 Rule 5-2-7 MISRA C++:2008 Rule 5-2-8 MISRA C++:2008 Rule 5-2-9 MISRA C++:2008 Rule 5-2-10 MISRA C++:2008 Rule 5-2-11 MISRA C++:2008 Rule 5-2-12 MISRA C++:2008 Rule 5-3-1 MISRA C++:2008 Rule 5-3-2 MISRA C++:2008 Rule 5-3-3 MISRA C++:2008 Rule 5-3-4 MISRA C++:2008 Rule 5-8-1 MISRA C++:2008 Rule 5-14-1 MISRA C++:2008 Rule 5-18-1 MISRA C++:2008 Rule 5-19-1 MISRA C++:2008 Rule 6-2-1 MISRA C++:2008 Rule 6-2-2 MISRA C++:2008 Rule 6-2-3 MISRA C++:2008 Rule 6-3-1 MISRA C++:2008 Rule 6-4-1 MISRA C++:2008 Rule 6-4-2 MISRA C++:2008 Rule 6-4-3 MISRA C++:2008 Rule 6-4-4 MISRA C++:2008 Rule 6-4-5 MISRA C++:2008 Rule 6-4-6 MISRA C++:2008 Rule 6-4-7 MISRA C++:2008 Rule 6-4-8 MISRA C++:2008 Rule 6-5-1 MISRA C++:2008 Rule 6-5-2 MISRA C++:2008 Rule 6-5-3 MISRA C++:2008 Rule 6-5-4 MISRA C++:2008 Rule 6-5-5 MISRA C++:2008 Rule 6-5-6 MISRA C++:2008 Rule 6-6-1 MISRA C++:2008 Rule 6-6-2 MISRA C++:2008 Rule 6-6-3 MISRA C++:2008 Rule 6-6-4 MISRA C++:2008 Rule 6-6-5 MISRA C++:2008 Rule 7-1-1 MISRA C++:2008 Rule 7-1-2 MISRA C++:2008 Rule 7-3-1 MISRA C++:2008 Rule 7-3-2 MISRA C++:2008 Rule 7-3-3 MISRA C++:2008 Rule 7-3-4 MISRA C++:2008 Rule 7-3-5 MISRA C++:2008 Rule 7-3-6 MISRA C++:2008 Rule 7-4-2 MISRA C++:2008 Rule 7-4-3 MISRA C++:2008 Rule 7-5-1 MISRA C++:2008 Rule 7-5-2 MISRA C++:2008 Rule 7-5-3 MISRA C++:2008 Rule 7-5-4 MISRA C++:2008 Rule 8-0-1 MISRA C++:2008 Rule 8-3-1 MISRA C++:2008 Rule 8-4-1 MISRA C++:2008 Rule 8-4-2 MISRA C++:2008 Rule 8-4-3 MISRA C++:2008 Rule 8-4-4 MISRA C++:2008 Rule 8-5-1 MISRA C++:2008 Rule 8-5-2 MISRA C++:2008 Rule 8-5-3 MISRA C++:2008 Rule 9-3-1 MISRA C++:2008 Rule 9-3-2 MISRA C++:2008 Rule 9-3-3 MISRA C++:2008 Rule 9-5-1 MISRA C++:2008 Rule 9-6-2 MISRA C++:2008 Rule 9-6-3 MISRA C++:2008 Rule 9-6-4 MISRA C++:2008 Rule 10-1-1 MISRA C++:2008 Rule 10-1-2 MISRA C++:2008 Rule 10-1-3 MISRA C++:2008 Rule 10-2-1 MISRA C++:2008 Rule 10-3-1 MISRA C++:2008 Rule 10-3-2 MISRA C++:2008 Rule 10-3-3 MISRA C++:2008 Rule 11-0-1 MISRA C++:2008 Rule 12-1-1 MISRA C++:2008 Rule 12-1-2 MISRA C++:2008 Rule 12-1-3 MISRA C++:2008 Rule 12-8-1 MISRA C++:2008 Rule 12-8-2 MISRA C++:2008 Rule 14-5-1 MISRA C++:2008 Rule 14-5-2 MISRA C++:2008 Rule 14-5-3 MISRA C++:2008 Rule 14-6-1 MISRA C++:2008 Rule 14-6-2 MISRA C++:2008 Rule 14-7-3 MISRA C++:2008 Rule 14-8-1 MISRA C++:2008 Rule 14-8-2 MISRA C++:2008 Rule 15-0-2 MISRA C++:2008 Rule 15-0-3 MISRA C++:2008 Rule 15-1-1 MISRA C++:2008 Rule 15-1-2 MISRA C++:2008 Rule 15-1-3 MISRA C++:2008 Rule 15-3-1 MISRA C++:2008 Rule 15-3-2 MISRA C++:2008 Rule 15-3-3 MISRA C++:2008 Rule 15-3-4 MISRA C++:2008 Rule 15-3-5 MISRA C++:2008 Rule 15-3-6 MISRA C++:2008 Rule 15-3-7 MISRA C++:2008 Rule 15-4-1 MISRA C++:2008 Rule 15-5-1 MISRA C++:2008 Rule 15-5-2 MISRA C++:2008 Rule 15-5-3 MISRA C++:2008 Rule 16-0-1 MISRA C++:2008 Rule 16-0-2 MISRA C++:2008 Rule 16-0-3 MISRA C++:2008 Rule 16-0-4 MISRA C++:2008 Rule 16-0-5 MISRA C++:2008 Rule 16-0-6 MISRA C++:2008 Rule 16-0-7 MISRA C++:2008 Rule 16-0-8 MISRA C++:2008 Rule 16-1-1 MISRA C++:2008 Rule 16-1-2 MISRA C++:2008 Rule 16-2-1 MISRA C++:2008 Rule 16-2-2 MISRA C++:2008 Rule 16-2-3 MISRA C++:2008 Rule 16-2-4 MISRA C++:2008 Rule 16-2-5 MISRA C++:2008 Rule 16-2-6 MISRA C++:2008 Rule 16-3-1 MISRA C++:2008 Rule 16-3-2 MISRA C++:2008 Rule 16-6-1 MISRA C++:2008 Rule 17-0-1 MISRA C++:2008 Rule 17-0-2 MISRA C++:2008 Rule 17-0-3 MISRA C++:2008 Rule 17-0-5 MISRA C++:2008 Rule 18-0-1 MISRA C++:2008 Rule 18-0-2 MISRA C++:2008 Rule 18-0-3 MISRA C++:2008 Rule 18-0-4 MISRA C++:2008 Rule 18-0-5 MISRA C++:2008 Rule 18-2-1 MISRA C++:2008 Rule 18-4-1 MISRA C++:2008 Rule 18-7-1 MISRA C++:2008 Rule 19-3-1 MISRA C++:2008 Rule 27-0-1 CERT C Rules and Recommendations Acknowledgement CERT C: Rule PRE30-C CERT C: Rule PRE31-C CERT C: Rule PRE32-C CERT C: Rule DCL30-C CERT C: Rule DCL31-C CERT C: Rule DCL36-C CERT C: Rule DCL37-C CERT C: Rule DCL38-C CERT C: Rule DCL39-C CERT C: Rule DCL40-C CERT C: Rule DCL41-C CERT C: Rule EXP30-C CERT C: Rule EXP32-C CERT C: Rule EXP33-C CERT C: Rule EXP34-C CERT C: Rule EXP35-C CERT C: Rule EXP36-C CERT C: Rule EXP37-C CERT C: Rule EXP39-C CERT C: Rule EXP40-C CERT C: Rule EXP42-C CERT C: Rule EXP43-C CERT C: Rule EXP44-C CERT C: Rule EXP45-C CERT C: Rule EXP46-C CERT C: Rule EXP47-C CERT C: Rule INT30-C CERT C: Rule INT31-C CERT C: Rule INT32-C CERT C: Rule INT33-C CERT C: Rule INT34-C CERT C: Rule INT35-C CERT C: Rule INT36-C CERT C: Rule FLP30-C CERT C: Rule FLP32-C CERT C: Rule FLP34-C CERT C: Rule FLP36-C CERT C: Rule FLP37-C CERT C: Rule ARR30-C CERT C: Rule ARR32-C CERT C: Rule ARR36-C CERT C: Rule ARR37-C CERT C: Rule ARR38-C CERT C: Rule ARR39-C CERT C: Rule STR30-C CERT C: Rule STR31-C CERT C: Rule STR32-C CERT C: Rule STR34-C CERT C: Rule STR37-C CERT C: Rule STR38-C CERT C: Rule MEM30-C CERT C: Rule MEM31-C CERT C: Rule MEM33-C CERT C: Rule MEM34-C CERT C: Rule MEM35-C CERT C: Rule MEM36-C CERT C: Rule FIO30-C CERT C: Rule FIO32-C CERT C: Rule FIO34-C CERT C: Rule FIO37-C CERT C: Rule FIO38-C CERT C: Rule FIO39-C CERT C: Rule FIO40-C CERT C: Rule FIO41-C CERT C: Rule FIO42-C CERT C: Rule FIO44-C CERT C: Rule FIO45-C CERT C: Rule FIO46-C CERT C: Rule FIO47-C CERT C: Rule ENV30-C CERT C: Rule ENV31-C CERT C: Rule ENV32-C CERT C: Rule ENV33-C CERT C: Rule ENV34-C CERT C: Rule SIG30-C CERT C: Rule SIG31-C CERT C: Rule SIG34-C CERT C: Rule SIG35-C CERT C: Rule ERR30-C CERT C: Rule ERR32-C CERT C: Rule ERR33-C CERT C: Rule ERR34-C CERT C: Rule CON30-C CERT C: Rule CON31-C CERT C: Rule CON32-C CERT C: Rule CON33-C CERT C: Rule CON34-C CERT C: Rule CON35-C CERT C: Rule CON36-C CERT C: Rule CON37-C CERT C: Rule CON38-C CERT C: Rule CON39-C CERT C: Rule CON40-C CERT C: Rule CON41-C CERT C: Rule CON43-C CERT C: Rule MSC30-C CERT C: Rule MSC32-C CERT C: Rule MSC33-C CERT C: Rule MSC37-C CERT C: Rule MSC38-C CERT C: Rule MSC39-C CERT C: Rule MSC40-C CERT C: Rule MSC41-C CERT C: Rule POS30-C CERT C: Rule POS34-C CERT C: Rule POS35-C CERT C: Rule POS36-C CERT C: Rule POS37-C CERT C: Rule POS38-C CERT C: Rule POS39-C CERT C: Rule POS44-C CERT C: Rule POS47-C CERT C: Rule POS48-C CERT C: Rule POS49-C CERT C: Rule POS50-C CERT C: Rule POS51-C CERT C: Rule POS52-C CERT C: Rule. POS53-C CERT C: Rule POS54-C CERT C: Rule WIN30-C CERT C: Rec. PRE00-C CERT C: Rec. PRE01-C CERT C: Rec. PRE06-C CERT C: Rec. PRE07-C CERT C: Rec. PRE09-C CERT C: Rec. PRE10-C CERT C: Rec. PRE11-C CERT C: Rec. DCL00-C CERT C: Rec. DCL01-C CERT C: Rec. DCL02-C CERT C: Rec. DCL06-C CERT C: Rec. DCL07-C CERT C: Rec. DCL10-C CERT C: Rec. DCL11-C CERT C: Rec. DCL12-C CERT C: Rec. DCL13-C CERT C: Rec. DCL15-C CERT C: Rec. DCL16-C CERT C: Rec. DCL18-C CERT C: Rec. DCL19-C CERT C: Rec. DCL22-C CERT C: Rec. DCL23-C CERT C: Rec. EXP00-C CERT C: Rec. EXP05-C CERT C: Rec. EXP08-C CERT C: Rec. EXP09-C CERT C: Rec. EXP10-C CERT C: Rec. EXP12-C CERT C: Rec. EXP13-C CERT C: Rec. EXP15-C CERT C: Rec. EXP19-C CERT C: Rec. INT00-C CERT C: Rec. INT02-C CERT C: Rec. INT04-C CERT C: Rec. INT07-C CERT C: Rec. INT08-C CERT C: Rec. INT09-C CERT C: Rec. INT10-C CERT C: Rec. INT12-C CERT C: Rec. INT13-C CERT C: Rec. INT14-C CERT C: Rec. INT18-C CERT C: Rec. FLP00-C CERT C: Rec. FLP02-C CERT C: Rec. FLP03-C CERT C: Rec. FLP06-C CERT C: Rec. ARR01-C CERT C: Rec. ARR02-C CERT C: Rec. STR02-C CERT C: Rec. STR03-C CERT C: Rec. STR07-C CERT C: Rec. STR11-C CERT C: Rec. MEM00-C CERT C: Rec. MEM01-C CERT C: Rec. MEM02-C CERT C: Rec. MEM03-C CERT C: Rec. MEM04-C CERT C: Rec. MEM05-C CERT C: Rec. MEM06-C CERT C: Rec. MEM11-C CERT C: Rec. MEM12-C CERT C: Rec. FIO02-C CERT C: Rec. FIO11-C CERT C: Rec. FIO21-C CERT C: Rec. FIO24-C CERT C: Rec. ENV01-C CERT C: Rec. ERR00-C CERT C: Rec. API04-C CERT C: Rec. CON01-C CERT C: Rec. CON05-C CERT C: Rec. MSC01-C CERT C: Rec. MSC04-C CERT C: Rec. MSC12-C CERT C: Rec. MSC13-C CERT C: Rec. MSC15-C CERT C: Rec. MSC17-C CERT C: Rec. MSC18-C CERT C: Rec. MSC20-C CERT C: Rec. MSC21-C CERT C: Rec. MSC22-C CERT C: Rec. MSC24-C CERT C: Rec. POS05-C CERT C: Rec. WIN00-C CERT C++ Rules Acknowledgement CERT C++: DCL30-C CERT C++: DCL39-C CERT C++: DCL40-C CERT C++: DCL50-CPP CERT C++: DCL51-CPP CERT C++: DCL52-CPP CERT C++: DCL53-CPP CERT C++: DCL54-CPP CERT C++: DCL55-CPP CERT C++: DCL56-CPP CERT C++: DCL57-CPP CERT C++: DCL58-CPP CERT C++: DCL59-CPP CERT C++: DCL60-CPP CERT C++: EXP34-C CERT C++: EXP35-C CERT C++: EXP36-C CERT C++: EXP37-C CERT C++: EXP39-C CERT C++: EXP42-C CERT C++: EXP45-C CERT C++: EXP46-C CERT C++: EXP47-C CERT C++: EXP50-CPP CERT C++: EXP51-CPP CERT C++: EXP52-CPP CERT C++: EXP53-CPP CERT C++: EXP54-CPP CERT C++: EXP55-CPP CERT C++: EXP57-CPP CERT C++: EXP58-CPP CERT C++: EXP59-CPP CERT C++: EXP61-CPP CERT C++: EXP62-CPP CERT C++: EXP63-CPP CERT C++: INT30-C CERT C++: INT31-C CERT C++: INT32-C CERT C++: INT33-C CERT C++: INT34-C CERT C++: INT35-C CERT C++: INT36-C CERT C++: ARR30-C CERT C++: ARR37-C CERT C++: ARR38-C CERT C++: ARR39-C CERT C++: CTR50-CPP CERT C++: CTR51-CPP CERT C++: CTR52-CPP CERT C++: CTR53-CPP CERT C++: CTR54-CPP CERT C++: CTR55-CPP CERT C++: CTR57-CPP CERT C++: CTR58-CPP CERT C++: STR30-C CERT C++: STR31-C CERT C++: STR32-C CERT C++: STR34-C CERT C++: STR37-C CERT C++: STR38-C CERT C++: STR50-CPP CERT C++: STR51-CPP CERT C++: STR52-CPP CERT C++: STR53-CPP CERT C++: MEM30-C CERT C++: MEM31-C CERT C++: MEM34-C CERT C++: MEM35-C CERT C++: MEM36-C CERT C++: MEM50-CPP CERT C++: MEM51-CPP CERT C++: MEM52-CPP CERT C++: MEM53-CPP CERT C++: MEM54-CPP CERT C++: MEM55-CPP CERT C++: MEM56-CPP CERT C++: MEM57-CPP CERT C++: FIO30-C CERT C++: FIO32-C CERT C++: FIO34-C CERT C++: FIO37-C CERT C++: FIO38-C CERT C++: FIO39-C CERT C++: FIO40-C CERT C++: FIO41-C CERT C++: FIO42-C CERT C++: FIO44-C CERT C++: FIO45-C CERT C++: FIO46-C CERT C++: FIO47-C CERT C++: FIO50-CPP CERT C++: FIO51-CPP CERT C++: ERR30-C CERT C++: ERR32-C CERT C++: ERR33-C CERT C++: ERR34-C CERT C++: ERR50-CPP CERT C++: ERR51-CPP CERT C++: ERR52-CPP CERT C++: ERR53-CPP CERT C++: ERR54-CPP CERT C++: ERR55-CPP CERT C++: ERR56-CPP CERT C++: ERR57-CPP CERT C++: ERR58-CPP CERT C++: ERR59-CPP CERT C++: ERR61-CPP CERT C++: OOP50-CPP CERT C++: OOP51-CPP CERT C++: OOP52-CPP CERT C++: OOP53-CPP CERT C++: OOP54-CPP CERT C++: OOP55-CPP CERT C++: OOP57-CPP CERT C++: OOP58-CPP CERT C++: CON33-C CERT C++: CON37-C CERT C++: CON40-C CERT C++: CON41-C CERT C++: CON43-C CERT C++: CON50-CPP CERT C++: CON52-CPP CERT C++: CON53-CPP CERT C++: CON54-CPP CERT C++: ENV30-C CERT C++: ENV31-C CERT C++: ENV32-C CERT C++: ENV33-C CERT C++: ENV34-C CERT C++: FLP30-C CERT C++: FLP32-C CERT C++: FLP34-C CERT C++: FLP36-C CERT C++: FLP37-C CERT C++: MSC30-C CERT C++: MSC32-C CERT C++: MSC33-C CERT C++: MSC37-C CERT C++: MSC38-C CERT C++: MSC39-C CERT C++: MSC40-C CERT C++: MSC41-C CERT C++: MSC50-CPP CERT C++: MSC51-CPP CERT C++: MSC52-CPP CERT C++: MSC53-CPP CERT C++: PRE30-C CERT C++: PRE31-C CERT C++: PRE32-C CERT C++: SIG31-C CERT C++: SIG34-C CERT C++: SIG35-C AUTOSAR C++14 Rules AUTOSAR C++14 Rule A0-1-1 AUTOSAR C++14 Rule A0-1-2 AUTOSAR C++14 Rule A0-1-3 AUTOSAR C++14 Rule A0-1-4 AUTOSAR C++14 Rule A0-1-5 AUTOSAR C++14 Rule A0-1-6 AUTOSAR C++14 Rule A0-4-2 AUTOSAR C++14 Rule A0-4-4 AUTOSAR C++14 Rule A1-1-1 AUTOSAR C++14 Rule A2-3-1 AUTOSAR C++14 Rule A2-5-1 AUTOSAR C++14 Rule A2-5-2 AUTOSAR C++14 Rule A2-7-1 AUTOSAR C++14 Rule A2-7-2 AUTOSAR C++14 Rule A2-7-3 AUTOSAR C++14 Rule A2-8-1 AUTOSAR C++14 Rule A2-8-2 AUTOSAR C++14 Rule A2-10-1 AUTOSAR C++14 Rule A2-10-4 AUTOSAR C++14 Rule A2-10-5 AUTOSAR C++14 Rule A2-10-6 AUTOSAR C++14 Rule A2-11-1 AUTOSAR C++14 Rule A2-13-1 AUTOSAR C++14 Rule A2-13-2 AUTOSAR C++14 Rule A2-13-3 AUTOSAR C++14 Rule A2-13-4 AUTOSAR C++14 Rule A2-13-5 AUTOSAR C++14 Rule A2-13-6 AUTOSAR C++14 Rule A3-1-1 AUTOSAR C++14 Rule A3-1-2 AUTOSAR C++14 Rule A3-1-3 AUTOSAR C++14 Rule A3-1-4 AUTOSAR C++14 Rule A3-1-5 AUTOSAR C++14 Rule A3-1-6 AUTOSAR C++14 Rule A3-3-1 AUTOSAR C++14 Rule A3-3-2 AUTOSAR C++14 Rule A3-8-1 AUTOSAR C++14 Rule A3-9-1 AUTOSAR C++14 Rule A4-5-1 AUTOSAR C++14 Rule A4-7-1 AUTOSAR C++14 Rule A4-10-1 AUTOSAR C++14 Rule A5-0-1 AUTOSAR C++14 Rule A5-0-2 AUTOSAR C++14 Rule A5-0-3 AUTOSAR C++14 Rule A5-0-4 AUTOSAR C++14 Rule A5-1-1 AUTOSAR C++14 Rule A5-1-2 AUTOSAR C++14 Rule A5-1-3 AUTOSAR C++14 Rule A5-1-4 AUTOSAR C++14 Rule A5-1-6 AUTOSAR C++14 Rule A5-1-7 AUTOSAR C++14 Rule A5-1-8 AUTOSAR C++14 Rule A5-1-9 AUTOSAR C++14 Rule A5-2-1 AUTOSAR C++14 Rule A5-2-2 AUTOSAR C++14 Rule A5-2-3 AUTOSAR C++14 Rule A5-2-4 AUTOSAR C++14 Rule A5-2-5 AUTOSAR C++14 Rule A5-2-6 AUTOSAR C++14 Rule A5-3-1 AUTOSAR C++14 Rule A5-3-2 AUTOSAR C++14 Rule A5-3-3 AUTOSAR C++14 Rule A5-5-1 AUTOSAR C++14 Rule A5-6-1 AUTOSAR C++14 Rule A5-10-1 AUTOSAR C++14 Rule A5-16-1 AUTOSAR C++14 Rule A6-2-1 AUTOSAR C++14 Rule A6-2-2 AUTOSAR C++14 Rule A6-4-1 AUTOSAR C++14 Rule A6-5-1 AUTOSAR C++14 Rule A6-5-2 AUTOSAR C++14 Rule A6-5-3 AUTOSAR C++14 Rule A6-5-4 AUTOSAR C++14 Rule A6-6-1 AUTOSAR C++14 Rule A7-1-1 AUTOSAR C++14 Rule A7-1-2 AUTOSAR C++14 Rule A7-1-3 AUTOSAR C++14 Rule A7-1-4 AUTOSAR C++14 Rule A7-1-5 AUTOSAR C++14 Rule A7-1-6 AUTOSAR C++14 Rule A7-1-7 AUTOSAR C++14 Rule A7-1-8 AUTOSAR C++14 Rule A7-1-9 AUTOSAR C++14 Rule A7-2-1 AUTOSAR C++14 Rule A7-2-2 AUTOSAR C++14 Rule A7-2-3 AUTOSAR C++14 Rule A7-2-4 AUTOSAR C++14 Rule A7-3-1 AUTOSAR C++14 Rule A7-4-1 AUTOSAR C++14 Rule A7-5-1 AUTOSAR C++14 Rule A7-5-2 AUTOSAR C++14 Rule A7-6-1 AUTOSAR C++14 Rule A8-2-1 AUTOSAR C++14 Rule A8-4-1 AUTOSAR C++14 Rule A8-4-2 AUTOSAR C++14 Rule A8-4-3 AUTOSAR C++14 Rule A8-4-4 AUTOSAR C++14 Rule A8-4-5 AUTOSAR C++14 Rule A8-4-6 AUTOSAR C++14 Rule A8-4-7 AUTOSAR C++14 Rule A8-4-8 AUTOSAR C++14 Rule A8-4-9 AUTOSAR C++14 Rule A8-4-10 AUTOSAR C++14 Rule A8-4-11 AUTOSAR C++14 Rule A8-4-12 AUTOSAR C++14 Rule A8-4-13 AUTOSAR C++14 Rule A8-4-14 AUTOSAR C++14 Rule A8-5-0 AUTOSAR C++14 Rule A8-5-1 AUTOSAR C++14 Rule A8-5-2 AUTOSAR C++14 Rule A8-5-3 AUTOSAR C++14 Rule A8-5-4 AUTOSAR C++14 Rule A9-3-1 AUTOSAR C++14 Rule A9-5-1 AUTOSAR C++14 Rule A9-6-1 AUTOSAR C++14 Rule A10-1-1 AUTOSAR C++14 Rule A10-2-1 AUTOSAR C++14 Rule A10-3-1 AUTOSAR C++14 Rule A10-3-2 AUTOSAR C++14 Rule A10-3-3 AUTOSAR C++14 Rule A10-3-5 AUTOSAR C++14 Rule A10-4-1 AUTOSAR C++14 Rule A11-0-1 AUTOSAR C++14 Rule A11-0-2 AUTOSAR C++14 Rule A11-3-1 AUTOSAR C++14 Rule A12-0-1 AUTOSAR C++14 Rule A12-0-2 AUTOSAR C++14 Rule A12-1-1 AUTOSAR C++14 Rule A12-1-2 AUTOSAR C++14 Rule A12-1-3 AUTOSAR C++14 Rule A12-1-4 AUTOSAR C++14 Rule A12-1-5 AUTOSAR C++14 Rule A12-1-6 AUTOSAR C++14 Rule A12-4-1 AUTOSAR C++14 Rule A12-4-2 AUTOSAR C++14 Rule A12-6-1 AUTOSAR C++14 Rule A12-7-1 AUTOSAR C++14 Rule A12-8-1 AUTOSAR C++14 Rule A12-8-2 AUTOSAR C++14 Rule A12-8-3 AUTOSAR C++14 Rule A12-8-4 AUTOSAR C++14 Rule A12-8-5 AUTOSAR C++14 Rule A12-8-6 AUTOSAR C++14 Rule A12-8-7 AUTOSAR C++14 Rule A13-1-2 AUTOSAR C++14 Rule A13-1-3 AUTOSAR C++14 Rule A13-2-1 AUTOSAR C++14 Rule A13-2-2 AUTOSAR C++14 Rule A13-2-3 AUTOSAR C++14 Rule A13-3-1 AUTOSAR C++14 Rule A13-5-1 AUTOSAR C++14 Rule A13-5-2 AUTOSAR C++14 Rule A13-5-3 AUTOSAR C++14 Rule A13-5-4 AUTOSAR C++14 Rule A13-5-5 AUTOSAR C++14 Rule A13-6-1 AUTOSAR C++14 Rule A14-1-1 AUTOSAR C++14 Rule A14-5-2 AUTOSAR C++14 Rule A14-5-3 AUTOSAR C++14 Rule A14-7-1 AUTOSAR C++14 Rule A14-7-2 AUTOSAR C++14 Rule A14-8-2 AUTOSAR C++14 Rule A15-0-2 AUTOSAR C++14 Rule A15-0-3 AUTOSAR C++14 Rule A15-0-7 AUTOSAR C++14 Rule A15-1-1 AUTOSAR C++14 Rule A15-1-2 AUTOSAR C++14 Rule A15-1-3 AUTOSAR C++14 Rule A15-1-4 AUTOSAR C++14 Rule A15-1-5 AUTOSAR C++14 Rule A15-2-1 AUTOSAR C++14 Rule A15-2-2 AUTOSAR C++14 Rule A15-3-3 AUTOSAR C++14 Rule A15-3-4 AUTOSAR C++14 Rule A15-3-5 AUTOSAR C++14 Rule A15-4-1 AUTOSAR C++14 Rule A15-4-2 AUTOSAR C++14 Rule A15-4-3 AUTOSAR C++14 Rule A15-4-4 AUTOSAR C++14 Rule A15-4-5 AUTOSAR C++14 Rule A15-5-1 AUTOSAR C++14 Rule A15-5-2 AUTOSAR C++14 Rule A15-5-3 AUTOSAR C++14 Rule A16-0-1 AUTOSAR C++14 Rule A16-2-1 AUTOSAR C++14 Rule A16-2-2 AUTOSAR C++14 Rule A16-2-3 AUTOSAR C++14 Rule A16-6-1 AUTOSAR C++14 Rule A16-7-1 AUTOSAR C++14 Rule A17-0-1 AUTOSAR C++14 Rule A17-1-1 AUTOSAR C++14 Rule A17-6-1 AUTOSAR C++14 Rule A18-0-1 AUTOSAR C++14 Rule A18-0-2 AUTOSAR C++14 Rule A18-0-3 AUTOSAR C++14 Rule A18-1-1 AUTOSAR C++14 Rule A18-1-2 AUTOSAR C++14 Rule A18-1-3 AUTOSAR C++14 Rule A18-1-4 AUTOSAR C++14 Rule A18-1-6 AUTOSAR C++14 Rule A18-5-1 AUTOSAR C++14 Rule A18-5-2 AUTOSAR C++14 Rule A18-5-3 AUTOSAR C++14 Rule A18-5-4 AUTOSAR C++14 Rule A18-5-5 AUTOSAR C++14 Rule A18-5-7 AUTOSAR C++14 Rule A18-5-8 AUTOSAR C++14 Rule A18-5-9 AUTOSAR C++14 Rule A18-5-10 AUTOSAR C++14 Rule A18-5-11 AUTOSAR C++14 Rule A18-9-1 AUTOSAR C++14 Rule A18-9-2 AUTOSAR C++14 Rule A18-9-3 AUTOSAR C++14 Rule A18-9-4 AUTOSAR C++14 Rule A20-8-1 AUTOSAR C++14 Rule A20-8-2 AUTOSAR C++14 Rule A20-8-3 AUTOSAR C++14 Rule A20-8-4 AUTOSAR C++14 Rule A20-8-5 AUTOSAR C++14 Rule A20-8-6 AUTOSAR C++14 Rule A20-8-7 AUTOSAR C++14 Rule A21-8-1 AUTOSAR C++14 Rule A23-0-1 AUTOSAR C++14 Rule A23-0-2 AUTOSAR C++14 Rule A25-1-1 AUTOSAR C++14 Rule A25-4-1 AUTOSAR C++14 Rule A26-5-1 AUTOSAR C++14 Rule A26-5-2 AUTOSAR C++14 Rule A27-0-1 AUTOSAR C++14 Rule A27-0-2 AUTOSAR C++14 Rule A27-0-3 AUTOSAR C++14 Rule A27-0-4 AUTOSAR C++14 Rule M0-1-1 AUTOSAR C++14 Rule M0-1-2 AUTOSAR C++14 Rule M0-1-3 AUTOSAR C++14 Rule M0-1-4 AUTOSAR C++14 Rule M0-1-8 AUTOSAR C++14 Rule M0-1-9 AUTOSAR C++14 Rule M0-1-10 AUTOSAR C++14 Rule M0-2-1 AUTOSAR C++14 Rule M0-3-2 AUTOSAR C++14 Rule M2-7-1 AUTOSAR C++14 Rule M2-10-1 AUTOSAR C++14 Rule M2-13-2 AUTOSAR C++14 Rule M2-13-3 AUTOSAR C++14 Rule M2-13-4 AUTOSAR C++14 Rule M3-1-2 AUTOSAR C++14 Rule M3-2-1 AUTOSAR C++14 Rule M3-2-2 AUTOSAR C++14 Rule M3-2-3 AUTOSAR C++14 Rule M3-2-4 AUTOSAR C++14 Rule M3-3-2 AUTOSAR C++14 Rule M3-4-1 AUTOSAR C++14 Rule M3-9-1 AUTOSAR C++14 Rule M3-9-3 AUTOSAR C++14 Rule M4-5-1 AUTOSAR C++14 Rule M4-5-3 AUTOSAR C++14 Rule M4-10-1 AUTOSAR C++14 Rule M4-10-2 AUTOSAR C++14 Rule M5-0-2 AUTOSAR C++14 Rule M5-0-3 AUTOSAR C++14 Rule M5-0-4 AUTOSAR C++14 Rule M5-0-5 AUTOSAR C++14 Rule M5-0-6 AUTOSAR C++14 Rule M5-0-7 AUTOSAR C++14 Rule M5-0-8 AUTOSAR C++14 Rule M5-0-9 AUTOSAR C++14 Rule M5-0-10 AUTOSAR C++14 Rule M5-0-11 AUTOSAR C++14 Rule M5-0-12 AUTOSAR C++14 Rule M5-0-14 AUTOSAR C++14 Rule M5-0-15 AUTOSAR C++14 Rule M5-0-16 AUTOSAR C++14 Rule M5-0-17 AUTOSAR C++14 Rule M5-0-18 AUTOSAR C++14 Rule M5-0-20 AUTOSAR C++14 Rule M5-0-21 AUTOSAR C++14 Rule M5-2-2 AUTOSAR C++14 Rule M5-2-3 AUTOSAR C++14 Rule M5-2-6 AUTOSAR C++14 Rule M5-2-8 AUTOSAR C++14 Rule M5-2-9 AUTOSAR C++14 Rule M5-2-10 AUTOSAR C++14 Rule M5-2-11 AUTOSAR C++14 Rule M5-2-12 AUTOSAR C++14 Rule M5-3-1 AUTOSAR C++14 Rule M5-3-2 AUTOSAR C++14 Rule M5-3-3 AUTOSAR C++14 Rule M5-3-4 AUTOSAR C++14 Rule M5-8-1 AUTOSAR C++14 Rule M5-14-1 AUTOSAR C++14 Rule M5-18-1 AUTOSAR C++14 Rule M5-19-1 AUTOSAR C++14 Rule M6-2-1 AUTOSAR C++14 Rule M6-2-2 AUTOSAR C++14 Rule M6-2-3 AUTOSAR C++14 Rule M6-3-1 AUTOSAR C++14 Rule M6-4-1 AUTOSAR C++14 Rule M6-4-2 AUTOSAR C++14 Rule M6-4-3 AUTOSAR C++14 Rule M6-4-4 AUTOSAR C++14 Rule M6-4-5 AUTOSAR C++14 Rule M6-4-6 AUTOSAR C++14 Rule M6-4-7 AUTOSAR C++14 Rule M6-5-2 AUTOSAR C++14 Rule M6-5-3 AUTOSAR C++14 Rule M6-5-4 AUTOSAR C++14 Rule M6-5-5 AUTOSAR C++14 Rule M6-5-6 AUTOSAR C++14 Rule M6-6-1 AUTOSAR C++14 Rule M6-6-2 AUTOSAR C++14 Rule M6-6-3 AUTOSAR C++14 Rule M7-1-2 AUTOSAR C++14 Rule M7-3-1 AUTOSAR C++14 Rule M7-3-2 AUTOSAR C++14 Rule M7-3-3 AUTOSAR C++14 Rule M7-3-4 AUTOSAR C++14 Rule M7-3-6 AUTOSAR C++14 Rule M7-4-2 AUTOSAR C++14 Rule M7-4-3 AUTOSAR C++14 Rule M7-5-1 AUTOSAR C++14 Rule M7-5-2 AUTOSAR C++14 Rule M8-0-1 AUTOSAR C++14 Rule M8-3-1 AUTOSAR C++14 Rule M8-4-2 AUTOSAR C++14 Rule M8-4-4 AUTOSAR C++14 Rule M8-5-2 AUTOSAR C++14 Rule M9-3-1 AUTOSAR C++14 Rule M9-3-3 AUTOSAR C++14 Rule M9-6-4 AUTOSAR C++14 Rule M10-1-1 AUTOSAR C++14 Rule M10-1-2 AUTOSAR C++14 Rule M10-1-3 AUTOSAR C++14 Rule M10-2-1 AUTOSAR C++14 Rule M10-3-3 AUTOSAR C++14 Rule M11-0-1 AUTOSAR C++14 Rule M12-1-1 AUTOSAR C++14 Rule A14-5-1 AUTOSAR C++14 Rule M14-5-3 AUTOSAR C++14 Rule M14-6-1 AUTOSAR C++14 Rule M15-0-3 AUTOSAR C++14 Rule M15-1-1 AUTOSAR C++14 Rule M15-1-2 AUTOSAR C++14 Rule M15-1-3 AUTOSAR C++14 Rule M15-3-1 AUTOSAR C++14 Rule M15-3-3 AUTOSAR C++14 Rule M15-3-4 AUTOSAR C++14 Rule M15-3-6 AUTOSAR C++14 Rule M15-3-7 AUTOSAR C++14 Rule M16-0-1 AUTOSAR C++14 Rule M16-0-2 AUTOSAR C++14 Rule M16-0-5 AUTOSAR C++14 Rule M16-0-6 AUTOSAR C++14 Rule M16-0-7 AUTOSAR C++14 Rule M16-0-8 AUTOSAR C++14 Rule M16-1-1 AUTOSAR C++14 Rule M16-1-2 AUTOSAR C++14 Rule M16-2-3 AUTOSAR C++14 Rule M16-3-1 AUTOSAR C++14 Rule M16-3-2 AUTOSAR C++14 Rule M17-0-2 AUTOSAR C++14 Rule M17-0-3 AUTOSAR C++14 Rule M17-0-5 AUTOSAR C++14 Rule M18-0-3 AUTOSAR C++14 Rule M18-0-4 AUTOSAR C++14 Rule M18-0-5 AUTOSAR C++14 Rule M18-2-1 AUTOSAR C++14 Rule M18-7-1 AUTOSAR C++14 Rule M19-3-1 AUTOSAR C++14 Rule M27-0-1 ISO/IEC TS 17961 Acknowledgment ISO/IEC TS 17961 [accfree] ISO/IEC TS 17961 [accsig] ISO/IEC TS 17961 [addrescape] ISO/IEC TS 17961 [alignconv] ISO/IEC TS 17961 [argcomp] ISO/IEC TS 17961 [asyncsig] ISO/IEC TS 17961 [boolasgn] ISO/IEC TS 17961 [chreof] ISO/IEC TS 17961 [chrsgnext] ISO/IEC TS 17961 [dblfree] ISO/IEC TS 17961 [diverr] ISO/IEC TS 17961 [fileclose] ISO/IEC TS 17961 [filecpy] ISO/IEC TS 17961 [funcdecl] ISO/IEC TS 17961 [insufmem] ISO/IEC TS 17961 [intoflow] ISO/IEC TS 17961 [intptrconv] ISO/IEC TS 17961 [inverrno] ISO/IEC TS 17961 [invfmtstr] ISO/IEC TS 17961 [invptr] ISO/IEC TS 17961 [ioileave] ISO/IEC TS 17961 [liberr] ISO/IEC TS 17961 [libmod] ISO/IEC TS 17961 [libptr] ISO/IEC TS 17961 [libuse] ISO/IEC TS 17961 [nonnullcs] ISO/IEC TS 17961 [nullref] ISO/IEC TS 17961 [padcomp] ISO/IEC TS 17961 [ptrcomp] ISO/IEC TS 17961 [ptrobj] ISO/IEC TS 17961 [resident] ISO/IEC TS 17961 [restrict] ISO/IEC TS 17961 [sigcall] ISO/IEC TS 17961 [signconv] ISO/IEC TS 17961 [sizeofptr] ISO/IEC TS 17961 [strmod] ISO/IEC TS 17961 [swtchdflt] ISO/IEC TS 17961 [syscall] ISO/IEC TS 17961 [taintformatio] ISO/IEC TS 17961 [taintnoproto] ISO/IEC TS 17961 [taintsink] ISO/IEC TS 17961 [taintstrcpy] ISO/IEC TS 17961 [uninitref] ISO/IEC TS 17961 [usrfmt] ISO/IEC TS 17961 [xfilepos] ISO/IEC TS 17961 [xfree] Guidelines Software Complexity Number of calling functions exceeds threshold Number of called functions exceeds threshold Comment density falls below threshold Call tree complexity exceeds threshold Number of lines in function body exceeds threshold Number of executable lines in function body exceeds threshold Number of goto statements exceeds threshold Depth of call nesting exceeds threshold Number of local static variables exceeds threshold Number of local non-static variables exceeds threshold Number of function calls exceeds threshold Number of function parameters exceeds threshold Number of static paths exceeds threshold Number of return statements exceeds threshold Number of statements exceeds threshold Number of lines exceeds threshold Cyclomatic complexity exceeds threshold Language scope exceeds threshold Custom Coding Rules Group 1: Files Group 2: Preprocessing Group 3: Type definitions Group 4: Structures Group 5: Classes (C++) Group 6: Enumerations Group 7: Functions Group 8: Constants Group 9: Variables Group 10: Name spaces (C++) Group 11: Class templates (C++) Group 12: Function templates (C++) Group 20: Style Polyspace Results: Code Metrics Code Metrics Comment Density Cyclomatic Complexity Estimated Function Coupling Higher Estimate of Size of Local Variables Language Scope Lower Estimate of Size of Local Variables Maximum Stack Usage Minimum Stack Usage Number of Call Levels Number of Call Occurrences Number of Called Functions Number of Calling Functions Number of Direct Recursions Number of Executable Lines Number of Files Number of Function Parameters Number of Goto Statements Number of Header Files Number of Instructions Number of Lines Number of Lines Within Body Number of Lines Without Comment Number of Local Non-Static Variables Number of Local Static Variables Number of Paths Number of Potentially Unprotected Shared Variables Number of Protected Shared Variables Number of Recursions Number of Return Statements Program Maximum Stack Usage Program Minimum Stack Usage Polyspace Reports Components Report Components Acronym Definitions Call Hierarchy Code and Verification Information Code Metrics Details Code Metrics Summary Code Verification Summary Coding Rules Details Coding Rules Summary Configuration Parameters Defects Summary Global Variable Checks Recursive Functions Report Customization (Filtering) Run-time Checks Details Ordered by Color/File Run-time Checks Details Ordered by Review Information Run-time Checks Summary Ordered by File Software Quality Objectives - Coding Rules Summary Software Quality Objectives - Run-time Checks Details Software Quality Objectives - Run-time Checks Summary Summary By File Variable Access Variable Checks Details Ordered By Review Information Polyspace Bug Finder Assumptions Approximations Used During Bug Finder Analysis Inputs in Polyspace Bug Finder Global Variables in Polyspace Bug Finder Volatile Variables in Polyspace Bug Finder