Search for bugs in C, C++, and C#
on Windows, Linux, and macOS

Search for bugs in C, C++, and C#
on Windows, Linux, and macOS

Blog

Articles: 58

Svyatoslav Razmyslov
C#, C++

Dec. 18, 2018
Checking LibrePCB with PVS-Studio Inside a Docker Container

This is a classic article, where we share our experience of checking an open-source project called LibrePCB with PVS-Studio. What makes it special, though, is the fact that the analysis was done inside a Docker container. If you use containers, we hope this article will show you another way to easily integrate the analyzer into your development process.
Read more →
Nov. 20, 2018
NCBI Genome Workbench: Scientific Research under Threat

Modern computer technologies, hardware and software solutions all make it much easier and faster for us to do various kinds of scientific research. Computer simulation is often the only way to verify many theories. Scientific software has its own peculiarities. For instance, it's often heavily tested yet poorly documented. But anyway, software is written by humans, and humans tend to make mistakes. When found in scientific applications, programming mistakes could cast doubt on the results of much of the research work. In this article, we will look at dozens of defects found in the code of the NCBI Genome Workbench software package.
Read more →
Oct. 19, 2018
LibreOffice: Accountant's Nightmare

LibreOffice is a powerful Office package, which is free for private, educational and commercial use. Programmers working on it, develop a wonderful product that is used in many areas as an alternative to Microsoft Office. PVS-Studio team is always interested in analyzing the code of such well-known projects and trying to find errors in them. This time it was simple. The project contains many bugs that can lead to serious problems. The article will give some interesting defects found in the code.
Read more →
Oct. 5, 2018
Perl 5: How to Hide Errors in Macros

Perl 5 was chosen to expand the list of open source programming languages that have been tested using the PVS-Studio static code analyzer. This article is about found errors and difficulties when viewing analysis results. The number of macros in the code is so great that it seems that the code is written not in the C programming language, but in its peculiar dialect. In spite of the difficulties when viewing code, it was possible to collect interesting problems that will be demonstrated in this article.
Read more →
July 9, 2018
Amazon Lumberyard: A Scream of Anguish

Video games are among the most popular software products. Now a new game engine, Amazon Lumberyard, has joined this huge industry. The project is currently in the beta phase and still has time to get rid of the bugs and improve. Its authors have a lot of work to do to make sure they don't disappoint millions of gamers and game developers in the nearest future.
Read more →
April 13, 2018
Features of PVS-Studio setting and running in Docker on the example of Azure Service Fabric code

A technology of containerization is actively used for building and testing the software. With the emergence of PVS-Studio for Linux, the ability of adding the static analysis to other methods of testing a project on this platform, including the Docker, became available for users. The article will describe the features of the work with the PVS-Studio analyzer in Docker, which will enhance the quality of the analysis and usability. The article will also provide the errors found in the project Azure Service Fabric.
Read more →
March 6, 2018
One Doesn't Simply Edit Subtitles

How many people use subtitles worldwide? Probably, a lot. In the Internet you can find subtitles for almost any film in many languages for educational purposes or just because of love to the original sound. All this is created in special programs. As in most programs, Subtitle Edit has not been without surprises in the form of bugs.
Read more →
Nov. 27, 2017
Review of Music Software Code Defects. Part 5. Steinberg SDKs

I continue to review the code of musical applications, and here is the first representative of commercial software. Reading the comments to the previous articles, I noticed the popularity of Cubase and decided to read about it. This is the product of a Steinberg company, which has several programs with closed source code. I accidentally found the SDK for third-party developers on their website, and, after studying it, found a lot of interesting bugs.
Read more →
Nov. 23, 2017
Review of Music Software Code Defects. Part 4. Ardour

Ardour is so far the largest of musical projects involved in the review of code defects. The project includes about 1000 files of source code in C++. The project is actively maintained by the community of developers, but at the same time I did not find mentions of any applied static analysis tools. As a result, there are many different types of errors. The article will describe the most interesting ones.
Read more →
Nov. 14, 2017
PVS-Studio Reports Now in Html

PVS-Studio analyzer has long provided Html format for reports, but it was so limited that you could use it only for viewing small reports, for example, sent by email. In this post, I will tell you how we have reworked it and what new capabilities it offers now.
Read more →

1 2 3 ... 6

Bugs Found

Checked Projects

Collected Errors

Qt

int gx = gm.x.toInt();
int gy = gm.y.toInt();
int iw = gm.width.toInt();
int ih = gm.height.toInt();
if (iw <= 0 || iw <= 0)
  return 0;

UnrealEngine

switch ( BlendMode )
{
case Opaque:
  BackgroundColor.A = 1.0f;
case Masked:
  BackgroundColor.A = 0.0f;
}

Xamarin

get {
  return Left == 0 &&
         Top == 0 &&
         Right == 0 &&
         Left == 0;
}

Chromium

void Explode(bool is_local,
  Exploded* exploded) const
{
  ....
  ZeroMemory(
    exploded,
    sizeof(exploded));
  ....
}

Qt

int gx = gm.x.toInt();
int gy = gm.y.toInt();
int iw = gm.width.toInt();
int ih = gm.height.toInt();
if (iw <= 0 || iw <= 0)
  return 0;

UnrealEngine

switch ( BlendMode )
{
case Opaque:
  BackgroundColor.A = 1.0f;
case Masked:
  BackgroundColor.A = 0.0f;
}

Xamarin

get {
  return Left == 0 &&
         Top == 0 &&
         Right == 0 &&
         Left == 0;
}

Chromium

void Explode(bool is_local,
  Exploded* exploded) const
{
  ....
  ZeroMemory(
    exploded,
    sizeof(exploded));
  ....
}

Recent Posts

All articles →

It's interesting!

Follow our CTO

Tweets by @Code_Analysis