Home

Posts

Andrey Karpov

Posts: Andrey Karpov

#Cpp #Security

Mar 16 2017

PVS-Studio: searching software weaknesses

Andrey Karpov, Phillip Khandeliants

PVS-Studio has always been able to detect a large number of various security defects (potential vulnerabilities) in the program code. However, historically, we positioned PVS-Studio as a tool...

...

#Knowledge

Mar 14 2017

The last line effect explained

Andrey Karpov, Moritz Beller, Rolf A. Zwaan, Andy Zaidman

Micro-clones are tiny duplicated pieces of code; they typically comprise only few statements or lines. In this paper, we study the "Last Line Effect," the phenomenon that the last line or...

...

Subscribe to the newsletter

Want to receive a monthly digest of the most interesting articles and news? Subscribe!

By clicking this button you agree to our Privacy Policy statement

#Cpp #Security

Mar 10 2017

Weaknesses detected by PVS-Studio this week: episode N1

Andrey Karpov

We decided to search and fix potential vulnerabilities in various projects. You can call this as you wish - some kind of help to open source projects; a method of promotion or testing of...

...

#Marketing

Mar 09 2017

We now support users of a free PVS-Studio version on Stack Overflow

Andrey Karpov

The popularity of PVS-Studio free version is gradually growing, so more and more people are contacting to us for support.Most of the questions are the same, that's why we decided to decrease...

...

#Cpp #Knowledge #StaticAnalysis

Feb 06 2017

Why I Dislike Synthetic Tests

Andrey Karpov

I don't like it when people use artificial code examples to evaluate the diagnostic capabilities of static code analyzers. There is one particular example I'm going to discuss to explain my...

...

Feb 02 2017

SonarQube developers visit PVS-Studio office

Andrey Karpov

Representatives of SonarSource company Freddy Mallet and Evgeny Mandrikov have recently visited the office of PVS-Studio team to exchange the experience in the development of static code analyzers.

...

Jan 16 2017

Recent interesting content from the PVS-Studio Team

Andrey Karpov

Recently we have published several articles which many a man can find not just interesting but also useful. We understand that far from everyone keep tabs on our publications, and someone could...

...

#Cpp #Knowledge #StaticAnalysis

Jan 12 2017

How PVS-Studio does the bug search: methods and technologies

Andrey Karpov

PVS-Studio is a static code analyzer, that searches for errors and vulnerabilities in programs written in C, C++ and C#. In this article, I am going to uncover the technologies that we use...

...

#StaticAnalysis #Marketing

Dec 29 2016

PVS-Studio project - 10 years of failures and successes

Andrey Karpov

Ten years ago, we created a simple utility called 'Viva64' intended to detect problems in 64-bit code. This is how PVS-Studio static code analyzer came into being. Although 10 years have passed...

...

#Cpp #Compiler

Oct 31 2016

Finding bugs in the code of LLVM project with the help of PVS-Studio

Andrey Karpov

About two months ago I wrote an article about the analysis of GCC using PVS-Studio. The idea of the article was as follows: GCC warnings are great, but they're not enough. It is necessary to...

...