Examples of errors detected by the V594 diagnostic.


V594. The pointer steps out of array's bounds.


ReactOS

V594 The pointer steps out of array's bounds. ff_dir.c 260


FF_T_WCHAR FileName[FF_MAX_FILENAME];

FF_T_UINT32 FF_FindEntryInDir(....) {
  ....
  FF_T_WCHAR *lastPtr = pDirent->FileName +
                        sizeof(pDirent->FileName);
  ....
  lastPtr[-1] = '\0';
  ....
}

This is what should have been written here: FF_T_WCHAR *lastPtr = pDirent->FileName + sizeof(pDirent->FileName) / sizeof(pDirent->FileName[0]);



Do you make errors in the code?

Check your code
with PVS-Studio

Static code analysis
for C, C++, and C#

goto PVS-Studio;
We use cookies for the analysis of events to improve our content and make user interaction more convenient. By continuing the view of our web-pages you accept the terms of using these files. You can find out more about cookie-files and privacy policy or close the notification, by clicking on the button. Learn More →
Do not show