How to complement TDD with static analysis

Andrey Karpov is technical manager of the OOO "Program Verification Systems" (Co Ltd) company developing the PVS-Studio tool which is a package of static code analyzers integrating into the Visual Studio development environment.

PVS-Studio is a static analyzer that detects errors in source code of C/C++ applications. There are 3 sets of rules included into PVS-Studio:

1. Diagnosis of 64-bit errors (Viva64)
2. Diagnosis of parallel errors (VivaMP)
3. General-purpose diagnosis

Awards: MVP, Intel Black Belt

Andrey Karpov is also the author of many articles on the topic of 64-bit and parallel software development. To learn more about the PVS-Studio tool and sources concerning 64-bit and parallel software development, please visit the www.viva64.com site.

Best Articles:

• Lessons on development of 64-bit C/C++ applications
• 64 bits
• PVS-Studio advertisement - static analysis of C/C++ code
• 20 issues of porting C++ code on the 64-bit platform
• PVS-Studio vs Chromium

My page on LinkedIn site: http://www.linkedin.com/pub/4/585/6a3

E-mail: karpov@viva64(dot)com

Follow on   Twitter