PVS-Studio for JetBrains CLion: ad astra per aspera

By Andrey Karpov | Aug 11, 2021 01:29 AM | Tags: static code analysis sast pvs-studio plugin jetbrains devtool clion bugs

The PVS-Studio analyzer already has plugins for such IDEs from JetBrains as Rider, IntelliJ IDEA and Android Studio. Somehow we missed another IDE - CLion. The time has come to make amends!

PVS-Studio for JetBrains CLion: ad astra per aspera

by Evgeniy Ovsyannikov, Sergey Vasiliev

From the article:

Here's an answer to the question that we are discussing - PVS-Studio and CLion collaboration will let us detect more errors at the writing code stage. CLion highlights the errors on the fly, but at the same time is limited in the analysis capabilities. PVS-Studio doesn't highlight errors immediately, but it can perform deeper analysis. Note that PVS-Studio has an incremental analysis – the mode that checks only the changed files.

Adding a book section to Meeting C++

By Meeting C++ | Aug 11, 2021 12:59 AM | Tags: meetingcpp community c++20 c++17 books

Meeting C++ has now its own C++ book section:

Adding a book section to Meeting C++

by Jens Weller

From the article:

The section offers a listing of current C++ books, currently 14 books by various authors such as Bjarne Stroustrup or Rainer Grimm! More books will be listed in the future, as not all authors had yet time to list their books. July/August is a holiday month after all, though that might give you the time to read a book!

Intermodular analysis of C++ projects in PVS-Studio

By Andrey Karpov | Aug 10, 2021 02:17 AM | Tags: pvs-studio intermodular analysis data flow code analysis

Recently PVS-Studio has implemented a major feature—we supported intermodular analysis of C++ projects. This article covers our and other tools' implementations. You'll also find out how to try this feature and what we managed to detect using it.

Intermodular analysis of C++ projects in PVS-Studio

by Oleg Lisiy, Sergey Larin

From the article:

We can't apply the approach above to the PVS-Studio tool. Our analyzer's main difference from compilers is that it doesn't form intermediate representation that is abstracted from the language context. Therefore, to read a symbol from another module, the tool has to translate it again and represent a program as in-memory data structures (parse tree, control flow graph, etc). Data flow analysis may also require parsing the entire dependency graph by symbols in different modules. Such a task may take a long time. So, we collect information about symbols (in particular in data flow analysis) using semantic analysis. We need to somehow save this data separately beforehand. Such information is a set of facts for a particular symbol. We developed the below approach based on this idea.

CppCon 2019 The Dawn of a New Error--Phil Nash

By Adrien Hamelin | Aug 9, 2021 01:17 PM | Tags: community

Registration is now open for CppCon 2021, which starts on October 24 and will be held both in person and online. To whet your appetite for this year’s conference, we’re posting videos of some of the top-rated talks from our most recent in-person conference in 2019 and our online conference in 2020. Here’s another CppCon talk video we hope you will enjoy – and why not register today for CppCon 2021 to attend in person, online, or both!

The Dawn of a New Error

by Phil Nash

Summary of the talk:

As a community we've tried many different ways to express, propagate and handle error conditions in our code over the years. Each seem to have different trade-offs, with none being perfect in all cases.

This presentation is the follow-up to my earlier talk, "Option(al) Is Not a Failure", where I surveyed existing error-handling approaches and score them against each other, leading up to the new proposal, p0709, "Zero-overhead deterministic exceptions".

We'll summarise some of that background so we're all on the same page, but in this talk we're going to dig into the proposal in more depth - and look at the supporting proposals, p1028 (std::error) and p1029 ([[move relocates]]) and others. We'll also comment similar mechanisms in other languages, notably Swift, to get an idea of how it might work out in practice.

Counting in Iteration Models--Barry Revzin

By Adrien Hamelin | Aug 9, 2021 01:11 PM | Tags: c++20

What is your opinion?

Counting in Iteration Models

by Barry Revzin

From the article:

There’s a really interesting issue pointed out in the July 2021 mailing by way of P2406R0.

Basically, in C++, the iterator loop structure ordering is as follows (I wrote it with a goto to make the ordering more obvious. Note that in C++, we start with the it != end check, not the ++it operation. The point of this ordering is to focus on the transition from one position to the next)...

C++20 concepts are structural: What, why, and how to change it?--Jonathan Müller

By Adrien Hamelin | Aug 9, 2021 12:57 PM | Tags: c++20

Flexibility.

C++20 concepts are structural: What, why, and how to change it?

by Jonathan Müller

From the article:

C++20 added concepts as a language feature. They’re often compared to Haskell’s type classes, Rust’s traits or Swift’s protocols.

Yet there is one feature that sets them apart: types model C++ concepts automatically. In Haskell, you need an instance, in Rust, you need an impl, and in Swift, you need an extension. But in C++? In C++, concepts are just fancy boolean predicates that check for well-formed syntax: every type that makes the syntax well-formed passes the predicate and thus models the concepts.

This was the correct choice, but is sometimes not what you want. Let’s explore it further.

Voting results and the Top 10 talks for Meeting C++ 2021

By Meeting C++ | Aug 5, 2021 04:54 AM | Tags: meetingcpp events community

The results from the voting for this years Meeting C++ conference are in, and published together with the Top10 of talks!

Voting results and the top 10 Talks for Meeting C++ 2021

by Jens Weller

From the article

The Meeting C++ hive mind has spoken, and given the feedback of the C++ community to the submissions of Meeting C++ 2021.

Like in the previous years, one could vote from 0-5 for each talk and leave a comment if you'd like on each talk. The talks are randomized in Order, and not every voting session has finished the full stack of talks to vote on. The result below is then achieved by weighing the votes from 0-5 as {-3,-2,-1,1,3,4}, this gives the talks that folks want to see a bit of an edge, while the negative numbers help to keep the range of the end result a bit closer. Having bought a ticket before the voting starts does give you a higher voting weight, as you'll be attending the conference.

 

CppCon update: Near-record number of talk submissions

By Blog Staff | Aug 4, 2021 09:46 AM | Tags: None

A near-record number of talk submissions, with the large majority of speakers asking to deliver their talks in person, on-site in Aurora this October:

Big Update with Big Thanks for a Big Program

by Jon Kalb

From the announcement:

The deadline for Main Program submissions has passed with a near-record number of submissions! ... We are excited both by the quality of the submissions and by the fact that that the vast majority of submissions were for onsite presentations.

... Our Program Committee is currently hard at work reviewing and rating each submission and we know that we’ll have an amazing program for both onsite and online attendees in Aurora in October. As you know, we’ve announced that Bjarne Stroustrup will be our opening keynote onsite... Creating multiple, thoughtful evaluations on almost two-hundred submissions touching on virtually every topic of C++ and software design in less than a month is a mammoth task, but we know that the CppCon 2021 Program that you’ll be seeing in Aurora and/or online, will be something that we as organizers, the Program Committee, and the presenters, will be proud to present.

Integrating PVS-Studio into uVision Keil

By Andrey Karpov | Aug 3, 2021 07:43 AM | Tags: uvision static analyzer sast pvs-studio null pointer dereference keil embedded devops bugs

I've been using this scenario until one day I spent 3 days debugging a very unpleasant bug. The bug kept savagely appearing from time to time. It turned out to be a banal null pointer dereference. I quickly realized that PVS-Studio detects this bug. That was the final nail in the coffin of my patience! – and started integrating PVS-Studio into Keil.

Integrating PVS-Studio into uVision Keil

by Amomum

From the article:

Keil provides a weird feature – creating a project batch file. I still don't know the purpose of this feature. This batch file contains all the necessary information for PVS-Studio, and it's enabled with a single check mark! Unfortunately, this check mark also breaks the incremental build. That is, any compilation becomes a complete recompilation. It affects the build time, so, unfortunately, it's not an option for us.

C++ developers conference C++ Russia is looking for speakers

By Anna Kurilo | Aug 2, 2021 01:02 PM | Tags: community

If you think that you have nothing to share with the audience, you might be wrong. Your professional experience could prove useful to colleagues from all over the world.

Call for papers for conference C++ Russia

by C++ Russia

About the call:

Feel free to share your ideas with us. We will help to prepare your performance.

Plus, as a speaker, you’ll get Full Pass, one ticket to all season’s conferences.

Call for papers is on up to the 13d September.