Fix #127, Adds static analysis comments and replaces strncpy with snp…

…rintf

This commit addresses issues flagged during static analysis by:
- Adding JSC 2.1 disposition comments.
- Replacing strncpy with snprintf to enhance safety and compliance.

fsw/src/ds_app.c

@@ -358,8 +358,7 @@ void DS_AppSendHkCmd(void)
  Status = CFE_TBL_GetInfo(&FilterTblInfo, FilterTblName);
  if (Status == CFE_SUCCESS)
  {
- strncpy(PayloadPtr->FilterTblFilename, FilterTblInfo.LastFileLoaded, OS_MAX_PATH_LEN - 1);
- PayloadPtr->FilterTblFilename[OS_MAX_PATH_LEN - 1] = '\0';
+ snprintf(PayloadPtr->FilterTblFilename, OS_MAX_PATH_LEN, "%s", FilterTblInfo.LastFileLoaded);
  }
  else
  {

fsw/src/ds_cmds.c

@@ -1096,7 +1096,7 @@ void DS_GetFileInfoCmd(const CFE_SB_Buffer_t *BufPtr)
  /*
  ** Set current open filename...
  */
- strncpy(FileInfoPtr->FileName, DS_AppData.FileStatus[i].FileName, sizeof(FileInfoPtr->FileName));
+ snprintf(FileInfoPtr->FileName, sizeof(FileInfoPtr->FileName), "%s", DS_AppData.FileStatus[i].FileName);
  }
  }
 

fsw/src/ds_file.c

@@ -881,7 +881,7 @@ void DS_FileCloseDest(int32 FileIndex)
  }
 
  /* Update the path name for reporting */
- strncpy(FileStatus->FileName, PathName, sizeof(FileStatus->FileName));
+ snprintf(FileStatus->FileName, sizeof(FileStatus->FileName), "%s", PathName);
  }
  }
 
@@ -991,7 +991,7 @@ void DS_FileTransmit(DS_AppFileStatus_t *FileStatus)
  /*
  ** Set current open filename...
  */
- strncpy(FileInfo->FileName, FileStatus->FileName, sizeof(FileInfo->FileName));
+ snprintf(FileInfo->FileName, sizeof(FileInfo->FileName), "%s", FileStatus->FileName);
 
  /*
  ** Timestamp and send file info telemetry...

fsw/src/ds_table.c

@@ -421,6 +421,7 @@ CFE_Status_t DS_TableVerifyDestFile(const void *TableData)
  else
  {
  CountBad++;
+ /* SAD: Assignment of 0xFFFFFFFF to Result is safe; it represents -1 in int32, within valid range */
  Result = DS_TABLE_VERIFY_ERR;
  }
  }
@@ -543,6 +544,7 @@ CFE_Status_t DS_TableVerifyFilter(const void *TableData)
  else
  {
  CountBad++;
+ /* SAD: Assignment of 0xFFFFFFFF to Result is safe; it represents -1 in int32, within valid range */
  Result = DS_TABLE_VERIFY_ERR;
  }
  }