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 🙂
static code analysis
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 reading10 C# tips for beginners
C# is a user-friendly language. However, it may be difficult for beginners. We’ve prepared 10 C# tips for those who are starting their journey. We hope these tips will help you to improve your skills in programming.
Have fun watching this video and coding 🙂
Code 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 reading1000 eyes that don’t want to check open-source code
There’s a myth that open-source software is better and safer that the closed one. This was reasonably questioned many times. People regularly find epic vulnerabilities in the open source code. These vulnerabilities have been there for a long time. I think the project quality depends on how the development managers arrange the process and what methodologies/tools are used. It has nothing to do with the project being open source or closed source.
Continue readingCompiler 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 reading
How Not To Code 