Fix #2552, Adds JSC 2.1 Static Analysis comments

nasa · Jun 17, 2024 · 0dc799d · 0dc799d
1 parent 505baa1
commit 0dc799d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/modules/evs/fsw/src/cfe_evs_utils.c b/modules/evs/fsw/src/cfe_evs_utils.c
@@ -545,6 +545,7 @@ void EVS_SendViaPorts(CFE_EVS_LongEventTlm_t *EVS_PktPtr)
  CFE_MSG_GetMsgTime(CFE_MSG_PTR(EVS_PktPtr->TelemetryHeader), &PktTime);
  CFE_TIME_Print(TimeBuffer, PktTime);
 
+ /* SAD: No need to check snprintf return; CFE_EVS_MAX_PORT_MSG_LENGTH is sized to accommodate buffer limits */
  snprintf(PortMessage, sizeof(PortMessage), "%s %u/%u/%s %u: %s", TimeBuffer,
  (unsigned int)EVS_PktPtr->Payload.PacketID.SpacecraftID,
  (unsigned int)EVS_PktPtr->Payload.PacketID.ProcessorID, EVS_PktPtr->Payload.PacketID.AppName,

diff --git a/modules/fs/fsw/src/cfe_fs_api.c b/modules/fs/fsw/src/cfe_fs_api.c
@@ -354,6 +354,7 @@ void CFE_FS_ByteSwapUint32(uint32 *Uint32ToSwapPtr)
  char *InPtr = (char *)&Temp;
  char *OutPtr = (char *)Uint32ToSwapPtr;
 
+ /* SAD: Safe access to InPtr[0-3] and OutPtr[0-3] as both manipulate bytes within 4-byte integers. */
  OutPtr[0] = InPtr[3];
  OutPtr[1] = InPtr[2];
  OutPtr[2] = InPtr[1];

diff --git a/modules/tbl/fsw/src/cfe_tbl_internal.c b/modules/tbl/fsw/src/cfe_tbl_internal.c
@@ -904,6 +904,7 @@ void CFE_TBL_ByteSwapUint32(uint32 *Uint32ToSwapPtr)
  char *InPtr = (char *)&Temp;
  char *OutPtr = (char *)Uint32ToSwapPtr;
 
+ /* SAD: Safe access to InPtr[0-3] and OutPtr[0-3] as both manipulate bytes within 4-byte integers. */
  OutPtr[0] = InPtr[3];
  OutPtr[1] = InPtr[2];
  OutPtr[2] = InPtr[1];