1.4.38. Migration to 7.5.2

1.4.38.1. Stylecheck

Option byte_size_names of CertC-ARR38 and CertC++-ARR38 removed

The option byte_size_names of rule CertC-ARR38 and CertC++-ARR38, sharing the same implementation, was introduced in Version 7.5.0 for mbrtowc() but this case was recently corrected in the Cert C Coding Standard making this option obsolete.

MisraC2012-18.1

The rule now additionally reports cases where the object on which pointer arithmetic is performed is no array; such objects are treated as arrays of length one. The additional findings have the message kind out_of_bounds_nonarray_arithmetic (“Pointer arithmetic possibly creates pointer outside of non-array target”).