Using PVS-Studio
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.
https://www.viva64.com/en/m/0036
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:
https://www.viva64.com/en/b/0457
Happy debugging!