/* >>>------------------------------------------------------------ * * File: rule_20.3.c, Module: M2CM-3.2-QAC-8.1.2 * * RULE 20.3 (Required): * The validity of values passed to library functions shall be * checked. * * Implemented by messages: * 2810 Constant: Dereference of NULL pointer. * * 2811 Definite: Dereference of NULL pointer. * * 2812 Apparent: Dereference of NULL pointer. * * 2840 Constant: Dereference of an invalid pointer value. * * 2841 Definite: Dereference of an invalid pointer value. * * 2842 Apparent: Dereference of an invalid pointer value. * * <<<------------------------------------------------------------ */ /* PRQA S 3205 ++ */ #include /* MISRA Violation */ #include /* MISRA Violation */ #include "misra.h" #include "m2cmex.h" extern S16 test_2003( void ) { PC buf[5]; PC *str1 = NULL; PC *str2 = "Reaction %d"; (void)printf(str1, 10); /* MISRA Violation */ (void)memcpy(buf, str2, 11u); /* MISRA Violation */ return 1; }