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.

>
>
Posts: #OS

Posts: # OS

Feb 21 2022
MuditaOS: Will your alarm clock go off? Part II
Vladislav Stolyarov
This is the second part in a series of articles checking the MuditaOS operating system. In this article, we cover the bottlenecks of the project that are worth refactoring. The PVS-Studio...
...
Feb 01 2022
MuditaOS: Will your alarm clock go off? Part I
Vladislav Stolyarov
Operating systems are a kind of software where code quality is critical. This time the PVS-Studio analyzer checked MuditaOS. So let's take a look at what the static analyzer found in this...
...
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
Aug 26 2021
Linux kernel turns 30: congratulations from PVS-Studio
Sergey Larin
On August 25th, 2021, the Linux kernel celebrated its 30th anniversary. Since then, it's changed a lot. We changed too. Nowadays, the Linux kernel is a huge project used by millions. We checked...
...
Mar 29 2021
macOS Kernel, how good is this apple?
Victoria Khanieva
At the very beginning of this year, Apple released the source code for macOS – Big Sur. It includes XNU, the kernel of the macOS operating system. A few years ago, PVS-Studio has already checked...
...
Apr 30 2020
About embedded again: searching for bugs in the Embox project
George Gribkov
Embox is a cross-platform, multi-tasking real-time operating system for embedded systems. It is designed to work with limited computing resources and allows you to run Linux-based applications...
...
Apr 02 2020
Checking the code of Zephyr operating system
Andrey Karpov
Some time ago we announced PVS-Studio's new feature that enabled it to integrate into PlatformIO. Naturally, our team kept in touch with the PlatformIO team while working on that feature, and...
...
Oct 31 2019
On request of Embedded developers: detecting errors in Amazon FreeRTOS
George Gribkov
Anyone who programs microcontrollers probably knows about FreeRTOS, or at least heard of this operating system. Amazon developers decided to enhance the abilities of this operating system to...
...
Jul 26 2019
Best Copy-Paste Algorithms for C and C++. Haiku OS Cookbook
Sviatoslav Razmyslov
Numerous typos and Copy-Paste code became the main topic of the additional article about checking the Haiku code by the PVS-Studio analyzer. Yet this article mostly tells about errors related...
...
Jul 25 2019
How to shoot yourself in the foot in C and C++. Haiku OS Cookbook
Sviatoslav Razmyslov
The story of how the PVS-Studio static analyzer and the Haiku OS code met goes back to the year 2015. It was an exciting experiment and useful experience for teams of both projects. Why...
...
Aug 01 2018
We Checked the Android Source Code by PVS-Studio, or Nothing is Perfect
Andrey Karpov
Development of large complex projects is impossible without the use of programming techniques and tools helping to monitor the quality of the code. First, it requires a literate coding standard...
...
View more Pagination arrow previous
Showing: - of 24