What is Reddit's opinion of PVS-Studio?

From 3.5 billion Reddit comments

P.S. about PVS-Studio static analysis tool. We can provide a free license for 1 month to students, authors of articles in IT subject editions and blogs. We also can provide it to such developers of free open-source software who just want their projects to be verified for the presence of the errors our analyzer can diagnose. If you got interested in this offer, please write a letter to support[@]viva64.com with the subject PVS-Studio free license initiative . You may also download the trial-version of PVS-Studio here: http://www.viva64.com/en/pvs-studio-download/

Carmak say about three static analyzers: PC-Lint, Microsoft /analyze and PVS-Studio.

John Carmack mentions in report PVS-Studio tool. More details about this C/C++ analyzer: http://www.viva64.com/en/pvs-studio/

Download page: http://www.viva64.com/en/pvs-studio-download/

Free keys for open-source prohects: http://www.viva64.com/en/b/0092/

Three tools from Carmack's keynote: PC-Lint, Microsoft /analyze and PVS-Studio.

Carmak say about three static analyzers: PC-Lint, Microsoft /analyze and PVS-Studio.

Try also: PVS-Studio - Static Code Analyzer for C, C++ and C.

Examples. Description: This bugs database may serve a unique resource for reflection on coding standards development, concepts of articles on programming rules, and help you in other researches regarding enhancing software reliability.

For anyone wondering, it's logo of PVS Studio, a commercial C/C++ static analyzer. It seems to have some nice features and they analyze open source programs to find some bugs as a nice way of marketing system.

lol it's always the simple ones that catch you out. Static analysis tools may have picked that one up.

http://clang-analyzer.llvm.org/

http://www.viva64.com/en/pvs-studio/

https://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis