• We are Closing Down the CppCat Project

    One odd year ago, we decided to carry out an experiment and release a tool for small teams and single developers as an alternative to the PVS-Studio static code analyzer. This is how a very inexpensive analyzer CppCat was born. Now we can sum up the results of that experiment and admit that it has failed. During its short lifetime, this project has brought us almost as much money as we had put into its development, promotion, and maintenance. Thus, the project has proved unprofitable. And we could have spent all that time (the most valuable resource) on improving PVS-Studio instead, couldn't we? So we have to close down the CppCat project and focus on PVS-Studio. I hope you will find it interesting to learn from someone else's experience of launching a new business idea, for negative experience is still experience. Read more
  • Comparing Analysis Capabilities of PVS-Studio and Visual Studio 2015's Analyzer

    In one of the articles at Visual C++ Team Blog, the developer team were discussing the static code analyzer that would ship with Visual Studio 2015. According to their data, there will be no difference in the static analysis capabilities between Visual Studio 2013's and Visual Studio 2015's versions. Read more
  • Analysis of Haiku Operating System (BeOS Family) by PVS-Studio. Part 2

    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 another deal with conditions. In this article, we will discuss the remaining analyzer warnings I have selected for you. The bug examples are grouped into several categories. Read more
  • Analysis of Haiku Operating System (BeOS Family) by PVS-Studio. Part 1

    Operating systems are among the largest and most complicated software projects, and that means they perfectly suit the purpose of demonstrating static code analysis' capabilities. After the successful analysis of Linux Kernel, I felt inspired to try analyzing other open-source operating systems as well. Read more
  • Founder's Advice. Evgeniy Ryzhkov, "Program Verification Systems" CEO and PVS-Studio Developer

    This interview was originally published in Russian at Republished and translated by the author's permission.. Read more
  • PVS-Studio: New Trial Mode

    Sometimes we experiment with the PVS-Studio analyzer's trial mode to make it as efficient as possible for users to get started with. Recently, we again have changed the format of the trial version. This note is intended to answer every possible question developers may want to ask when starting to work with our tool. This article is in fact the answer to the question, "can I try the demo version and what limitations does it have?". Read more
  • Bugs. Bugs Never Change

    What you have just opened is the article you should link to in your Twitter or post in your favorite programmer public. This will benefit both us and the open-source software community. We analyze open-source projects and help make them better to get programmers all over the world to learn about PVS-Studio. Meanwhile, we write interesting and helpful articles. The more people get to know about them, the more pleased we'll be doing that and the more projects we will check. Everyone profits - sounds great, doesn't it?. Read more
  • Please use e-mail to communicate with us

    We'd like to keep communicating with you via e-mail if you don't mind. We don't refuse other means, and if you insist on using them, we'll stick to them of course. But here are our reasons in support of e-mail communication:. Read more
  • Of Evil Accidentally Summoned by a Sorcerer's Disciples

    Studying programming languages does take time and effort. But you can't avoid the thorny path if you are eager to thoroughly master the language, its principles, means and intricacies. C++ is no exception, and, moreover, is quite a representative example. There are numbers of nuances and subtleties about it that a programmer must know and keep in mind. But, as I've already said, you need time and practice. Read more
  • Analyzing Vim by PVS-Studio in GNU/Linux

    You have probably thought that it's going to be another article about how we checked one more open-source project. But this article is actually not as much about the check itself as it is about the practice of using the PVS-Studio analyzer in the fully GNU/Linux environment. It's not by chance that we chose the Vim project for the check, for it had also contributed to the fulfillment of this task. Read more