PVS Studio

Static Code Analyzer for C, C++ and C#

[unicornsoftware-blog]

Bug or Feature? Download PVS-Studio and find out!

https://www.viva64.com/en/pvs-studio-download/?win

[unicornsoftware-blog]

Among our clients some organizations involved in developing software in the field of finance are gradually starting to appear. We have many articles on different topics, but we somehow unfairly spared the scope of finance. We shall try to mend and eventually write some articles, and I'll begin with a little story.

https://www.viva64.com/en/b/0528/

[unicornsoftware-blog]

Useful Improvements in the PVS-Studio 6.17 Release

Today we released a new version of PVS-Studio 6.17 static analyzer. In this version there are improvements, which, in my opinion, deserve a small note. I suggest to get acquainted with them, and then download the latest version of the distribution package.

We continue to develop our analyzer in relation to Linux. In other words, the Linux version is overtaking Windows version of analyzer on its abilities. The next step was the implementation of a plugin for SonarQube quality control system and adding a mode of mass warnings suppression for Linux.

[unicornsoftware-blog]

Tell me more about your programmer. I will prompt you how to improve his code. Download PVS-Studio - https://www.viva64.com/en/pvs-studio-download/?win

[unicornsoftware-blog]

Static code analysis

[unicornsoftware-blog]

Using third-party libraries allows you to get the functionality you want, without wasting time on the development of the corresponding logic. Take and use it! Of course, such an approach doesn't include only the merits, that's why it has another "dark" side. One of the problems inherent to using third-party libraries is the lack of control over things that are going on inside. It all started with a user who wrote about an unhandled exception, appearing when checking C# project...

https://www.viva64.com/en/b/0524/

[unicornsoftware-blog]

C++ pointers: why we need them, when we use them, how they differ from accessing to object itself

Even though most programmers understand what is the difference between objects and pointers to them, sometimes it is not entirely clear, which of the ways of accessing the object to choose. We have…

[unicornsoftware-blog]

Characteristics of PVS-Studio Analyzer by the Example of EFL Core Libraries, 10-15% of False Positives

After I wrote quite a big article about the analysis of the Tizen OS code, I received a large number of questions concerning the percentage of false positives and the density of errors (how many errors PVS-Studio detects per 1000 lines of code). Apparently, my reasoning that it strongly depends on the project to be analyzed and the settings of the analyzer didn't seem sufficient enough. Therefore, I decided to provide specific figures by doing a more thorough investigation of one of the project of the Tizen OS. I decided that it would be quite interesting to take EFL Core Libraries, because one of the developers, Carsten Haitzler, took an active part in the discussion of my articles. I hope this article would prove to Carsten that PVS-Studio is a worthy tool.

[unicornsoftware-blog]

Learn from Chuck! 💪🤠🤜 https://www.viva64.com/en/pvs-studio-download/?win

[unicornsoftware-blog]

I shall tell at once that PVS-Studio analyzer showed itself not on the bright side on C# code. Anyway, first things first: let's see what the analyzer found, and then we will deal with statistics and make conclusions.

https://www.viva64.com/en/b/0521/

[unicornsoftware-blog]

Be like Bill and download this tool 👇

https://www.viva64.com/en/pvs-studio-download/?win

[unicornsoftware-blog]

This paper continues the series of articles about the analysis of the Tizen operating system's source code. The size of the Tizen project (including the third-party libraries) is 72,500,000 lines of code in C and C++, which makes it a perfect example for demonstrating the various aspects of the use of static code analysis.

https://www.viva64.com/en/b/0520/

[unicornsoftware-blog]

27 000 Errors in the Tizen Operating System

This article will demonstrate that during the development of large projects static analysis is not just a useful, but a completely necessary part of the development process. This article is the first one in a series of posts, devoted to the ability to use PVS-Studio static analyzer to improve the quality and reliability of the Tizen operating system. For a start, I checked a small part of the code of the operating system (3.3%) and noted down about 900 warnings pointing to real errors. If we extrapolate the results, we will see that our team is able to detect and fix about 27000 errors in Tizen. Using the results of the conducted study, I made a presentation for the demonstration to the Samsung representatives with the offers about possible cooperation. The meeting was postponed, that is why I decided not to waste time and transform the material of the presentation to an article. Get some coffee and cookies, as there is a long programmer thriller waiting for us.

[unicornsoftware-blog]

Experiment of Bug Detection in the Code of C# Tizen Components

By Sergey Khrenov Recently, my colleague Andrey Karpov asked me to find 3-4 bugs in one of the Tizen components, written in C#.He has al...

[unicornsoftware-blog]

But now save the code from bugs - https://www.viva64.com/en/pvs-studio-downlo...

But now save the code from bugs - https://www.viva64.com/en/pvs-studio-download/?win #bugs #programming #programmer #coding - Nastya Zubkova - Google+

[unicornsoftware-blog]

Headache from using mathematical software

It so happened that during some period of time I was discussing on the Internet, one would think, different topics: free alternatives of Matlab for universities and students, and finding errors in algorithms with the help of static code analysis. All these discussions were brought together by the terrible quality of the code of modern programs. In particular, it is about quality of software for mathematicians and scientists. Immediately there arises the question of the credibility to the calculations and studies conducted with the help of such programs. We will try to reflect on this topic and look for the errors.

[unicornsoftware-blog]

PVS-Studio as a plugin for SonarQube

SonarQube is an open source platform, designed for continuous analysis and measurement of code quality.More than a year PVS-Studio has a plugin for the integrating the results of the work in SonarQube. Thanks to it, the abilities of detection critical errors in C/C++/C# can be expanded by the functionality of the quality monitoring. PVS-Studio and SonarQube greatly complement each other, allowing to build a powerful factory to bring the program code to the ideal state.