BUG OF THE MONTH | Dereferencing of the null pointerContinue reading
BUG OF THE MONTH | Using memset to clear memoryContinue reading
BUG OF THE MONTH | Buffer overflowContinue reading
BUG OF THE MONTH | Undefined behaviorContinue reading
BUG OF THE MONTH | || operator instead of &&Continue reading
BUG OF THE MONTH | Possible null dereferenceContinue reading
BUG OF THE MONTH | Unreachable codeContinue reading
BUG OF THE MONTH | Suspicious formattingContinue reading
This story goes back to 2015, when Haiku OS and PVS-Studio static analyzer developers decided to join forces and improve this OS code quality. At first it was more like an experiment, as there was no Linux analyzer at that time and the team had to work only with the compiled executable analyzer file. The entire infrastructure for parsing compiler parameters, running preprocessor, analysis paralleling and so on was taken from the Compiler Monitoring UI utility in C#, which was ported in parts to the Mono platform in order to be run in Linux.
BUG OF THE MONTH | A guy sent an email to our support saying that the analyzer was producing four false positives at once on one line of his code.