Blog

  • Founder's Advice. Evgeniy Ryzhkov, "Program Verification Systems" CEO and PVS-Studio Developer

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

    09.04.2015
    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

    08.04.2015
    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

    08.04.2015
    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

    06.04.2015
    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

    19.03.2015
    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
  • PVS-Studio: 25 Suspicious Code Fragments in CoreCLR

    17.03.2015
    The Microsoft corporation has recently published for free access the source code of the CoreCLR engine which is a key component of .NET Core. We couldn't but pay attention to this event. The wider a project's audience is, the worse defects found in the code will seem, won't they? Despite Microsoft themselves being the authors of the product, there are still some issues to examine and think over in their code - just like in any other large project. Read more
  • Integrating Static Analysis into a Project with over 10 Mbytes of Source Code

    08.03.2015
    So, you're a developer working on a project containing a lot of (perhaps way lot of) source code - say, over 10 Mbytes. Read more
  • LibreOffice Project's Check

    01.03.2015
    We invite you to read a new article about how we analyzed another well-known open-source project. This time it is the LibreOffice office suite that I have examined. The project is developed by more than 480 programmers. We have found that it is pretty high-quality and that it is regularly checked by the Coverity static analyzer. But, like in any other large project, we still managed to find previously undetected bugs and defects and in this article we are going to discuss them. Just for a change, this time we will be accompanied by cows instead of unicorns. Read more
  • Bugs Found by LibreOffice in PVS-Studio

    24.02.2015
    Usually we check various projects by PVS-Studio. This time, it's been vice versa: We have checked PVS-Studio by LibreOffice :-). And then managed to do the opposite check as well. Read more