Click here to Skip to main content
Click here to Skip to main content
Add your own
alternative version

Cases When a Static Code Analyzer may Help You

, 27 Dec 2010 CPOL
The static code analysis method is the method of searching for places in program text that are highly probable to contain errors.

Revisions


  

Compare Revision Minor Date Status Editor
publicly available No 31-Jan-11 0:17 Available Deeksha Shenoy
2 No 27-Dec-10 7:04 Composing Karpov Andrey
1 No 27-Dec-10 6:39 Composing Karpov Andrey

License

This article, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)

Share

About the Author

Karpov Andrey
Architect Program Verification Systems, Co Ltd
Russian Federation Russian Federation

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:

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

E-mail: karpov@viva64(dot)com

Follow on   Twitter

| Advertise | Privacy | Mobile
Web02 | 2.8.141015.1 | Last Updated 27 Dec 2010
Article Copyright 2010 by Karpov Andrey
Everything else Copyright © CodeProject, 1999-2014
Terms of Service
Layout: fixed | fluid