Nous utilisons des cookies pour améliorer votre expérience de navigation. En savoir plus
Accepter
to the top

Webinar: Let's make a programming language. Part 1. Intro - 20.02

>
Posts

Posts

25 Oct 2016
PVS-Studio for Linux
Andrey Karpov
Finally! Today we released the first version of PVS-Studio analyzer for Linux. Now Linux developers are getting a new powerful tool to fight bugs in the code. We ask you to spread this news in...
...
13 Oct 2016
GitExtensions bugs found and analyzed
Ivan Kishchenko
As it is known, the Git kernel is a utility set of a command line with parameters. Usually, we use utilities that provide us with a familiar graphical interface, for comfortable work. I also...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
12 Oct 2016
Toyota: 81 514 issues in the code
Aleksey Statsenko
A story about the fact that the software is penetrating more and more in our daily life. However, with the comfort and usefulness come new dangers. Now we deal with the bugs not only sitting at...
...
10 Oct 2016
Killer Bug. Therac-25: Quick-and-Dirty
Aleksey Statsenko
Program code started using machines to kill people as early as in...
...
07 Oct 2016
Why using finalizers is a bad idea
Ilya Ivanov
Not so long ago we worked on a diagnostic rule related to the finalizer check. This provoked an argument on the details of the garbage collector work and the finalization of objects. Although we...
...
06 Oct 2016
A brief note about MISRA
Andrey Karpov
We are often asked whether the PVS-Studio analyzer supports MISRA standard. I decided to write a short note to make it easy to answer the letters, giving the link. A brief answer: we do not...
...
05 Oct 2016
Honest PVS-Studio Review by an Ordinary Programmer
Anton Sergienko
PVS-Studio is a program that looks for bugs in the source code of C++ and C# projects that can't be seen by the compiler yet are almost sure to be programming...
...
04 Oct 2016
I just had to check ICQ project
Andrey Karpov
I just cannot pass by the source code of ICQ messenger. It is a kind of a cult project, and when I saw the source code on GitHub, it was just a matter of time, when we will check it with...
...
03 Oct 2016
Chatbots, and how will Microsoft help us with this?
Sergey Khrenov
This overview article is devoted to the study of a trend which is growing rapidly in popularity in the IT industry - chatbots, and the role of Microsoft in their development process. The article...
...
30 Sep 2016
What's Hiding Inside the GNU Boot Loader? Searching for Bugs in Grub
Alexander Chibisov
PVS-Studio analyzer continues to explore and adapt to the Linux platform. Today we will take a look at the bugs that the tool managed to find in the Grub boot loader.
...
View more Pagination arrow previous
Showing: - of 1622