PVS-StudioWarnings

PVS-Studio warning V547 for ReactOS

Nov 20th, 2014
142
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
C++ 0.63 KB | None | 0 0
  1. NTSTATUS
  2. IoCheckEaBufferValidity(....)
  3. {
  4.   ULONG NextEaBufferOffset, IntEaLength;
  5.   ...
  6.   if (IntEaLength >= 0)
  7.   {
  8.     EaBufferEnd = (PFILE_FULL_EA_INFORMATION)
  9.       ((ULONG_PTR)EaBufferEnd +
  10.       EaBufferEnd->NextEntryOffset);
  11.     continue;
  12.   }
  13. }
  14.  
  15. This suspicious code was found in ReactOS project by PVS-Studio static code analyzer.
  16. Warning message is:
  17. V547 Expression 'IntEaLength >= 0' is always true. Unsigned type value is always >= 0. ntoskrnl util.c 220
  18.  
  19. PVS-Studio is a static analyzer for detecting bugs in the source code of applications written in C, C++, C++11, C++/CX. Site: http://www.viva64.com/en/pvs-studio/
Advertisement
Add Comment
Please, Sign In to add comment