Loading…
CppCon 2018 has ended
View analytic
Thursday, September 27 • 15:15 - 15:45
ConcurrencyCheck - Static Analyzer for Concurrency Issues in Modern C++

Sign up or log in to save this to your schedule and see who's attending!

Ever wondered if there is an easier way to find a race or deadlock in multi-threaded code?

This talk presents the ideas and design behind ConcurrencyCheck, a static analysis tool that finds data races, deadlocks, uses of stale data, and other mistakes in concurrent C++ code. ConcurrencyCheck is the replacement for the LocalEspC analysis tool in Visual Studio, and complements the annotation-based approach with a built-in understanding of standard library types and standard idioms such as RAII. While ConcurrencyCheck currently works with the MSVC compiler, the approach is generally applicable and could be ported to other compilers and static analysis frameworks.

Speakers
avatar for Anna Gringauze

Anna Gringauze

Senior Software Engineerining Manager, Microsoft
Static analysis, windsurfing, formal verification, cats, security, sailing, lengths of formal proofs, music


Thursday September 27, 2018 15:15 - 15:45
Copper Mountain Theater (2nd Floor)

Attendees (188)