Compiler Explorer is an interactive online compiler that allows compiling code written in C and C++, and view the assembler output right on the godbolt.org website.

Recently, Compiler Explorer has made it possible to perform static code analysis of C and C++ code using PVS-Studio. Now you can search errors too – all you need to do is copy your code to the website.

The master class is devoted to the new features added to the website along with PVS-Studio: https://www.youtube.com/watch?v=hw5npZqB3b8

🎁A month free trial of PVS-Studio:
https://www.viva64.com/vd_explorer/

Under the Hood of PVS-Studio for Java: How We Develop Diagnostics https://www.viva64.com/en/b/0752/

If you use static analyzers, you will have, sooner or later, to address the task of making their integration into existing projects easier, where fixing all warnings on legacy code is unfeasible.

The purpose of this article is not to help with integration but rather to elaborate on the technicalities of the process: the exact implementations of warning suppression mechanisms and pros and cons of each approach. https://habr.com/en/company/pvs-studio/blog/513952/

Static Analysis: From Getting Started to Integration https://www.viva64.com/en/b/0753/

Unicorns break into RTS: analyzing the OpenRA source code https://www.viva64.com/en/b/0754/

Rob and Jason are joined by Slobodan Dmitrović. They first discuss a new C++ compiler from NVIDIA to compile conformant C++ code to GPUs. Then they talk to Slobodan about his book: Modern C++ for Absolute Beginners. https://cppcast.com/modern-cpp-absolute-beginners/

OOO "Program Verification Systems" is renamed to "PVS-Studio" LLC https://www.viva64.com/en/b/0755/

Static code analysis of the PMDK library collection by Intel and errors that are not actual errors https://www.viva64.com/en/b/0756/

Rob and Jason are joined by Basit Ayantunde. They first discuss a blog post on plain old data types and Visual Studio’s Address Sanitizer support. Then they talk to Basit about the STX library. https://cppcast.com/stx-basit-ayantunde/

PVS-Studio is included in the Forrester Research report "Now Tech: Static Application Security Testing, Q3 2020" as a SAST specialist. Adopting Static Application Security Testing (SAST) methodology improves application security and helps to reduce the impact of security flaws in application lifecycle.

Forrester Research is a leading emerging-technology research firm providing data and analysis that defines the impact of technology change on business. The report is available by purchase or with a subscription with Forrester Research:

https://www.forrester.com/…/Now+Tech+Static+A…/-/E-RES161475

PVS-Studio 7.09 https://www.viva64.com/en/b/0757/

Checking the Code of XMage, and Why You Won't Be Able to Get the Special Rare Cards of the Dragon's Maze Collection https://www.viva64.com/en/b/0758/

PVS-Studio code analyzer as a tool for finding security defects and providing application security. Report by Forrester Research on SAST, Q3 2020 https://www.viva64.com/en/b/0759/

Checking QEMU using PVS-Studio https://www.viva64.com/en/b/0760/

Rob and Jason are joined by Oleg Rabaev. They first discuss some papers from the latest ISO mailing and a new feature in Microsoft’s vcperf tool. Then they talk to Oleg Rabaev about Unit Testing methodologies and why it’s important to write testable code. 🔗https://cppcast.com/testing-oleg-rabaev/

Bartlomiej Filipek shared his report on using the PVS-Studio static code analyzer. The tool helped him with identifying 8 critical issues not to mention good code style and performance enhancements (in total 137 warnings).

Visit the link to read more: 🔗 https://www.bfilipek.com/2020/09/pvs-studio-checking.html

Rob and Jason are joined by David Olsen from NVIDIA. They first discuss the news from the ISO Committee that C++20 has been approved and work on C++23 will continue virtually. Then they talk with David about his work on NVIDIA’s C++ compiler to run parallel algorithm code on the GPU and a proposal he’s working on to introduce 16-bit floats to standard C++. https://cppcast.com/stdpar-david-olsen/

Why code reviews are good, but not enough https://www.viva64.com/en/b/0761/