Мы регулярно проверяем различные open-source проекты с помощью PVS-Studio. Результаты проверки мы отправляем разработчикам и, как правило, описываем в статье. Помимо этого, мы пополняем базу примеров ошибок. Именно она и представлена ниже на этой странице.
Ошибки разделены по номеру диагностического сообщения, с помощью которого они были найдены. В правом столбце приводится ссылка на соответствующие примеры ошибок.
Мы специально не стали делать возможность посмотреть все ошибки, найденные в конкретном проекте. Это даст неправильное впечатление о количестве ошибок в проекте и возможностях анализатора. Анализатор быстро развивается. Если он нашёл 10 ошибок в проекте год назад, вовсе не означает, что он найдет столько же ошибок и сейчас. Сравните для примера отчеты о проверке ReactOS: первый отчет, второй отчет (прошло полтора года).
Вы можете предложить нам для проверки другие open-source проекты. Типы проектов, которые умеет проверять PVS-Studio, приведены в описании инструмента.
Эта база может послужить уникальным материалом для размышлений о разработке стандартов кодирования, написания статей о правилах программирования и помочь в других исследованиях связанных с повышением надежности программного обеспечения. Желаем интересных исследований.
| Код ошибки | Название ошибки | Список проектов |
| V501 | There are identical sub-expressions to the left and to the right of the 'foo' operator. | .NET CoreCLR, 7-Zip, ADAPTIVE Communication Environment (ACE), Alembic, Apache HTTP Server, Aspell, AssaultCube Reloaded, Asterisk, Audacity, Bind, Blender, Boost (C++ libraries), ... |
| V502 | Perhaps the '?:' operator works in a different way than it was expected. The '?:' operator has a lower priority than the 'foo' operator. | Apache Xerces Project, Chromium, Computational Network Toolkit, CryEngine V, FCEUX, FreeBSD Kernel, GCC, Grid Control Re-dux, Haiku Operation System, IPP Samples, Linux Kernel, Miranda NG, ... |
| V503 | This is a nonsensical comparison: pointer < 0. | .NET CoreCLR, Asterisk, Chromium, Far2l, FreeBSD Kernel, GINV, Haiku Operation System, IPP Samples, OGDF, OpenToonz, Scilab, Tizen, ... |
| V504 | It is highly probable that the semicolon ';' is missing after 'return' keyword. | Inkscape. |
| V505 | The 'alloca' function is used inside the loop. This can quickly overflow stack. | Crystal Space 3D SDK, DeSmuME, EFL Core Libraries, Multi-threaded Dynamic Queue, Pixie, Synergy, Tizen. |
| V506 | Pointer to local variable 'X' is stored outside the scope of this variable. Such a pointer will become invalid. | Miranda NG, PHP:Hypertext Preprocessor, RT-Thread, Unreal Engine 4, WinSCP. |
| V507 | Pointer to local array 'X' is stored outside the scope of this array. Such a pointer will become invalid. | GCC, GNU Octave, Inkscape, MAME, Miranda NG, MySQL, Pixie, Scilab, Source Engine SDK, Tizen, TortoiseSVN. |
| V509 | The 'throw' operator inside the destructor should be placed within the try..catch block. Raising exception inside the destructor is illegal. | 7-Zip, Chromium, Data Distribution Service, FlightGear, Geant4 software, LibreOffice, NetXMS, OGRE, Protocol Buffers, Source Engine SDK, TortoiseGit, TortoiseSVN, ... |
| V510 | The 'Foo' function is not expected to receive class-type variable as 'N' actual argument. | Apple II emulator, C++ Embedded Web Server, Chromium, Computational Network Toolkit, CryEngine V, Quake-III-Arena, SMTP Client, Scilab, Telegram, TortoiseSVN, Unreal Engine 4, Wild Magic 5, ... |
| V511 | The sizeof() operator returns size of the pointer, and not of the array, in given expression. | Chromium, Intel AMT SDK, MySQL, Oracle VM Virtual Box, ReactOS, Samba, Shareaza, Source Engine SDK, Wolfenstein 3D. |
| V512 | A call of the 'Foo' function will lead to a buffer overflow or underflow. | .NET CoreCLR, ADAPTIVE Communication Environment (ACE), Apache HTTP Server, Ardour, Chromium, CodeLite, CryEngine V, DeSmuME, Doom 3, EFL Core Libraries, Energy Checker SDK, FCEUX, ... |
| V513 | Use _beginthreadex/_endthreadex functions instead of CreateThread/ExitThread functions. | Multi Theft Auto, PostgreSQL Database Management System, SeqAn, Snes9x, Source Engine SDK, Tesseract, Trans-Proteomic Pipeline. |
| V514 | Dividing sizeof a pointer by another value. There is a probability of logical error presence. | Miranda IM, Miranda NG, Notepad++, OpenCOLLADA, OpenMS, ReactOS, Scilab. |
| V516 | Consider inspecting an odd expression. Non-null function pointer is compared to null. | Audacity, Micro-Manager. |
| V517 | The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. | .NET CoreCLR, 7-Zip, Ardour, Asterisk, Bind, ChakraCore, Chromium, Clang, CodeLite, CryEngine 3 SDK, CryEngine V, Doom 3, ... |
| V518 | The 'malloc' function allocates strange amount of memory calculated by 'strlen(expr)'. Perhaps the correct variant is strlen(expr) + 1. | FCEUX. |
| V519 | The 'x' variable is assigned values twice successively. Perhaps this is a mistake. | ANGLE, Apple II emulator, Bind, Blender, CMaNGOS, CMake, Casablanca, Chromium, Clang, ClickHouse, CodeLite, CryEngine 3 SDK, ... |
| V520 | The comma operator ',' in array index expression. | G3D Content Pak. |
| V521 | Such expressions using the ',' operator are dangerous. Make sure the expression is correct. | CryEngine 3 SDK, CryEngine V, G3D Content Pak, Grassroots DICOM library (GDCM), IPP Samples, Lugaru, OpenSSL, Oracle VM Virtual Box, Quake-III-Arena, ReactOS, Steinberg SDKs, Trans-Proteomic Pipeline, ... |
| V522 | Dereferencing of the null pointer might take place. | .NET CoreCLR, Aspell, Audacity, Bind, Blender, ChakraCore, Chromium, Clang, ClickHouse, CryEngine V, D programming language, Data Distribution Service, ... |
| V523 | The 'then' statement is equivalent to the 'else' statement. | .NET CoreCLR, ADAPTIVE Communication Environment (ACE), Alembic, Audacity, Blender, CMaNGOS, Chromium, Clang, CryEngine 3 SDK, CryEngine V, Doxygen, EFL Core Libraries, ... |
| V524 | It is odd that the body of 'Foo_1' function is fully equivalent to the body of 'Foo_2' function. | Blender, Chromium, Clang, Geant4 software, MAME, MuseScore, Nmap Security Scanner, Open X-Ray Engine, OpenCV, OpenMW, SeqAn, Spring Engine, ... |
| V525 | The code contains the collection of similar blocks. Check items X, Y, Z, ... in lines N1, N2, N3, ... | Fennec Media, Miranda IM, MySQL, Notepad++, Scilab, SeqAn, SlimDX, Source Engine SDK, Trans-Proteomic Pipeline, Win32++. |
| V526 | The 'strcmp' function returns 0 if corresponding strings are equal. Consider examining the condition for mistakes. | Micro-Manager, Network Security Services (NSS), PostgreSQL Database Management System, wxWidgets. |
| V527 | It is odd that the 'zero' value is assigned to pointer. Probably meant: *ptr = zero. | Apache HTTP Server, Haiku Operation System, PNG library, ReactOS, Scilab, Tizen, Trans-Proteomic Pipeline. |
| V528 | It is odd that pointer is compared with the 'zero' value. Probably meant: *ptr != zero. | Apache HTTP Server, Aspell, CxImage, Doom 3, Fennec Media, GCC, GDB, Miranda IM, Miranda NG, Mozilla Firefox, Notepad++, OpenCV, ... |
| V529 | Odd semicolon ';' after 'if/for/while' operator. | CamStudio, CryEngine V, Fennec Media, Haiku Operation System, MAME, Multi-threaded Dynamic Queue, Oracle VM Virtual Box, QuickThread, ReactOS, VirtualDub, Windows 8 Driver Samples, Xpdf, ... |
| V530 | The return value of function 'Foo' is required to be utilized. | Ardour, Audacity, Battle for Wesnoth, Casablanca, Chromium, Clang, CodeLite, Computational Network Toolkit, CryEngine V, Doxygen, EchoVNC, Firebird, ... |
| V531 | It is odd that a sizeof() operator is multiplied by sizeof(). | CrashRpt library, NetDefender Firewall, Oracle VM Virtual Box, ReactOS, XUIFramework. |
| V532 | Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. | Apache HTTP Server, DeSmuME, FCEUX, Godot Engine, IPP Samples, Miranda NG, Open X-Ray Engine, OpenSSL, eMule Plus. |
| V533 | It is likely that a wrong variable is being incremented inside the 'for' operator. Consider reviewing 'X'. | Doom 3, Godot Engine, Open X-Ray Engine, Simple DirectMedia Layer, Unreal Engine 4. |
| V534 | It is likely that a wrong variable is being compared inside the 'for' operator. Consider reviewing 'X'. | .NET CoreCLR, Coin3D, Oracle VM Virtual Box, Source Engine SDK. |
| V535 | The variable 'X' is being used for this loop and for the outer loop. | Blender, CryEngine V, Doom 3, FreeBSD Kernel, Haiku Operation System, IPP Samples, Lugaru, OGRE, The GTK+ Project, Tizen, Visualization Toolkit (VTK), Wine Is Not an Emulator, ... |
| V536 | Be advised that the utilized constant value is represented by an octal form. | Chromium, Linux Kernel, Micro-Manager, Miranda IM, PostgreSQL Database Management System, TortoiseGit, eLynx Image Processing SDK and Lab. |
| V537 | Consider reviewing the correctness of 'X' item's usage. | Blender, Expat, IPP Samples, Miranda IM, Quake-III-Arena, ReactOS, Source Engine SDK, Trinity Core. |
| V539 | Consider inspecting iterators which are being passed as arguments to function 'Foo'. | CryEngine V. |
| V540 | Member 'x' should point to string terminated by two 0 characters. | Chromium, Fennec Media, WinSCP. |
| V541 | It is dangerous to print a string into itself. | Ardour, CAMEL, FreeBSD Kernel, Mozilla Firefox, PCSX2, Scilab, Serious Engine 1 v.1.10, TinyCAD, UCSniff. |
| V542 | Consider inspecting an odd type cast: 'Type1' to ' Type2'. | Miranda IM. |
| V543 | It is odd that value 'X' is assigned to the variable 'Y' of HRESULT type. | Oracle VM Virtual Box, Unreal Engine 4, WinMerge. |
| V545 | Such conditional expression of 'if' statement is incorrect for the HRESULT type value 'Foo'. The SUCCEEDED or FAILED macro should be used instead. | ANGLE, Apache HTTP Server, LibreOffice, Qt, VirtualDub. |
| V546 | Member of a class is initialized by itself: 'Foo(Foo)'. | Boost (C++ libraries), ClickHouse, CryEngine V, OpenToonz. |
| V547 | Expression is always true/false. | .NET CoreCLR, 7-Zip, ADAPTIVE Communication Environment (ACE), ALSA, Apache HTTP Server, Apple II emulator, Ardour, Aspell, Asterisk, BCmenu, Boost (C++ libraries), CLucene, ... |
| V548 | Consider reviewing type casting. TYPE X[][] in not equivalent to TYPE **X. | Haiku Operation System. |
| V549 | The 'first' argument of 'Foo' function is equal to the 'second' argument. | Chromium, CryEngine 3 SDK, CryEngine V, GDB, Linux Kernel, Micro-Manager, Miranda NG, Open Metronome, ReactOS, Skia Graphics Engine, The GTK+ Project. |
| V550 | An odd precise comparison. It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon or fabs(A - B) > Epsilon. | CAMEL, ffdshow. |
| V552 | A bool type variable is being incremented. Perhaps another variable should be incremented instead. | 7-Zip. |
| V554 | Incorrect use of smart pointer. | Boost (C++ libraries), Casablanca, Chromium, Haiku Operation System, Nana, OpenToonz, Skia Graphics Engine. |
| V555 | The expression of the 'A - B > 0' kind will work as 'A != B'. | FreeSWITCH, K Desktop Environment, OpenJPEG, OpenSSL, PHP:Hypertext Preprocessor, Scilab, Trans-Proteomic Pipeline, Wine Is Not an Emulator. |
| V556 | The values of different enum types are compared. | Blender, Casablanca, Clang, EFL Core Libraries, Linux Kernel, OpenToonz, SCIM, Source Engine SDK, Tizen, TortoiseGit, Unreal Engine 4, Windows 8 Driver Samples, ... |
| V557 | Array overrun is possible. | .NET CoreCLR, Blender, CAMEL, CMake, ChakraCore, Chromium, Coin3D, Doom 3, Dynamic Universal Music Bibliotheque, Energy Checker SDK, FFmpeg, Firebird, ... |
| V558 | Function returns the pointer/reference to temporary local object. | Clang, EFL Core Libraries, Geant4 software, SeqAn, VirtualDub. |
| V559 | Suspicious assignment inside the conditional expression of 'if/while/for' statement. | Data Distribution Service, Intel AMT SDK, Miranda IM, Miranda NG, Scilab, Serious Engine 1 v.1.10, The GTK+ Project. |
| V560 | A part of conditional expression is always true/false. | Apache HTTP Server, Apple II emulator, Blender, Chromium, CxImage, DeSmuME, Doxygen, EFL Core Libraries, Enlightenment, Far2l, Firebird, Fireflies, ... |
| V561 | It's probably better to assign value to 'foo' variable than to declare it anew. | Chromium, FCEUX, Firebird, FlightGear, Godot Engine, OpenJDK, Oracle VM Virtual Box, Telegram, Unreal Engine 4, Vscap. |
| V562 | It's odd to compare a bool type value with a value of N. | Blender, Haiku Operation System, ReactOS, Spvolren, Windows 8 Driver Samples. |
| V563 | It is possible that this 'else' branch must apply to the previous 'if' statement. | BCmenu, Cfront, Open X-Ray Engine, PeerBlock, Squirrel, Trans-Proteomic Pipeline. |
| V564 | The '&' or '|' operator is applied to bool type value. You've probably forgotten to include parentheses or intended to use the '&&' or '||' operator. | Battle for Wesnoth, Blender, Chromium, DOSBox, Doom 3, FCEUX, FFmpeg, K Desktop Environment, MySQL, Network Security Services (NSS), OpenMW, Oracle VM Virtual Box, ... |
| V565 | An empty exception handler. Silent suppression of exceptions can hide the presence of bugs in source code during testing. | G3D Content Pak. |
| V567 | The modification of a variable is unsequenced relative to another operation on the same variable. This may lead to undefined behavior. | Apple II emulator, AssaultCube Reloaded, CMaNGOS, Chromium, CryEngine 3 SDK, CryEngine V, Doom 3, Far2l, Fennec Media, FreeSWITCH, Gamer_Z eXtreme Party, Godot Engine, ... |
| V568 | It's odd that the argument of sizeof() operator is the expression. | Apache HTTP Server, Asterisk, CryEngine V, CxImage, EFL Core Libraries, Energy Checker SDK, FCEUX, Far2l, Haiku Operation System, Miranda IM, OpenCV, RT-Thread, ... |
| V569 | Truncation of constant value. | FreeBSD Kernel. |
| V570 | The variable is assigned to itself. | ChakraCore, Chromium, Coin3D, CryEngine 3 SDK, CryEngine V, FreeBSD Kernel, FreeCAD, FreeSWITCH, GNU Octave, Linux Kernel, Open X-Ray Engine, OpenCV, ... |
| V571 | Recurring check. This condition was already verified in previous line. | .NET CoreCLR, 7-Zip, Apache HTTP Server, Ardour, Asterisk, Bind, Blender, CMaNGOS, CodeLite, CryEngine V, EFL Core Libraries, Energy Checker SDK, ... |
| V572 | It is odd that the object which was created using 'new' operator is immediately cast to another type. | Cocos2d-x, Tizen, wxWidgets. |
| V573 | Uninitialized variable 'Foo' was used. The variable was used to initialize itself. | Clang, Firebird, Multi Theft Auto, Word for Windows 1.1a. |
| V575 | Function receives an odd argument. | Ardour, Aspell, Chromium, CryEngine V, Doom 3, EFL Core Libraries, Enlightenment, Fennec Media, Firebird, G3D Content Pak, GNU GRUB, Haiku Operation System, ... |
| V576 | Incorrect format. Consider checking the N actual argument of the 'Foo' function. | Apache Xerces Project, Apple II emulator, Cairo, CamStudio, Cfront, Chromium, Cocos2d-x, Coin3D, CryEngine 3 SDK, DeSmuME, Dolphin Smalltalk 7, Doom 3, ... |
| V578 | An odd bitwise operation detected. Consider verifying it. | NetXMS, RT-Thread. |
| V579 | The 'Foo' function receives the pointer and its size as arguments. It is possibly a mistake. Inspect the N argument. | .NET CoreCLR, ADAPTIVE Communication Environment (ACE), APR, Apache HTTP Server, Blender, CamStudio, Chromium, CryEngine V, Dolphin Emulator, Doom 3, Far Manager, Firebird, ... |
| V581 | The conditional expressions of the 'if' statements situated alongside each other are identical. | Asterisk, Chromium, Far2l, Firebird, FreeSWITCH, GDB, Inkscape, Krita, LibreOffice, Linux Kernel, MongoDB, Open X-Ray Engine, ... |
| V583 | The '?:' operator, regardless of its conditional expression, always returns one and the same value. | Audacity, CMaNGOS, Chromium, Cocos2d-x, CryEngine V, FreeBSD Kernel, Haiku Operation System, Krita, MAME, Miranda NG, Oracle VM Virtual Box, ReOpenLDAP, ... |
| V584 | The same value is present on both sides of the operator. The expression is incorrect or it can be simplified. | Asterisk, Far2l, Ruby MRI. |
| V586 | The 'Foo' function is called twice for deallocation of the same resource. | Blender, Miranda NG, OpenMW, VNL. |
| V587 | An odd sequence of assignments of this kind: A = B; B = A;. | EFL Core Libraries, GNU GRUB, Git, LibreOffice, Mozilla Firefox, Windows 8 Driver Samples. |
| V588 | The expression of the 'A =+ B' kind is utilized. Consider reviewing it, as it is possible that 'A += B' was meant. | Libxml2, Trans-Proteomic Pipeline. |
| V590 | Consider inspecting this expression. The expression is excessive or contains a misprint. | .NET CoreCLR, Audacity, ChakraCore, Chromium, Clang, CryEngine V, EFL Core Libraries, FCEUX, FreeBSD Kernel, FreeSWITCH, GCC, GDB, ... |
| V591 | Non-void function should return a value. | Aspell, Chromium, Clang, EFL Core Libraries, Haiku Operation System, Open X-Ray Engine, Quake-III-Arena, SETI@home, Unreal Engine 4. |
| V592 | The expression was enclosed by parentheses twice: ((expression)). One pair of parentheses is unnecessary or misprint is present. | Spring Engine, TensorFlow, wxWidgets. |
| V593 | Consider reviewing the expression of the 'A = B == C' kind. The expression is calculated as following: 'A = (B == C)'. | Blender, CMaNGOS, FFmpeg, FreeBSD Kernel, FreeSWITCH, Haiku Operation System, K Desktop Environment, LibRaw, Linux Kernel, Mozilla Firefox, OpenSubdiv, Opus, ... |
| V594 | The pointer steps out of array's bounds. | ReactOS. |
| V595 | The pointer was utilized before it was verified against nullptr. Check lines: N1, N2. | .NET CoreCLR, 7-Zip, ADAPTIVE Communication Environment (ACE), ANGLE, Apache Xerces Project, Apple II emulator, Ardour, Asterisk, Audacity, Augeas, Bind, Blender, ... |
| V596 | The object was created but it is not being used. The 'throw' keyword could be missing. | Computational Network Toolkit, FlightGear, FreeCAD, Geant4 software, Multi Theft Auto, MySQL, OpenMS, OpenMW, OpenToonz. |
| V597 | The compiler could delete the 'memset' function call, which is used to flush 'Foo' buffer. The RtlSecureZeroMemory() function should be used to erase the private data. | APR, Apache HTTP Server, Asterisk, Bind, CamStudio, Crypto++, Dolphin Emulator, EFL Core Libraries, Enlightenment, FreeBSD Kernel, FreeSWITCH, GNU C Library, ... |
| V598 | The 'memset/memcpy' function is used to nullify/copy the fields of 'Foo' class. Virtual table pointer will be damaged by this. | .NET CoreCLR, Coin3D, IPP Samples, Miranda NG, SlimDX. |
| V599 | The virtual destructor is not present, although the 'Foo' class contains virtual functions. | ANGLE, Computational Network Toolkit, FreeCAD, GINV, Miranda NG, Multi Theft Auto, Notepad++, OpenToonz, Source Engine SDK, Synergy, TortoiseGit, Trans-Proteomic Pipeline, ... |
| V600 | Consider inspecting the condition. The 'Foo' pointer is always not equal to NULL. | Firebird, FreeSWITCH, ITK, Multi Theft Auto, Notepad++, OpenSSL. |
| V601 | An odd implicit type casting. | Doxygen, Firebird, IPP Samples, Micro-Manager, Notepad++, Rosegarden, SCIM, WebPagetest. |
| V602 | Consider inspecting this expression. '<' possibly should be replaced with '<<'. | RT-Thread. |
| V603 | The object was created but it is not being used. If you wish to call constructor, 'this->Foo::Foo(....)' should be used. | ChakraCore, CryEngine V, EA WebKit, Google-Breakpad, LibreOffice, Open X-Ray Engine, OpenCOLLADA, Trans-Proteomic Pipeline, eMule Plus. |
| V604 | It is odd that the number of iterations in the loop equals to the size of the pointer. | Windows 8 Driver Samples. |
| V605 | Consider verifying the expression. An unsigned value is compared to the number - NN. | FreeSWITCH, PHP:Hypertext Preprocessor, The GTK+ Project, VirtualDub. |
| V606 | Ownerless token 'Foo'. | Oracle VM Virtual Box, RunAsAdmin Explorer Shim, Windows 8 Driver Samples. |
| V607 | Ownerless expression 'Foo'. | Boost (C++ libraries), CryEngine 3 SDK, Eigen, Godot Engine, IPP Samples, Miranda NG, Serious Engine 1 v.1.10, TortoiseSVN, Trans-Proteomic Pipeline, Unreal Engine 4, Windows 8 Driver Samples. |
| V609 | Divide or mod by zero. | Chromium, EFL Core Libraries, Inkscape, Mozilla Thunderbird, VNL. |
| V610 | Undefined behavior. Check the shift operator. | .NET CoreCLR, Apple II emulator, Audacity, Blender, ChakraCore, Chromium, Clang, CryEngine V, DeSmuME, EFL Core Libraries, FAAC, FFmpeg, ... |
| V611 | The memory allocation and deallocation methods are incompatible. | Apache Xerces Project, CxImage, Dolphin Smalltalk 7, Firebird, LibreOffice, Miranda IM, Miranda NG, Mozilla Firefox, Mozilla Thunderbird, Multi Theft Auto, Newton Game Dynamics, OpenCOLLADA, ... |
| V612 | An unconditional 'break/continue/return/goto' within a loop. | Audacity, Bitcoin, CMaNGOS, Casablanca, Chromium, Clang, CryEngine 3 SDK, D programming language, Data Distribution Service, Firebird, FreeSWITCH, Geant4 software, ... |
| V614 | Uninitialized variable 'Foo' used. | APR, Apache HTTP Server, Ardour, CPython, Chromium, Doxygen, EFL Core Libraries, Embedded SSL Library, FFmpeg, Firebird, FreeBSD Kernel, GNU C Library, ... |
| V615 | An odd explicit conversion from 'float *' type to 'double *' type. | OpenJDK. |
| V616 | The 'Foo' named constant with the value of 0 is used in the bitwise operation. | CMaNGOS, Clang, LibreOffice, Mozilla Firefox, Mozilla Thunderbird, ReactOS, Unreal Engine 4. |
| V617 | Consider inspecting the condition. An argument of the '|' bitwise operation always contains a non-zero value. | ABackup, FreeBSD Kernel, Multi Theft Auto, OpenSSL, ResizableLib, WebRTC, Word for Windows 1.1a, XNU kernel, ffdshow. |
| V618 | It's dangerous to call the 'Foo' function in such a manner, as the line being passed could contain format specification. The example of the safe code: printf("%s", str); | Apple II emulator, CryEngine 3 SDK, LibreOffice, Miranda NG, Source Engine SDK, Tizen, TortoiseSVN, WinSCP. |
| V620 | It's unusual that the expression of sizeof(T)*N kind is being summed with the pointer to T type. | Apache Xerces Project, Chromium, Miranda NG, Snes9x. |
| V621 | Consider inspecting the 'for' operator. It's possible that the loop will be executed incorrectly or won't be executed at all. | EFL Core Libraries, FreeBSD Kernel, FreeSWITCH, Geant4 software, Haiku Operation System, Mozilla Thunderbird, PuTTY, SETI@home, Scilab, Unreal Engine 4. |
| V622 | Consider inspecting the 'switch' statement. It's possible that the first 'case' operator is missing. | CryEngine V, K Desktop Environment, Miranda NG, Tizen. |
| V623 | Consider inspecting the '?:' operator. A temporary object is being created and subsequently destroyed. | Far2l. |
| V624 | The constant NN is being utilized. The resulting value could be inaccurate. Consider using the M_NN constant from <math.h>. | Geant4 software, Inkscape, OpenMS, Tizen, ffdshow. |
| V625 | Consider inspecting the 'for' operator. Initial and final values of the iterator are the same. | GCC, LibreOffice, Oracle VM Virtual Box, Synergy. |
| V626 | Consider checking for misprints. It's possible that ',' should be replaced by ';'. | LibreOffice, Oracle VM Virtual Box. |
| V627 | Consider inspecting the expression. The argument of sizeof() is the macro which expands to a number. | Data Distribution Service, Network Security Services (NSS), Samba, WebRTC. |
| V628 | It's possible that the line was commented out improperly, thus altering the program's operation logics. | Inkscape, Spring Engine, Trans-Proteomic Pipeline. |
| V629 | Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type. | Alembic, Bitcoin, Clang, SMHasher, SeqAn, Snes9x, TensorFlow, Tesseract, The JUCE Library, Unreal Engine 4, Xpdf. |
| V630 | The 'malloc' function is used to allocate memory for an array of objects which are classes containing constructors/destructors. | Cocos2d-x, Computational Network Toolkit, CryEngine V, EFL Core Libraries, Haiku Operation System. |
| V631 | Consider inspecting the 'Foo' function call. Defining an absolute path to the file or directory is considered a poor style. | NetXMS, VirtualDub, ffdshow. |
| V634 | The priority of the '+' operation is higher than that of the '<<' operation. It's possible that parentheses should be used in the expression. | CryEngine V, Haiku Operation System. |
| V635 | Consider inspecting the expression. The length should probably be multiplied by the sizeof(wchar_t). | Miranda NG, WinMerge. |
| V636 | The expression was implicitly cast from integer type to real type. Consider utilizing an explicit type cast to avoid overflow or loss of a fractional part. | Cocos2d-x, Coin3D, CxImage, Data Distribution Service, EFL Core Libraries, FFmpeg, FlightGear, Geant4 software, ICQ, Micro-Manager, Miranda NG, Open X-Ray Engine, ... |
| V637 | Two opposite conditions were encountered. The second condition is always false. | .NET CoreCLR, Blender, Chromium, Firebird, K Desktop Environment, OpenCV, ReactOS, TinyCAD, TortoiseGit, Unreal Engine 4, VirtualDub. |
| V638 | A terminal null is present inside a string. The '\0xNN' characters were encountered. Probably meant: '\xNN'. | Linux Kernel, Oracle VM Virtual Box. |
| V639 | Consider inspecting the expression for function call. It is possible that one of the closing ')' brackets was positioned incorrectly. | CryEngine 3 SDK, Eigen, LibreOffice. |
| V640 | The code's operational logic does not correspond with its formatting. | Augeas, CMaNGOS, Chromium, CryEngine V, EA WebKit, FFmpeg, FreeBSD Kernel, GCC, Geant4 software, Haiku Operation System, Miranda NG, Oracle VM Virtual Box, ... |
| V641 | The buffer size is not a multiple of the element size. | Miranda NG. |
| V642 | Saving the function result inside the 'byte' type variable is inappropriate. The significant bits could be lost breaking the program's logic. | Firebird, Linux Kernel, OpenToonz, ReactOS, Tizen, Xpdf. |
| V643 | Unusual pointer arithmetic. The value of the 'char' type is being added to the string pointer. | OpenToonz, Spring Engine. |
| V645 | The function call could lead to the buffer overflow. The bounds should not contain the size of the buffer, but a number of characters it can hold. | Enlightenment, ICU, Miranda NG, Multi Theft Auto, ReactOS, Tizen. |
| V646 | Consider inspecting the application's logic. It's possible that 'else' keyword is missing. | Aspell, EFL Core Libraries, FreeBSD Kernel, FreeSWITCH, Geant4 software, Haiku Operation System, Inkscape, K Desktop Environment, Krita, Mozilla Thunderbird, Serious Engine 1 v.1.10, Simple DirectMedia Layer, ... |
| V647 | The value of 'A' type is assigned to the pointer of 'B' type. | Tizen. |
| V648 | Priority of the '&&' operation is higher than that of the '||' operation. | Oracle VM Virtual Box, Wolfenstein 3D. |
| V649 | There are two 'if' statements with identical conditional expressions. The first 'if' statement contains function return. This means that the second 'if' statement is senseless. | Blender, Chromium, Clang, Coin3D, EFL Core Libraries, Micro-Manager, Miranda IM, RunAsAdmin Explorer Shim, Skia Graphics Engine, Wolfenstein 3D. |
| V650 | Type casting operation is utilized 2 times in succession. Next, the '+' operation is executed. Probably meant: (T1)((T2)a + b). | Wine Is Not an Emulator. |
| V652 | The operation is executed 3 or more times in succession. | FreeSWITCH. |
| V653 | A suspicious string consisting of two parts is used for the initialization. It is possible that a comma is missing. | Asterisk, Linux Kernel. |
| V654 | The condition of loop is always true/false. | Apache HTTP Server, Ardour, EFL Core Libraries, Git, K Desktop Environment, Linux Kernel, Miranda NG, Oracle VM Virtual Box, RT-Thread, Unreal Engine 4, WebRTC. |
| V655 | The strings were concatenated but are not utilized. Consider inspecting the expression. | FreeCAD, K Desktop Environment, OpenToonz, Scilab. |
| V656 | Variables are initialized through the call to the same function. It's probably an error or un-optimized code. | Doom 3, Krita, LibreOffice, Qt, ReactOS, Skia Graphics Engine. |
| V662 | Consider inspecting the loop expression. Different containers are utilized for setting up initial and final values of the iterator. | Rhino (JavaScript engine). |
| V663 | Infinite loop is possible. The 'cin.eof()' condition is insufficient to break from the loop. Consider adding the 'cin.fail()' function call to the conditional expression. | GNU Octave, Grassroots DICOM library (GDCM), ITK, OpenMW, POCO C++ Libraries, SETI@home. |
| V665 | Possibly, the usage of '#pragma warning(default: X)' is incorrect in this context. The '#pragma warning(push/pop)' should be used instead. | Apache HTTP Server, Chromium, Crash Server Library, Data Distribution Service, Dolphin Smalltalk 7, FreeSWITCH, Multi Theft Auto, Newton Game Dynamics, OpenToonz, PostgreSQL Database Management System, SlimDX, Source Engine SDK, ... |
| V666 | Consider inspecting NN argument of the function 'Foo'. It is possible that the value does not correspond with the length of a string which was passed with the YY argument. | Bind, Enlightenment, FreeBSD Kernel, Geant4 software, ITK, Inkscape, LibreOffice, Linux Kernel, OpenJDK, OpenSSL, Scilab, Source Engine SDK, ... |
| V668 | There is no sense in testing the pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error. | .NET CoreCLR, 7-Zip, ADAPTIVE Communication Environment (ACE), ANGLE, Appleseed, Aspell, CMaNGOS, Chromium, Cocos2d-x, CodeLite, CryEngine 3 SDK, Doxygen, ... |
| V669 | The argument is a non-constant reference. The analyzer is unable to determine the position at which this argument is being modified. It is possible that the function contains an error. | CMaNGOS, CryEngine 3 SDK, Micro-Manager, WinMerge. |
| V670 | An uninitialized class member is used to initialize another member. Remember that members are initialized in the order of their declarations inside a class. | .NET CoreCLR, Appleseed, Mozilla Thunderbird, Rosegarden, Tesseract, Unreal Engine 4. |
| V671 | It is possible that the 'swap' function interchanges a variable with itself. | Haiku Operation System. |
| V672 | There is probably no need in creating a new variable here. One of the function's arguments possesses the same name and this argument is a reference. | Haiku Operation System. |
| V673 | More than N bits are required to store the value, but the expression evaluates to the T type which can only hold K bits. | .NET CoreCLR. |
| V674 | The expression contains a suspicious mix of integer and real types. | CMaNGOS, EFL Core Libraries, FlightGear, Geant4 software, Godot Engine, ICQ, LibreOffice, MuseScore, Open X-Ray Engine, Rosegarden, Source Engine SDK, Tizen, ... |
| V675 | Writing into the read-only memory. | Tizen. |
| V676 | It is incorrect to compare the variable of BOOL type with TRUE. | Apple II emulator, CryEngine 3 SDK, Firebird, VirtualDub. |
| V677 | Custom declaration of a standard type. The declaration from system header files should be used instead. | Miranda NG, SlimDX. |
| V678 | An object is used as an argument to its own method. Consider checking the first actual argument of the 'Foo' function. | Mozilla Thunderbird, Shareaza. |
| V681 | The language standard does not define an order in which the 'Foo' functions will be called during evaluation of arguments. | Wine Is Not an Emulator. |
| V684 | A value of variable is not modified. Consider inspecting the expression. It is possible that '1' should be present instead of '0'. | V8 JavaScript Engine. |
| V686 | A pattern was detected: A || (A && ...). The expression is excessive or contains a logical error. | Blender, EFL Core Libraries, Tizen, Tor. |
| V688 | The 'foo' local variable possesses the same name as one of the class members, which can result in a confusion. | Computational Network Toolkit, CryEngine V. |
| V690 | The class implements a copy constructor/operator=, but lacks the operator=/copy constructor. | Bitcoin, Casablanca, OpenJDK, Tizen. |
| V691 | Empirical analysis. It is possible that a typo is present inside the string literal. The 'foo' word is suspicious. | Chromium. |
| V692 | An inappropriate attempt to append a null character to a string. To determine the length of a string by 'strlen' function correctly, a string ending with a null terminator should be used in the first place. | Haiku Operation System, Linux Kernel, Tizen, Wine Is Not an Emulator. |
| V694 | The condition (ptr - const_value) is only false if the value of a pointer equals a magic constant. | EFL Core Libraries, FreeSWITCH, ICU, Miranda NG, Tizen. |
| V695 | Range intersections are possible within conditional expressions. | CryEngine V, Linux Kernel, Scilab, The GTK+ Project. |
| V696 | The 'continue' operator will terminate 'do { ... } while (FALSE)' loop because the condition is always false. | Ardour, Clang, Cocos2d-x, Haiku Operation System, Linux Kernel, Tizen. |
| V698 | strcmp()-like functions can return not only the values -1, 0 and 1, but any values. | .NET CoreCLR. |
| V700 | Consider inspecting the 'T foo = foo = x;' expression. It is odd that variable is initialized through itself. | .NET CoreCLR, Apple II emulator, Unreal Engine 4. |
| V701 | realloc() possible leak: when realloc() fails in allocating memory, original pointer is lost. Consider assigning realloc() to a temporary pointer. | Aspell, Dolphin Smalltalk 7, Doxygen, EFL Core Libraries, Firebird, Free Lossless Audio Codec, FreeSWITCH, Git, K Desktop Environment, LibreOffice, OpenSubdiv, Partio, ... |
| V704 | 'this == 0' comparison should be avoided - this comparison is always false on newer compilers. | .NET CoreCLR, CMaNGOS, Inkscape, Miranda NG, Notepad++, Serious Engine 1 v.1.10. |
| V705 | It is possible that 'else' block was forgotten or commented out, thus altering the program's operation logics. | FreeBSD Kernel, K Desktop Environment, Linux Kernel, Miranda NG, Valgrind, XNU kernel. |
| V706 | Suspicious division: sizeof(X) / Value. Size of every element in X array does not equal to divisor. | Haiku Operation System. |
| V707 | Giving short names to global variables is considered to be bad practice. | Cfront, Yasm. |
| V708 | Dangerous construction is used: 'm[x] = m.size()', where 'm' is of 'T' class. This may lead to undefined behavior. | Chromium. |
| V709 | Suspicious comparison found: 'a == b == c'. Remember that 'a == b == c' is not equal to 'a == b && b == c'. | Unreal Engine 4. |
| V711 | It is dangerous to create a local variable within a loop with a same name as a variable controlling this loop. | FreeBSD Kernel, Haiku Operation System, Telegram, Wine Is Not an Emulator. |
| V712 | Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this. | FCEUX, FreeSWITCH, G3D Content Pak, GINV, IPP Samples, MPC-HC, Open X-Ray Engine, ReactOS, Shareaza, eMule Plus. |
| V713 | The pointer was utilized in the logical expression before it was verified against nullptr in the same logical expression. | ChakraCore, CryEngine V, EchoVNC, Firebird, FreeBSD Kernel, FreeSWITCH, GeoShell, Haiku Operation System, Linux Kernel, Miranda IM, Miranda NG, Mozilla Thunderbird, ... |
| V714 | Variable is not passed into foreach loop by a reference, but its value is changed inside of the loop. | Krita. |
| V715 | The 'while' operator has empty body. Suspicious pattern detected. | Enlightenment. |
| V716 | Suspicious type conversion: HRESULT -> BOOL (BOOL -> HRESULT). | Dolphin Smalltalk 7, LibreOffice, Wine Is Not an Emulator. |
| V718 | The 'Foo' function should not be called from 'DllMain' function. | LibreOffice, Open X-Ray Engine. |
| V719 | The switch statement does not cover all values of the enum. | Appleseed, Firebird. |
| V721 | The VARIANT_BOOL type is utilized incorrectly. The true value (VARIANT_TRUE) is defined as -1. | MAME. |
| V724 | Converting integers or pointers to BOOL can lead to a loss of high-order bits. Non-zero value can become 'FALSE'. | Ruby MRI. |
| V726 | An attempt to free memory containing the 'int A[10]' array by using the 'free(A)' function. | CamStudio, Shareaza. |
| V728 | An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'x' and '!x'. | Audacity, Blender, CMaNGOS, CPython, CodeLite, EFL Core Libraries, Firebird, Krita, PHP:Hypertext Preprocessor, The GTK+ Project. |
| V729 | Function body contains the 'X' label that is not used by any 'goto' statements. | CodeLite, FreeBSD Kernel. |
| V730 | Not all members of a class are initialized inside the constructor. | Miranda IM, MuseScore, TDLib. |
| V732 | Unary minus operator does not modify a bool type value. | Krita, Miranda IM. |
| V733 | It is possible that macro expansion resulted in incorrect evaluation order. | FreeBSD Kernel, Linux Kernel. |
| V734 | An excessive expression. Examine the substrings "abc" and "abcd". | CryEngine V, Linux Kernel. |
| V737 | It is possible that ',' comma is missing at the end of the string. | Inkscape. |
| V739 | EOF should not be compared with a value of the 'char' type. Consider using the 'int' type. | Computational Network Toolkit. |
| V743 | The memory areas must not overlap. Use 'memmove' function. | Stickies. |
| V745 | A 'wchar_t *' type string is incorrectly converted to 'BSTR' type string. | Oracle VM Virtual Box. |
| V746 | Object slicing. An exception should be caught by reference rather than by value. | Ardour, Notepad++, Open X-Ray Engine, OpenToonz, Oracle VM Virtual Box, Rosegarden, Scilab, Tizen. |
| V751 | Parameter is not used inside method's body. | HarfBuzz, Linux Kernel, Steinberg SDKs, Valgrind. |
| V760 | Two identical text blocks detected. The second block starts with NN string. | Bind, CMaNGOS, PDFium, TensorFlow. |
| V762 | Consider inspecting virtual function arguments. See NN argument of function 'Foo' in derived class and base class. | Ardour, MuseScore, Notepad++. |
| V763 | Parameter is always rewritten in function body before being used. | Chromium, Inkscape, ReOpenLDAP. |
| V764 | Possible incorrect order of arguments passed to function. | CMaNGOS, Linux Kernel. |
| V765 | A compound assignment expression 'X += X + N' is suspicious. Consider inspecting it for a possible error. | MuseScore. |
| V766 | An item with the same key has already been added. | Chromium, MuseScore. |
| V767 | Suspicious access to element by a constant index inside a loop. | RT-Thread, Skia Graphics Engine. |
| V768 | The variable is of enum type. It is odd that it is used as a variable of a Boolean-type. | Clang, Firebird, Krita, MySQL, RT-Thread, SwiftShader, XNU kernel. |
| V769 | The pointer in the expression equals nullptr. The resulting value is meaningless and should not be used. | Aspell, Clang, EFL Core Libraries, Hunspell, MySQL, Tor, V8 JavaScript Engine. |
| V773 | The function was exited without releasing the pointer/handle. A memory/resource leak is possible. | Ardour, Augeas, Chromium, EA WebKit, EFL Core Libraries, Enlightenment, Far2l, ICU, Krita, MuseScore, Notepad++, PDFium, ... |
| V774 | The pointer was used after the memory was released. | Augeas, Bind, ICU, MuseScore. |
| V778 | Two similar code fragments were found. Perhaps, this is a typo and 'X' variable should be used instead of 'Y'. | .NET CoreCLR, Aspell, Clang, EA WebKit, FreeBSD Kernel, PDFium, SwiftShader, Tizen. |
| V779 | Unreachable code detected. It is possible that an error is present. | Audacity, EFL Core Libraries, Far2l, FreeBSD Kernel, ICU, MuseScore, Tizen, Valgrind. |
| V780 | The object of non-passive (non-PDS) type cannot be used with the function. | Tizen. |
| V781 | The value of the variable is checked after it was used. Perhaps there is a mistake in program logic. Check lines: N1, N2. | FreeBSD Kernel, XNU kernel. |
| V783 | Dereferencing of invalid iterator 'X' might take place. | Rosegarden. |
| V786 | Assigning the value C to the X variable looks suspicious. The value range of the variable: [A, B]. | Tizen. |
| V789 | Iterators for the container, used in the range-based for loop, become invalid upon a function call. | ClickHouse, MuseScore, WebRTC. |
| V794 | The assignment operator should be protected from the case of this == &src. | ANGLE, Chromium, EA WebKit, RE2, TDLib, WebRTC. |
| V796 | A 'break' statement is probably missing in a 'switch' statement. | Chromium. |
| V799 | The variable is not used after memory has been allocated for it. Consider checking the use of this variable. | Krita. |
| V1001 | The variable is assigned but is not used until the end of the function. | EFL Core Libraries, MuseScore, Skia Graphics Engine, XNU kernel. |
| V1002 | A class, containing pointers, constructor and destructor, is copied by the automatically generated operator= or copy constructor. | Ardour. |
| V1004 | The pointer was used unsafely after it was verified against nullptr. | Krita, PDFium, Rosegarden, Steinberg SDKs, SwiftShader, XNU kernel. |
| V3001 | There are identical sub-expressions to the left and to the right of the 'foo' operator. | Accord.Net, GitExtensions, IronPython and IronRuby, Media Portal 2, Microsoft Code Contracts, Mono, MonoDevelop, PascalABC.NET, PowerShell, Samples by the Infragistics Company, SharpDevelop, Space Engineers, ... |
| V3002 | The switch statement does not cover all values of the enum. | Microsoft Code Contracts, Orchard CMS, SharpDevelop. |
| V3003 | The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. | Media Portal 2, Microsoft Code Contracts, Mono, Old NASA World Wind (C#), PascalABC.NET, SharpDevelop, SubtitleEdit, WPF samples by Microsoft, Xamarin.Forms. |
| V3004 | The 'then' statement is equivalent to the 'else' statement. | .NET Compiler Platform ("Roslyn"), .NET Core Libraries (CoreFX), Microsoft Code Contracts, Mono, PascalABC.NET, SharpDevelop, Sony ATF, Space Engineers, Umbraco. |
| V3005 | The 'x' variable is assigned to itself. | .NET Compiler Platform ("Roslyn"), IronPython and IronRuby, MSBuild, MonoDevelop, Old NASA World Wind (C#), PascalABC.NET, SharpDevelop, Sony ATF, SubtitleEdit, Umbraco, WPF samples by Microsoft, Xenko, ... |
| V3006 | The object was created but it is not being used. The 'throw' keyword could be missing. | Unity3D. |
| V3008 | The 'x' variable is assigned values twice successively. Perhaps this is a mistake. | .NET Compiler Platform ("Roslyn"), .NET Core Libraries (CoreFX), GitExtensions, Media Portal 2, Microsoft Code Contracts, Old NASA World Wind (C#), PascalABC.NET, Samples by the Infragistics Company, SharpDevelop, Sony ATF, Unity C# reference source code, WPF samples by Microsoft, ... |
| V3009 | It's odd that this method always returns one and the same value of NN. | MSBuild, Microsoft Code Contracts, PascalABC.NET, SubtitleEdit, Umbraco, Unity C# reference source code, Xamarin.Forms. |
| V3010 | The return value of function 'Foo' is required to be utilized. | GitExtensions, Media Portal 2, Mono, Old NASA World Wind (C#), Orchard CMS, PascalABC.NET, PowerShell, SharpDevelop, Space Engineers, Umbraco, Unity C# reference source code. |
| V3011 | Two opposite conditions were encountered. The second condition is always false. | MSBuild. |
| V3012 | The '?:' operator, regardless of its conditional expression, always returns one and the same value. | .NET Compiler Platform ("Roslyn"), IronPython and IronRuby, Mono, MonoDevelop. |
| V3013 | It is odd that the body of 'Foo_1' function is fully equivalent to the body of 'Foo_2' function. | .NET Compiler Platform ("Roslyn"), FlashDevelop, IronPython and IronRuby, Samples by the Infragistics Company. |
| V3014 | It is likely that a wrong variable is being incremented inside the 'for' operator. Consider reviewing 'X'. | .NET Core Libraries (CoreFX), Entity Framework, Microsoft Code Contracts. |
| V3015 | It is likely that a wrong variable is being compared inside the 'for' operator. Consider reviewing 'X'. | Accord.Net, Entity Framework, Mono. |
| V3018 | Consider inspecting the application's logic. It's possible that 'else' keyword is missing. | PascalABC.NET. |
| V3019 | It is possible that an incorrect variable is compared with null after type conversion using 'as' keyword. | .NET Compiler Platform ("Roslyn"), .NET Core Libraries (CoreFX), FlashDevelop, IronPython and IronRuby, Logify Alert Clients, MSBuild, Media Portal 2, Microsoft Bot Builder, Microsoft Code Contracts, Mono, MonoDevelop, Old NASA World Wind (C#), ... |
| V3020 | An unconditional 'break/continue/return/goto' within a loop. | .NET Core Libraries (CoreFX), FlashDevelop, Media Portal 2, Mono, Space Engineers, Unity C# reference source code. |
| V3021 | There are two 'if' statements with identical conditional expressions. The first 'if' statement contains method return. This means that the second 'if' statement is senseless. | .NET Compiler Platform ("Roslyn"), Accord.Net, IronPython and IronRuby, Logify Alert Clients, Mono, MonoDevelop, Old NASA World Wind (C#), SharpDevelop, Unity C# reference source code, Unity3D. |
| V3022 | Expression is always true/false. | .NET Compiler Platform ("Roslyn"), .NET Core Libraries (CoreFX), Accord.Net, FlashDevelop, GitExtensions, IronPython and IronRuby, MSBuild, Media Portal 2, Microsoft Code Contracts, Old NASA World Wind (C#), Orchard CMS, PascalABC.NET, ... |
| V3023 | Consider inspecting this expression. The expression is excessive or contains a misprint. | .NET Compiler Platform ("Roslyn"), IronPython and IronRuby, MonoDevelop, SharpDevelop, Sony ATF, Xenko. |
| V3024 | An odd precise comparison. Consider using a comparison with defined precision: Math.Abs(A - B) < Epsilon or Math.Abs(A - B) > Epsilon. | IronPython and IronRuby. |
| V3025 | Incorrect format. Consider checking the N format items of the 'Foo' function. | .NET Compiler Platform ("Roslyn"), GitExtensions, IronPython and IronRuby, MSBuild, Microsoft Code Contracts, Mono, MonoDevelop, SharpDevelop, Umbraco, Unity C# reference source code, Unity3D, Xenko, ... |
| V3027 | The variable was utilized in the logical expression before it was verified against null in the same logical expression. | .NET Compiler Platform ("Roslyn"), .NET Core Libraries (CoreFX), IronPython and IronRuby, Mono, MonoDevelop, Orchard CMS, PowerShell, Space Engineers, Umbraco. |
| V3028 | Consider inspecting the 'for' operator. Initial and final values of the iterator are the same. | Media Portal 2, Space Engineers. |
| V3029 | The conditional expressions of the 'if' statements situated alongside each other are identical. | .NET Compiler Platform ("Roslyn"), Samples by the Infragistics Company. |
| V3030 | Recurring check. This condition was already verified in previous line. | .NET Core Libraries (CoreFX), IronPython and IronRuby, Microsoft Code Contracts, PascalABC.NET, SharpDevelop. |
| V3031 | An excessive check can be simplified. The operator '||' operator is surrounded by opposite expressions 'x' and '!x'. | FlashDevelop, Mono, Orchard CMS, SharpDevelop, Xamarin.Forms. |
| V3032 | Waiting on this expression is unreliable, as compiler may optimize some of the variables. Use volatile variable(s) or synchronization primitives to avoid this. | IronPython and IronRuby, Xenko. |
| V3033 | It is possible that this 'else' branch must apply to the previous 'if' statement. | Mono, Old NASA World Wind (C#), PascalABC.NET. |
| V3035 | Consider inspecting the expression. Probably the '+=' should be used here. | Lucene.Net. |
| V3037 | An odd sequence of assignments of this kind: A = B; B = A; | Accord.Net, Old NASA World Wind (C#). |
| V3038 | The argument was passed to method several times. It is possible that another argument should be passed instead. | PascalABC.NET, SharpDevelop, Xamarin.Forms. |
| V3041 | The expression was implicitly cast from integer type to real type. Consider utilizing an explicit type cast to avoid the loss of a fractional part. | Accord.Net, MSBuild, Sony ATF, Xenko. |
| V3042 | Possible NullReferenceException. The '?.' and '.' operators are used for accessing members of the same object. | Xamarin.Forms. |
| V3043 | The code's operational logic does not correspond with its formatting. | Mono, PascalABC.NET, Sony ATF. |
| V3045 | WPF: the names of the property registered for DependencyProperty, and of the property used to access it, do not correspond with each other. | Samples by the Infragistics Company, WPF samples by Microsoft. |
| V3046 | WPF: the type registered for DependencyProperty does not correspond with the type of the property used to access it. | Samples by the Infragistics Company, Xenko. |
| V3051 | An excessive type cast or check. The object is already of the same type. | Mono, Old NASA World Wind (C#), Xamarin.Forms. |
| V3052 | The original exception object was swallowed. Stack of original exception could be lost. | FlashDevelop, PascalABC.NET, SharpDevelop, Xamarin.Forms. |
| V3053 | An excessive expression. Examine the substrings "abc" and "abcd". | GitExtensions, Orchard CMS, PascalABC.NET, SharpDevelop, Unity C# reference source code. |
| V3056 | Consider reviewing the correctness of 'X' item's usage. | FlashDevelop. |
| V3057 | Function receives an odd argument. | MSBuild, Orchard CMS, Umbraco, Unity3D. |
| V3061 | Parameter 'A' is always rewritten in method body before being used. | Accord.Net, MSBuild, Mono, Old NASA World Wind (C#), Xenko. |
| V3062 | An object is used as an argument to its own method. Consider checking the first actual argument of the 'Foo' method | Accord.Net. |
| V3063 | A part of conditional expression is always true/false if it is evaluated. | Accord.Net, GitExtensions, Old NASA World Wind (C#), Unity C# reference source code, Unity3D, Xamarin.Forms. |
| V3064 | Division or mod division by zero. | Accord.Net, SharpDevelop, Umbraco, Unity C# reference source code. |
| V3065 | Parameter is not utilized inside method's body. | Old NASA World Wind (C#), Xenko. |
| V3066 | Possible incorrect order of arguments passed to method. | FlashDevelop, Media Portal 2. |
| V3070 | Uninitialized variables are used when initializing the 'A' variable. | Mono, PascalABC.NET. |
| V3076 | Comparison with 'double.NaN' is meaningless. Use 'double.IsNaN()' method instead. | Old NASA World Wind (C#). |
| V3078 | Original sorting order will be lost after repetitive call to 'OrderBy' method. Use 'ThenBy' method to preserve the original sorting. | SharpDevelop. |
| V3080 | Possible null dereference. | .NET Core Libraries (CoreFX), Accord.Net, Media Portal 2, Old NASA World Wind (C#), PascalABC.NET, PowerShell, Umbraco, Unity C# reference source code, Unity3D. |
| V3081 | The 'X' counter is not used inside a nested loop. Consider inspecting usage of 'Y' counter. | Entity Framework. |
| V3083 | Unsafe invocation of event, NullReferenceException is possible. Consider assigning event to a local variable before invoking it. | Accord.Net, Logify Alert Clients, Old NASA World Wind (C#), Unity3D. |
| V3087 | Type of variable enumerated in 'foreach' is not guaranteed to be castable to the type of collection's elements. | FlashDevelop. |
| V3089 | Initializer of a field marked by [ThreadStatic] attribute will be called once on the first accessing thread. The field will have default value on different threads. | Mono. |
| V3090 | Unsafe locking on an object. | Logify Alert Clients, Mono, Old NASA World Wind (C#). |
| V3092 | Range intersections are possible within conditional expressions. | Mono. |
| V3093 | The operator evaluates both operands. Perhaps a short-circuit operator should be used instead. | Accord.Net, NUnit, Old NASA World Wind (C#). |
| V3095 | The object was used before it was verified against null. Check lines: N1, N2. | FlashDevelop, GitExtensions, MSBuild, Media Portal 2, Old NASA World Wind (C#), Orchard CMS, PascalABC.NET, PowerShell, SharpDevelop, Umbraco, Unity C# reference source code, Unity3D, ... |
| V3097 | Possible exception: type marked by [Serializable] contains non-serializable members not marked by [NonSerialized]. | Accord.Net. |
| V3102 | Suspicious access to element by a constant index inside a loop. | Accord.Net, Mono, SharpDevelop. |
| V3105 | The 'a' variable was used after it was assigned through null-conditional operator. NullReferenceException is possible. | Microsoft Bot Builder. |
| V3108 | It is not recommended to return null or throw exceptions from 'ToString()' method. | Orchard CMS. |
| V3110 | Possible infinite recursion. | Orchard CMS, PascalABC.NET, Umbraco. |
| V3112 | An abnormality within similar comparisons. It is possible that a typo is present inside the expression. | Mono. |
| V3115 | It is not recommended to throw exceptions from 'Equals(object obj)' method. | GitExtensions, Media Portal 2, PascalABC.NET, Unity C# reference source code. |
| V3117 | Constructor parameter is not used. | PowerShell. |
| V3118 | A component of TimeSpan is used, which does not represent full time interval. Possibly 'Total*' value was intended instead. | MSBuild, Media Portal 2, Orchard CMS. |
| V3125 | The object was used after it was verified against null. Check lines: N1, N2. | Media Portal 2, PascalABC.NET, SharpDevelop, Umbraco, Unity C# reference source code. |
| V3127 | Two similar code fragments were found. Perhaps this is a typo and 'X' variable should be used instead of 'Y'. | Media Portal 2. |
| V3128 | The field (property) is used before it is initialized in constructor. | PascalABC.NET, SharpDevelop. |
| V3130 | Priority of the '&&' operator is higher than that of the '||' operator. Possible missing parentheses. | Media Portal 2. |
| V3136 | Constant expression in switch statement. | Unity C# reference source code. |
Написать нам
