[MCUX-77049] Addresses CERT INT30-C, INT31-C and INT32-C, HIS_CALLING, HIS_COMF, MISRA 21.15 issues

Signed-off-by: Michal Princ <michal.princ@nxp.com>

Author: MichalPrincNXP

erpc_c/infra/erpc_basic_codec.cpp

@@ -1,6 +1,6 @@
 /*
  * Copyright (c) 2014, Freescale Semiconductor, Inc.
- * Copyright 2016-2021 NXP
+ * Copyright 2016-2025 NXP
  * Copyright 2021 ACRIOS Systems s.r.o.
  * All rights reserved.
  *
@@ -52,7 +52,7 @@ void BasicCodec::writeData(uint32_t length, const void *value)
 void BasicCodec::write(bool value)
 {
     // Make sure the bool is a single byte.
-    uint8_t v = (uint8_t)value;
+    uint8_t v = value ? 1U : 0U;
 
     writeData(sizeof(v), &v);
 }

erpc_c/infra/erpc_client_manager.cpp

@@ -1,6 +1,6 @@
 /*
  * Copyright (c) 2014, Freescale Semiconductor, Inc.
- * Copyright 2016-2021 NXP
+ * Copyright 2016-2025 NXP
  * Copyright 2021 ACRIOS Systems s.r.o.
  * All rights reserved.
  *
@@ -29,7 +29,8 @@ RequestContext ClientManager::createRequest(bool isOneway)
     // Create codec to read and write the request.
     Codec *codec = createBufferAndCodec();
 
-    return RequestContext(++m_sequence, codec, isOneway);
+    m_sequence = (m_sequence == 0xFFFFFFFFU) ? 0U : m_sequence + 1U;
+    return RequestContext(m_sequence, codec, isOneway);
 }
 
 void ClientManager::performRequest(RequestContext &request)

erpc_c/infra/erpc_crc16.cpp

@@ -1,5 +1,5 @@
 /*
- * Copyright 2021 NXP
+ * Copyright 2021-2025 NXP
  * Copyright 2021 ACRIOS Systems s.r.o.
  * All rights reserved.
  *
@@ -46,7 +46,7 @@ uint16_t Crc16::computeCRC16(const uint8_t *data, uint32_t lengthInBytes)
         }
     }
 
-    return (uint16_t)crc;
+    return (uint16_t)(crc & 0xFFFFU);
 }
 void Crc16::setCrcStart(uint32_t crcStart)
 {

erpc_c/infra/erpc_message_buffer.cpp

@@ -1,6 +1,6 @@
 /*
  * Copyright (c) 2014-2016, Freescale Semiconductor, Inc.
- * Copyright 2016-2023 NXP
+ * Copyright 2016-2025 NXP
  * Copyright 2021 ACRIOS Systems s.r.o.
  * All rights reserved.
  *
@@ -45,13 +45,13 @@ erpc_status_t MessageBuffer::read(uint16_t offset, void *data, uint32_t length)
         {
             err = kErpcStatus_MemoryError;
         }
-        else if ((offset + length) > m_len || (offset + length) < offset)
+        else if (offset >= m_len || length > (uint32_t)(m_len - offset))
         {
             err = kErpcStatus_BufferOverrun;
         }
         else
         {
-            (void)memcpy(data, &m_buf[offset], length);
+            (void)memcpy(data, (void *)&m_buf[offset], length);
         }
     }
 
@@ -68,13 +68,13 @@ erpc_status_t MessageBuffer::write(uint16_t offset, const void *data, uint32_t l
         {
             err = kErpcStatus_MemoryError;
         }
-        else if ((offset + length) > m_len || (offset + length) < offset)
+        else if (offset >= m_len || length > (uint32_t)(m_len - offset))
         {
             err = kErpcStatus_BufferOverrun;
         }
         else
         {
-            (void)memcpy(&m_buf[offset], data, length);
+            (void)memcpy((void *)&m_buf[offset], data, length);
         }
     }
 
@@ -207,7 +207,7 @@ erpc_status_t Cursor::read(void *data, uint32_t length)
         }
         else
         {
-            (void)memcpy(data, m_pos, length);
+            (void)memcpy(data, (void *)m_pos, length);
             m_pos += length;
         }
     }
@@ -234,7 +234,7 @@ erpc_status_t Cursor::write(const void *data, uint32_t length)
         }
         else
         {
-            (void)memcpy(m_pos, data, length);
+            (void)memcpy((void *)m_pos, data, length);
             m_pos += length;
             m_buffer.setUsed(m_buffer.getUsed() + length);
         }

erpc_c/infra/erpc_message_buffer.hpp

@@ -1,6 +1,6 @@
 /*
  * Copyright (c) 2014-2016, Freescale Semiconductor, Inc.
- * Copyright 2016 NXP
+ * Copyright 2016-2025 NXP
  * All rights reserved.
  *
  *
@@ -11,6 +11,7 @@
 #define _EMBEDDED_RPC__MESSAGE_BUFFER_H_
 
 #include "erpc_common.h"
+#include "erpc_config_internal.h"
 
 #include <cstddef>
 #include <stdint.h>
@@ -104,7 +105,10 @@ class MessageBuffer
      *
      * @return Length of free space of buffer.
      */
-    uint16_t getFree(void) const { return m_len - m_used; }
+    uint16_t getFree(void) const { 
+        erpc_assert(m_used <= m_len);
+        return m_len - m_used; 
+    }
 
     /*!
      * @brief This function sets length of used space of buffer.
@@ -244,14 +248,20 @@ class Cursor
      *
      * @return Remaining free space in current buffer.
      */
-    uint16_t getRemaining(void) const { return m_buffer.getLength() - (uint16_t)(m_pos - m_buffer.get()); }
+    uint16_t getRemaining(void) const { 
+        erpc_assert(m_pos >= m_buffer.get() && m_pos <= m_buffer.get() + m_buffer.getLength());
+        return m_buffer.getLength() - (uint16_t)(m_pos - m_buffer.get());
+    }
 
     /*!
      * @brief Return remaining space from used of current buffer.
      *
      * @return Remaining space from used of current buffer.
      */
-    uint16_t getRemainingUsed(void) const { return m_buffer.getUsed() - (uint16_t)(m_pos - m_buffer.get()); }
+    uint16_t getRemainingUsed(void) const { 
+        erpc_assert(m_pos >= m_buffer.get() && m_pos <= m_buffer.get() + m_buffer.getLength());   
+        return m_buffer.getUsed() - (uint16_t)(m_pos - m_buffer.get()); 
+    }
 
     /*!
      * @brief Read data from current buffer.