Technology PVS-Studio 5.00, a solution for developers of modern resource-intensive applications

1. PVS-Studio,a solution for developers of modernresource-intensive applicationsOOO “Program Verification Systems” (Co Ltd)www.viva64.com 2. PVS-Studio OverviewPVS-Studio…

Technology 100 bugs in Open Source C/C++ projects

1. 100 bugs in Open Source C/C++ projects Authors: Andrey Karpov, Evgeniy Ryzhkov Date: 16.03.2012 Abstract This article demonstrates capabilities of the static code analysis…

Technology Static analysis of C++ source code

1. Static analysis of C++ source codeKarpovAndreyNikolaevichcandidate of science (PhD), CTOOOO «Program Verification Systems» (Co Ltd)E-mail: [email protected] 2. What…

Technology PVS-Studio, a solution for resource intensive applications development

1. PVS-Studio,a solution for developers of modernresource-intensive applicationsOOO “Program Verification Systems” (Co Ltd)www.viva64.com 2. PVS-Studio OverviewPVS-Studio…