In this release, we've focused on providing support for new compilers and IDEs, as well as extending our support for coding standards, including MISRA 2008. Support for New Compilers- Microsoft Visual C++ 14.1x/ 2017
- WindRiver GCC 4.8.x (Static Analysis only)
- IAR Compiler for ARM 8.11.x
Extended Support for IDEs- Support for Eclipse 4.7
- Support for Visual Studio 2017
Integration with Visual Studio 2017 is now available for C/C++test DTP Engine and its Parasoft DTP Plugin for Visual Studio. Support for Visual Studio 2017 in C/C++test Desktop is coming in release 10.3.4. Enhanced Workflow for Test Configurations on DesktopWe've made it easier for you to interact with test configurations when working with C/C++test on your desktop. Now you can easily duplicate and customize an existing test configuration on DTP, as well as run a test configuration right form your IDE Preference page; see Creating Custom Test Configurations and Setting the Active Test Configuration for details. Enhancements to Static AnalysisIn this release, we've added new static analysis rules to cover the MISRA C++ 2008; see New Code Analysis Rules. The severity levels for MISRA C++ 2008 rules have been updated: - Required → Severity 2
- Advisory → Severity 4
- Document → Severity 5
Flow Analysis has been extended with support for C++11 Thread API (for BD-TRS rules) and new configuration options that allow you to: - disable terminators / functions with the
noreturn attribute - parameterize the BD-PB-VOVR rule with the "Report when there is at least one path where the value of the variable is not used" option; see the rule documentation for details.
- disable reporting violations whose paths pass via inline assembly code
- enable or disable all tainted data sources in the rule parameters
The RuleWizard Module has been extended with the following nodes and properties: - IsFinal - returns true if function or class was declared with 'final' or 'sealed' specifier
- IsExplicitFinal - returns true if function or class was declared with 'final' specifier
- IsSealed - returns true if function or class was declared with 'sealed' specifier
See RuleWizard 10.3.3 User's Guide for more details. | Anchor |
|---|
| New Code Analysis Rules |
|---|
| New Code Analysis Rules |
|---|
|
New Code Analysis Rules| Rule ID | Header |
|---|
| BD-PB-PTRARR | A pointer operand and any pointer resulting from pointer arithmetic using that operand shall both address elements of the same array | | BD-TRS-CMF | Make const member functions thread-safe | | CODSTA-CPP-90 | Using-directives and using-declarations (excluding class scope or function scope using-declarations) shall not be used in header files | | CODSTA-CPP-91 | The overloaded binary operator should be implemented in terms of its corresponding compound assignment operator | | CODSTA-CPP-92 | All accessible entity names within a multiple inheritance hierarchy should be unique | | GLOBAL-COMPATDECLS | All declarations of an object or function shall have compatible types | | GLOBAL-EXCSPECDECL | If a function is declared with an exception-specification, then all declarations of the same function (in other translation units) shall be declared with the same set of type-ids | | GLOBAL-ONEDEFRULE | The One Definition Rule shall not be violated | | GLOBAL-ONEFILEDECL | A type, object or function that is used in multiple translation units shall be declared in one and only one file | | GLOBAL-ONEUSEVAR | A project shall not contain non-volatile POD variables having only one use | | GLOBAL-TEMPLNOINST | All class templates, function templates, class template member functions and class template static members shall be instantiated at least one | | GLOBAL-UNIQUETYPEDEF | A typedef name (including qualification, if any) shall be a unique identifier | | GLOBAL-UNUSEDTYPE | A project shall not contain unused type declarations | | GLOBAL-UNUSEDVIRTPARAM | There shall be no unused parameters (named or unnamed) in the set of parameters for a virtual function and all the functions that override it | | GLOBAL-VIRTBASECLASS | A base class shall only be declared virtual if it is used in a diamond hierarchy | | MISRA2008-0_1_12 | There shall be no unused parameters (named or unnamed) in the set of parameters for a virtual function and all the functions that override it | | MISRA2008-0_1_4 | A project shall not contain non-volatile POD variables having only one use | | MISRA2008-0_1_5 | A project shall not contain unused type declarations | | MISRA2008-0_1_6 | Avoid unused values | | MISRA2008-0_1_9: | All non-null statements shall either have at least one side-effect however executed or cause control flow to change | | MISRA2008-0_3_1_a | Avoid accessing arrays out of bounds | | MISRA2008-0_3_1_b | Avoid null pointer dereferencing | | MISRA2008-0_3_1_c | Avoid division by zero | | MISRA2008-0_3_1_d | Avoid buffer overflow due to defining incorrect format limits | | MISRA2008-0_3_1_e | Avoid overflow due to reading a not zero terminated string | | MISRA2008-0_3_1_f | Do not check for null after dereferencing | | MISRA2008-0_3_1_g | Avoid overflow when reading from a buffer | | MISRA2008-0_3_1_h | Avoid overflow when writing to a buffer | | MISRA2008-0_3_1_i | Pointer arithmetic shall only be applied to pointers that address an array or array element | | MISRA2008-0_3_1_j | ,=,,= shall not be applied to objects of pointer type, except where they point to the same array | | MISRA2008-2_10_3 | A typedef name (including qualification, if any) shall be a unique identifier | | MISRA2008-3_2_1 | All declarations of an object or function shall have compatible types | | MISRA2008-3_2_2 | The One Definition Rule shall not be violated | | MISRA2008-3_2_3 | A type, object or function that is used in multiple translation units shall be declared in one and only one file | MISRA2008-3_2_4 | An identifier with external linkage shall have exactly one external definition | | MISRA2008-5_0_16_a | Avoid accessing arrays out of bounds | | MISRA2008-5_0_16_b | A pointer operand and any pointer resulting from pointer arithmetic using that operand shall both address elements of the same array | | MISRA2008-5_17_1 | The overloaded binary operator should be implemented in terms of its corresponding compound assignment operator | | MISRA2008-5_19_1_a | Integer overflow or underflow in constant expression in '+', '-', '*' operator | | MISRA2008-5_19_1_b | Integer overflow or underflow in constant expression in '' operator | | MISRA2008-7_2_1 | An expression with enum underlying type shall only have values corresponding to the enumerators of the enumeration | | MISRA2008-7_3_6 | Using-directives and using-declarations (excluding class scope or function scope using-declarations) shall not be used in header files | | MISRA2008-10_1_2 | A base class shall only be declared virtual if it is used in a diamond hierarchy | | MISRA2008-10_2_1 | All accessible entity names within a multiple inheritance hierarchy should be unique | | MISRA2008-14_5_1 | Do not declare non-member generic functions in associated namespaces | | MISRA2008-14_6_2 | The function shall resolve to a function declared previously in the translation unit | | MISRA2008-14_7_1 | All class templates, function templates, class template member functions and class template static members shall be instantiated at least one. | | MISRA2008-15_4_1 | If a function is declared with an exception-specification, then all declarations of the same function (in other translation units) shall be declared with the same set of type-ids | MISRA2012-RULE-18_1_c | A pointer operand and any pointer resulting from pointer arithmetic using that operand shall both address elements of the same array | | PB-70 | An expression with enum underlying type shall only have values corresponding to the enumerators of the enumeration | | TEMPL-13 | Do not declare non-member generic functions in associated namespaces | | TEMPL-14 | The function shall resolve to a function declared previously in the translation unit |
Updated Code Analysis Rules
| Rule Category | Rule IDs |
|---|
| Flow Analysis | BD-PB-OVERFWR, BD-PB-OVERFRD, BD-PB-VOVR, BD-SECURITY-ARRAY, BD-TRS-LOCK, BD-TRS-TSHL | | Coding Conventions | CODSTA-103, CODSTA-163_b | | Comments | COMMENT-13 | | Initialization | INIT-06 | | Joint Strike Fighter | JSF-071_b, JSF-111, JSF-171, JSF-187, JSF-204_b | | MISRA 2004 | MISRA2004-14_2, MISRA2004-15_1, MISRA2004-17_2, MISRA2004-17_3, MISRA2004-17_6_a | | MISRA 2008 | MISRA2008-0_1_6, MISRA2008-0_1_9, MISRA2008-0_3_1_g, MISRA2008-0_3_1_h, MISRA2008-0_3_1_i, MISRA2008-0_3_1_j, MISRA2008-5_0_17, MISRA2008-5_0_18, MISRA2008-5_19_1_a, MISRA2008-5_19_1_b, MISRA2008-6_4_3_a, MISRA2008-6_4_4, MISRA2008-7_5_1, MISRA2008-7_5_2_a | | MISRA 2012 | MISRA2012-DIR-4_1_g, MISRA2012-DIR-4_1_h, MISRA2012-DIR-4_1_i, MISRA2012-DIR-4_1_j, MISRA2012-DIR-4_13_d, MISRA2012-DIR-4_14_a, MISRA2012-RULE-1_3_d, MISRA2012-RULE-1_3_e, MISRA2012-RULE-1_3_m, MISRA2012-RULE-2_2_a, MISRA2012-RULE-3_2, MISRA2012-RULE-10_3_b, MISRA2012-RULE-12_4_a, MISRA2012-RULE-12_4_b, MISRA2012-RULE-16_1_b, MISRA2012-RULE-16_2, MISRA2012-RULE-18_2, MISRA2012-RULE-18_3, MISRA2012-RULE-18_6_a, MISRA2012-RULE-21_17_b | | Possible Bugs | PB-11, PB-66_a, PB-66_b |
Resolved Bugs and FRs| Bug/FR ID | Description |
|---|
| CPP-18579 | Rule MISRA2012-RULE-10_3_b (CODSTA-163_b) reports false positives | | CPP-36999 | base_from_member.hpp", line 136: error: expected a ")" ::new ((void*) 0) MemberType( static_cast<T&&>(x)... ) | | CPP-38187 | The rule MISRA2004-17_6_a reports false positive violation | | CPP-38241 | PB-11 incorrect behaviour | | CPP-38336 | MISRA2004-17_6_a-3 reporting a false positive | | CPP-38342 | Rule MISRA2004-15_1 throwing a false postive with 'default | | CPP-38589 | CDD rules regression in C++test 10.3.2 (Japanese only) | | CPP-38602 | Add C++11 "final" specifier for function to RuleWizard dictionary | | CPP-39168 | Cannot generate BDF using msbuild on Windows 7 | | CPP-39211 | User rule may not be executed if there's a sub-rule (text rule) in the same directory | | CPP-39356 | Parse errors related to C++11 with Keil for ARM v5.x | | CPP-39405 | INIT-06 false positive for default move constructor | | CPP-39407 | double argument to static_assert | | CPP-39409 | MISRA2012-RULE-7_1 false positive | | CPP-39410 | MISRA2012-RULE-16_4_b false positive | | CPP-39415 | RVCT compilers accept the big-letter '--C99' flag | | CPP-39495 | Support for IAR EWARM 8.x |
|