What is the MISRA standard and what is it for? How to secure your code with the use of MISRA and the PVS-Studio static analyzer? In this video, we tried to briefly answer these and other questions.
Have fun watching this video and coding 🙂
tutorial
An example of undefined behavior caused by absence of return
This article contains a very interesting example. The absence of the return statement in a value-returning function leads to undefined behavior. It’s a perfect example of how wrong code can crash one day, even though it could work for many years.
Continue readingHow PVS-Studio prevents rash code changes, example N2
When developers do make mistakes, it’s often accidental or because the developers are in a hurry. These errors often make their way into small edits to the code. Let’s review one of these cases: a developer fixes an error and introduces a new one simultaneously.
Continue readingPVS-Studio: static code analysis technology
PVS-Studio provides static analyzers for C, C++, C# and Java languages on Windows, Linux and macOS platforms. PVS-Studio analyzers can vary slightly due to certain features that the languages have. However, all our analyzers share common technologies and approaches to the implementation of static analysis.
Continue readingCode errors in LLVM 13.0.0 that compiler and analyzers couldn’t find. But PVS-Studio did
Yes, even well-tested applications like compilers have errors. Check the video to learn more about them.
Have fun watching this video and coding 🙂
Errors and suspicious code fragments in .NET 6 sources
The .NET 6 turned out to be much-awaited and major release. If you write for .NET, you could hardly miss such an event. We also couldn’t pass by the new version of this platform. We decided to check what interesting things we can find in the sources of .NET libraries.
Continue readingUsing PVS-Studio for JetBrains CLion
This tutorial video explains how to install and set up the PVS-Studio plugin for CLion. Step by step, you will learn how to run the analysis and how to work with its results.
Have fun watching this video and coding 🙂
Compiler Monitoring System in the PVS-Studio Static Analyzer
How does PVS-Studio manage to check C++ code for almost any build system? In this video, we are going to talk about compiler monitoring modes.
Have fun watching this video and coding 🙂
An article for those who, like me, do not understand the purpose of std::common_type
This article investigates why the standard library needs a way to deduce a common type, how it is implemented and how it works.
Continue readingEmbedded Development Explained | How Can Static Analysis Help?
What is embedded development? What sets it apart from other types of software development? What difficulties do developers of embedded software encounter when just starting out? In this video, we tried to briefly answer these and other questions. Don’t hesitate to give us your feedback!
Have fun watching this video and coding 🙂
How Not To Code 