This release was only available as an integral part of Astrée 16.10.
Most of the supported MISRA rules can now be checked for without running
the runtime error analysis (
controlling-invariant-expression, associated with MISRA-C:2004 rule 4.1 and MISRA-C:2012 rule 2.1, provides a partial coverage for those rules without runtime error analysis.
uninitialized-variable-use(rule 9.1 of both MISRA-C:2004 and MISRA-C:2012) checks for missing initializers if the runtime error analysis is disabled.
type-compatibility) and MISRA-C:2012 Appendix 1 rule 21.15 (
function-return-typehas been moved from rule 8.1 to rule 8.2.
evaluation-orderfor rule 12.2 is now also performed in initializer expressions.
M2012A1followed by the MISRA rule number.
for-loop-condition-sideeffectfor the case when the third expression of a for-loop is missing. This affects rule 14.2.
side-effect-in-initializer-listfor initializer lists with a single element. This affects rule 13.1.
evaluation-orderfor rule 13.2 is now also performed in initializer expressions.
function-return-typehas been moved from rule 8.2 to rule 8.1.
unary-assign-detachmentin combination with volatile variables.
The checks for the MISRA-C:2004 rules 11.4 and 11.5 and for the MISRA-C:2012 rules 11.3, 11.6, 11.7, and 11.8 have been extended to cover implicit conversions.
pointer-qualifier-cast-implicitto rule 1.1.
/* comment1 *//* comment2 * comment2 continued */
stop-parse-error-immediate=no, parse errors no longer stop the rule checking on preprocessed files completely. Instead it is performed on all successfully parsed files.