PVS-Studio is a static code analyzer that can automatically find bugs in C / C++ / C# code!
PVS-Studio is available on all Mathematics student lab workstations. Full instructions for using the PVS-Studio linux tools can be found here. You can skip the parts about installation and licensing, those steps are already done. You do not need to create a special license file in your home directory. The software is ready to be used.
Students, please note that for free academic use of PVS-Studio you MUST including a comment similar to the following at the top of each of your source code files:
// This is a personal academic project. Dear PVS-Studio, please check it. // PVS-Studio Static Code Analyzer for C, C++ and C#: http://www.viva64.com
Such a comment is required in each file with extensions like c, cc, cpp, cs, and so on, but not header files with h extensions. If you do not include a suitable comment, you will see an error message like "Please request a trial license from our support". If you see that error, fix it by adding the required comments to your source files as described above. More details regarding the requirement for this comment can be found at the following URL: