filmov
tv
CppCon 2018: Anna Gringauze “Static analysis for concurrent C++ in Visual Studio”
Показать описание
—
—
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.
—
Anna Gringauze
Senior Software Engineerining Manager, Microsoft
Static analysis, windsurfing, formal verification, cats, security, sailing, lengths of formal proofs, music
—
*-----*
*-----*
—
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.
—
Anna Gringauze
Senior Software Engineerining Manager, Microsoft
Static analysis, windsurfing, formal verification, cats, security, sailing, lengths of formal proofs, music
—
*-----*
*-----*
0:24:04
CppCon 2018: Anna Gringauze “Static analysis for concurrent C++ in Visual Studio”
0:26:55
Funqual: user-defined statically-checked call graph constraints in C++ - Andrew Nelson [CppCon 2018]
0:54:53
C++Now and CppCon, the View From Inside - Robin Kuzmin - C++Now 2019
0:40:35
Talks and Highlights From CppCon 2018!
1:00:35
CppCon 2017 Bringing Clang tidy Magic to Visual Studio C++ Developers
0:04:20
Feedback on practical use of C++17 std::recursive_directory_iterator - Noel Tchidjo [ CppCon 2018 ]
1:00:39
Closing the Gap between Rust and C++ Using Principles of Static Analysis - Sunny Chatterjee - CppCon
0:58:52
CppCon 2018: Juan Pedro Bolivar Puente “The Most Valuable Values”
0:56:01
How Can I Enforce the SEI CERT C Coding Standard Using Static Analysis?
0:27:39
Using clang as a Frontend on a Formal Verification Tool
0:36:15
Things I learned from the static analyzer - Bart Verhagen - Meeting C++ 2019
1:00:35
CppCon 2017: Victor Ciura “Bringing Clang-tidy Magic to Visual Studio C++ Developers”
1:32:49
Committee Fireside Chat - CppCon 2019
0:40:55
Luke Valenty - High-Performance Message Dispatch in C++ - emBO++ 2023
1:00:28
Improving software quality using Visual Studio 11 C++ Code Analysis
1:24:12
Static Program Analysis (part 2/2) - Anders Møller - PLISS 2019
0:39:59
Golang UK Conference 2017 | Takuya Ueda - Static Analysis in Go
0:17:23
Your first time creating C/C++ project with SciTools Understand. Help is here!
0:17:57
C4GC: CoreCpp: Mar18
0:05:56
Code Analysis (Visual Studios)
0:08:31
Cppcheck Nhóm 12
0:34:09
FSTTCS2019 S005 Validating Optimizations of Concurrent C/C++ Programs
![C++ Bonus [018]](https://i.ytimg.com/vi/rp8BmXh19Cg/hqdefault.jpg)
0:06:36
C++ Bonus [018] - CppCheck
0:02:42
Visual Studio Code Analysis Part 1
Комментарии