Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

How PVS-Studio does the bug search: methods and technologies

7 views
Skip to first unread message

Andrey Karpov

unread,
Jan 12, 2017, 6:55:04 AM1/12/17
to
PVS-Studio is a static code analyzer, that searches for errors and vulnerabilities in programs written in C, C++ and C#. In this article, I am going to uncover the technologies that we use in PVS-Studio analyzer. In addition to the general theoretical information, I will show practical examples of how certain technology allows the detection of bugs. Article: http://www.viva64.com/en/b/0466/
0 new messages