Our website uses cookies to enhance your browsing experience.
Accept
to the top
close form

Fill out the form in 2 simple steps below:

Your contact information:

Step 1
Congratulations! This is your promo code!

Desired license type:

Step 2
Team license
Enterprise license
** By clicking this button you agree to our Privacy Policy statement
close form
Request our prices
New License
License Renewal
--Select currency--
USD
EUR
* By clicking this button you agree to our Privacy Policy statement

close form
Free PVS‑Studio license for Microsoft MVP specialists
* By clicking this button you agree to our Privacy Policy statement

close form
To get the licence for your open-source project, please fill out this form
* By clicking this button you agree to our Privacy Policy statement

close form
I am interested to try it on the platforms:
* By clicking this button you agree to our Privacy Policy statement

close form
check circle
Message submitted.

Your message has been sent. We will email you at


If you haven't received our response, please do the following:
check your Spam/Junk folder and click the "Not Spam" button for our message.
This way, you won't miss messages from our team in the future.

>
>
Articles: Sviatoslav Razmyslov

Posts: Sviatoslav Razmyslov

Apr 24 2015
Analysis of Haiku Operating System (BeOS Family) by PVS-Studio. Part 2
Sviatoslav Razmyslov
This is the second and last part of the large article about analysis of the Haiku operating system. In the first article, we discussed a variety of possible errors all of which one way or...
...
Apr 22 2015
Analysis of Haiku Operating System (BeOS Family), by PVS-Studio, Part 1
Sviatoslav Razmyslov
Operating systems are among the largest and most complicated software projects, and that means they perfectly suit the purpose of demonstrating the capabilities of static code analysis. After...
...
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
Mar 17 2015
PVS-Studio: 25 Suspicious Code Fragments in CoreCLR
Sviatoslav Razmyslov
The Microsoft Corporation has recently published, for free, access the source code of the CoreCLR engine, which is a key component of .NET Core. We couldn't help but pay attention to this event...
...
Feb 24 2015
Bugs Found by LibreOffice in PVS-Studio
Sviatoslav Razmyslov
Usually we check various projects by PVS-Studio. This time, it's been vice versa: We have checked PVS-Studio by LibreOffice :-). And then managed to do the opposite check as...
...
Jan 03 2015
PVS-Studio Probes into Linux' Innards (3.18.1)
Andrey Karpov, Sviatoslav Razmyslov
For the sake of advertisement, we decided to analyze the Linux kernel with our static code analyzer. The difficulty of this task makes it especially interesting. Linux' source codes have...
...
Dec 24 2014
Analysis of the The Powder Toy Simulator
Sviatoslav Razmyslov
The Powder Toy is a free physics sandbox game, which simulates air pressure and velocity, heat, gravity and a countless number of interactions between different substances. The game provides you...
...
Dec 04 2014
Why We Need the Suppression Mechanism for Analyzer-Generated Messages
Sviatoslav Razmyslov
Every software product has its own origin and development history. A project may be new and small or it may have a dozen of years of commercial success behind it and include thousands of...
...
Dec 03 2014
Spring RTS Engine Checkup
Sviatoslav Razmyslov
Spring RTS is a game engine for real-time strategy (RTS) video games. Spring was originally created to reproduce the Total Annihilation game popular in the 90\00-s. During the later years, a lot...
...
Oct 08 2014
Analyzing the Network Security Services Library
Sviatoslav Razmyslov
Network Security Services (NSS) is a set of libraries designed to support cross-platform development of security-enabled client and server applications. It implements cryptographic functions in...
...
Sep 29 2014
The Unicorn Getting Interested in KDE
Sviatoslav Razmyslov
KDE (abbreviation for K Desktop Environment) is a desktop environment primarily for Linux and other UNIX-like operating systems. To put it simple, it's the thing which is responsible for the...
...
View more Pagination arrow previous
Showing: - of 89