Click here to Skip to main content

Karpov Andrey - Professional Profile

@Karpov-Andrey

Summary

15,827
Author
220
Authority
131
Debator
111
Editor
60
Enquirer
116
Organiser
690
Participant

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

Member since Saturday, May 12, 2007 (7 years, 4 months)
  • 27 May 2011: Best C++/MFC article of April 2011
  • 25 May 2009: Best C++/MFC article of April 2009
  • 19 May 2007: Best C++/MFC article of Apr 2007

Contributions

Articles 19 (Legend)
Tech Blogs 0
Messages 109 (Poster)
Q&A Questions 3
Q&A Answers 2
Tips/Tricks 11
Comments 8

Links

Reputation

For more information on Reputation please see the FAQ.

Privileges

Members need to achieve at least one of the given member levels in the given reputation categories in order to perform a given action. For example, to store personal files in your account area you will need to achieve Platinum level in either the Author or Authority category. The "If Owner" column means that owners of an item automatically have the privilege, and the given member types also gain the privilege regardless of their reputation level.

ActionAuthorAuthorityDebatorEditorEnquirerOrganiserParticipantIf OwnerMember Types
Have no restrictions on voting frequencysilversilversilversilverAdmin
Store personal files in your account areaplatinumplatinumSitebuilder, Subeditor, Supporter, Editor, Staff
Have live hyperlinks in your biographybronzebronzebronzebronzebronzebronzesilverSubeditor, Protector, Editor, Staff, Admin
Edit a Question in Q&AsilversilversilversilverYesSubeditor, Protector, Editor, Admin
Edit an Answer in Q&AsilversilversilversilverYesSubeditor, Protector, Editor, Admin
Delete a Question in Q&AYesSubeditor, Protector, Editor, Admin
Delete an Answer in Q&AYesSubeditor, Protector, Editor, Admin
Report an ArticlesilversilversilversilverSubeditor, Mentor, Protector, Editor, Staff, Admin
Approve/Disapprove a pending ArticlegoldgoldgoldgoldSubeditor, Mentor, Protector, Editor, Staff, Admin
Edit other members' articlesSubeditor, Protector, Editor, Admin
Create an article without requiring moderationplatinumSubeditor, Mentor, Protector, Editor, Staff, Admin
Report a forum messagesilversilverbronzeProtector, Editor, Admin
Create a new tagsilversilversilversilverAdmin
Modify a tagsilversilversilversilverAdmin

Actions with a green tick can be performed by this member.


 
GeneralDeveloping code testing and verification tools PinmemberKarpov Andrey17-May-10 0:03 

OOO "Program Verification Systems" develops and maintains the PVS-Studio tool intended for detecting 64-bit and parallel errors in the code of C/C++ applications. The PVS-Studio package is a set of specialized static code analyzers that allow to perform verification of source code at the stage of program designing already and therefore significantly reduce costs on program debugging, testing and maintenance.

Our company is ready to develop and maintain specialized testing tools. We can implement the tasks of the following types:

1) Development of a specialized static analyzer for internal needs of the customer. We can implement a set of specialized diagnostic rules and integrate the tool into an existing software development cycle. In other words, we can create a tool to control the coding standard accepted in the customer's company.

2) We can develop a code analyzer accompanying solutions suggested by the customer and therefore support the customer's users. For example, the customer might develop a C/C++ compiler and a set of other development means for specialized processors. We can supplement the development set with a static analyzer customized specially for detecting the most relevant issues in user codes. Here is another example - we can develop a static analyzer that would check if a large and complex library is used correctly.

3) We can develop other solutions which are not connected with source code static analysis but require parsing the code of C/C++ programs. For example: tools to create documentation relying on the source code, tools to build dependencies between various units.

This is only a brief list of possible developments and other ways of cooperation are also possible. We are ready to provide you with additional information and answer all your questions.


Contacts

Site: http://www.viva64.com

E-Mail: support@viva64.com

Feedback Form: http://www.viva64.com/about/feedback/

Postbox: 300027, Russia, Tula, P.O. 1800.


General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.


Advertise | Privacy | Mobile
Web03 | 2.8.140916.1 | Last Updated 19 Sep 2014
Copyright © CodeProject, 1999-2014
All Rights Reserved. Terms of Service
Layout: fixed | fluid