Blog of OOO "Program Verification Systems"
62 views | +0 today
Follow
Blog of OOO "Program Verification Systems"
The Company is engaged in software development in the sphere of programs source code analysis.
Curated by Andrey Karpov
Your new post is loading...
Your new post is loading...
Scooped by Andrey Karpov
Scoop.it!

Big PVS-Studio Update: Version 6.00 with C# Support

Big PVS-Studio Update: Version 6.00 with C# Support | Blog of OOO "Program Verification Systems" | Scoop.it

PVS-Studio 6.00 is now released! This is one of major updates for us. Hopefully, this information will be beneficial for our current and new users of the analyzer.

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

Monitoring a program that monitors computer networks

There exists the NetXMS project, which is a software product designed to monitor computer systems and networks. It can be used to monitor the whole IT-infrastructure, from SNMP-compatible devices to server software. And I am naturally going to monitor the code of this project with the PVS-Studio analyzer.

 

 

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

Why Windows 8 drivers are buggy

We have checked the Windows 8 Driver Samples pack with our analyzer PVS-Studio and found various bugs in its samples. There is nothing horrible about it – bugs can be found everywhere, so the title of this article may sound a bit high-flown. But these particular errors may be really dangerous, as it is a usual practice for developers to use demo samples as a basis for their own projects or borrow code fragments from them.

 

 

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

PVS-Studio registration key for 5 days

As an experiment, we have decided to offer everyone interested a PVS-Studio registration key for 5 days to study its 64-bit diagnostics more thoroughly
more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

PVS-Studio and open-source software

I've decided to write about the work our team is doing regarding open-source projects. I will give a list of open-source projects we have checked by now with the PVS-Studio analyzer. Then I'll tell you about our plans for the future.

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

Checking OpenCV with PVS-Studio

OpenCV is a library of computer vision algorithms, picture processing algorithms, and general-purpose numerical algorithms. The library is written in C/C++ and is free both for academic and commercial use, as it is distributed under the BSD license. The time has come to check this library with the PVS-Studio code analyzer.

 

 

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

64-bit

64-bit | Blog of OOO "Program Verification Systems" | Scoop.it
In this article, I've collected a huge amount of links all of which could prove potentially useful to software developers who are getting acquainted with 64-bit world
Andrey Karpov's insight:

In this article, I've collected a huge amount of links all of which could prove potentially useful to software developers who are getting acquainted with 64-bit world. In general, we will cover C/C++ languages, but I am sure, that developers from other languages will discover a lot of interesting stuff here as well.

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

C++Builder, 64-bit software build and Viva64 renaissance

After a long wait C++Builder XE3 Update 1 has finally acquired the capability of building 64-bit applications. It means that developers using this tool will soon face the yet unfamiliar world of 64-bit errors.

 

 

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

Embedded in Academia : How Does Formal Verification Affect Software Testing?

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

The D language comes to help

My name is Andrey Karpov. I develop software for developers, and I'm fond of writing articles on code quality issues. In this connection, I have met the wonderful man Walter Bright who has created the D language. In the form of an interview, I will try to learn from him how the D language helps programmers get rid of errors we all make when writing code.
more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

All about PVS-Studio

All about PVS-Studio | Blog of OOO "Program Verification Systems" | Scoop.it
PVS-Studio is a static analyzer that detects errors in source code of C/C++/C++11 applications...
more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

What environment do Microsoft developers use, I wonder? Linux?

I'm joking about Linux, of course. Nevertheless, this question really interests me. I understand that systems they work on in Microsoft are large and complex. I know very well that bugs may be detected by users only some time later after release. But I don't understand how can one simply not notice obvious bugs in the tools the developers themselves are meant to use regularly?

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

Visual Studio 2012 and macros

The new version of the Visual Studio 2012 development environment doesn't support creation of simple automation macros anymore...
more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

Test-driven development (TDD)

Click here to edit the title

Andrey Karpov's insight:

We have collected references to various materials on the TDD methodology. If you discover any dead links, please tell us. You are also welcome to inform us about new interesting articles that should be included into this list.

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

Errors detected in C++Builder

We have checked the header files from the Embarcadero C++Builder XE3 project. In fact, it means that we have checked just a small number of inline-functions. Accordingly, quite few issues were found, but they are enough to write a small post.

 

 

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

Static analysis is most efficient when being used regularly. We'll tell you why

Some of our users run static analysis only occasionally. They find new errors in their code and, feeling glad about this, willingly renew PVS-Studio licenses. I should feel glad too, shouldn't I? But I feel sad - because you get only 10-20% of the tool's efficiency when using it in such a way, while you could obtain at least 80-90% if you used it otherwise. In this post I will tell you about the most common mistake among users of static code analysis tools.

 

 

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

Errors detected in Open Source projects by the PVS-Studio developers through static analysis

We regularly check various open-source projects with PVS-Studio and send analysis results to developers and usually describe them in our posts as well. Besides, we add them into our bug database. This database is posted below on this page.

The bugs are grouped according to the number of the diagnostic rule that is used to detect them. This number is given in the left column. Click on it to see the diagnostic rule description in the documentation. The right column contains a link to the corresponding error samples.

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

Re-checking the ReactOS project - a large report

Re-checking the ReactOS project - a large report | Blog of OOO "Program Verification Systems" | Scoop.it
The ReactOS project is rapidly developing. One of the developers participating in this project suggested that we re-analyzed the source code, as the code base is growing fast. We were glad to do that. We like this project, and we'll be happy if this article helps the developers to eliminate some bugs. Analysis was performed with the PVS-Studio 5.02 code analyzer.
more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

Useful items on the viva64.com website

I'd like to give you some tips on what useful items you can find on our website www.viva64.com.

The audience of our site is constantly rising. Programmers subscribe to our blog, follow us in twitter, and so on. As a result, many of our readers read new articles but don't know of other useful materials posted earlier. We don't position us as an information portal, so you may miss a lot of useful items of information when visiting our site. However, we find it cruel to refer our readers to the site map. Yes, you can find all the site contents there but it's an impossible task for a guest to choose what to read.

That's why I've decided to arrange a small tour around our website for new visitors. I've picked out the sections which, I suppose, will be most useful and interesting. Enjoy your reading.

 

 

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

A few words about interaction between PVS-Studio and Clang

The reason for writing this post is that many programmers think that the PVS-Studio analyzer is based on Clang. It's not so. I'd just like to explain in brief why the PVS-Studio distribution kit contains the Clang compiler and what it is used for.

 

 

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

PVS-Studio 5.00: support of Embarcadero C++Builder, Windows Store and Windows Phone 8 applications in Visual Studio, and several hundreds of diagnostic rules

The PVS-Studio static analyzer has changed its version number to 5.00. Why? Because we have worked hard at this release!

 

 

more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

A few words about OpenSSL

This is a small note on the results of checking the OpenSSL project with the PVS-Studio analyzer. I analyzed the openssl-0.9.8-stable-SNAP-20121208 version.
more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

How to complement TDD with static analysis

TDD is one of the most popular software development techniques. I like this technology in general, and we employ it to some extent. The main thing is not to run to extremes when using it. One shouldn't fully rely on it alone forgetting other methods of software quality enhancement. In this article, I will show you how the static code analysis methodology can be used by programmers using TDD to additionally secure themselves against errors.
more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

Development of resource-intensive applications in Visual C++

Development of resource-intensive applications in Visual C++ | Blog of OOO "Program Verification Systems" | Scoop.it
The article will familiarize application developers with tasks given them by the mass introduction of 64-bit multi-core processors symbolizing revolutionary increase of computing power available for an average user...
more...
No comment yet.
Scooped by Andrey Karpov
Scoop.it!

Security, security! But do you test it? Potential vulnerability in TOR.

There is no fragment in program code where you cannot make mistakes...
more...
No comment yet.