Rule M0-2-1 (required, implementation, automated)
An object shall not be assigned to an overlapping object. See MISRA C++ 2008 [7]
Rule M0-3-1 (required, implementation / verification, non-automated)Minimization of run-time failures shall be ensured by the use of at least one of: (a) static analysis tools/techniques; (b) dynamic analysis tools/techniques; (c) explicit coding of checks to handle run-time faults. See MISRA C++ 2008 [7]