PVS Studio

It promotes static code analysis methodology in general and its PVS-Studio tools in particular. Static code analyzers allow you to find bugs in source code on development stage. This helps to reduce the price of fixing them.
PVS-Studio performs code analysis and issues warnings on the fragments of code with a high probability of having bugs and potential vulnerabilities in them. The tool supports C, C++, C# and Java, and it can work with Visual C++, GCC, Clang compilers, and some of those for embedded systems. The analyzer works on Windows, Linux and macOS.
PVS-Studio can both be used as a stand-alone tool and integrated with Visual Studio, IntelliJ IDEA, SonarQube etc.
In the show notes, you can find links to the PVS-Studio website and the article ‘Technologies used in the PVS-Studio code analyzer for finding bugs and potential vulnerabilities’.
Links
- PVS-Studio: http://bit.ly/2ZbJCzM
- Technologies used in the PVS-Studio code analyzer for finding bugs and potential vulnerabilities: http://bit.ly/2YdOx1Z