PVS-Studio 5.00, a solution for developers of modern resource-intensive applications
Static analysis of C++ source code
Xxi aigvm 2011 results
PVS-Studio, a solution for resource intensive applications development