Studio Agenda 1. Conformance 2. Code Safety 3. Cross-platform development 4. Developer and Team Productivity Visual Studio Agenda 1. Conformance 2. Code Safety 3. Cross-platform development 4. Developer 🐱‍🏍�C++23 with /std:c++latest Visual Studio Visual Studio Agenda 1. Conformance 2. Code Safety 3. Cross-platform development 4. Developer and Team Productivity Static Analysis ✴ New and improved path-sensitive static analysis Gabor Horvath – _3 Tue, Oct 26 – 3:15pm Static Analysis and Program Safety in C++: Making it Real Sunny Chatterjee – _2 Address Sanitizer /fsanitize=address support in MSVC

13 May 11 Jun 08 Jul 13 Aug 10 Sep 14 Oct 12 Nov 09 Dec 1416 Why calendrical types? Type Safety The “simple” calendrical types (e.g., day, month, year) are very straightforward – what’s the as the day and 28 as the year in the implementation! Have these “simple” types improves type safety as we can make sure we are interpreting these values as the appropriate type.17 Why calendrical Concepts and Ranges – Sy Brand & Christopher Di Bella (Google) • Static Analysis and Program Safety in C+ +: Making it Real – Sunny Chatterjee • In-memory and Persistent Representations of C++ –

Senders Receive Receivers Channel/Queue DLB-Assist Channel removes the penalty of CAS to achieve a safety-guaranteed, lock-free and scalable channel. Intel Confidential Department or Event Name 12 Intel 12 DLB-Assist Channel Overview Hardware-Direct offloading • Can’t carry generic type • Escape safety track Message-Ownership Tracking • Takes message's ownership • Avoid message being dropped.

safe language But, like C/C++, Rust is also an unsafe language There are guaranteed memory safety, thread safety, ... There are plenty of unsafe codes in Rust’s standard library. use after free data

dereference • more to come.. Flow-sensitive • Coroutine lifetime checks • Most of CppCoreChecks • Pointer safety analysis • Ownership analysis • Lifetime analysis (preview) • more to come…Looking under the hood Concepts and Ranges – Sy Brand & Christopher Di Bella (Google) • Static Analysis and Program Safety in C+ +: Making it Real – Sunny Chatterjee • In-memory and Persistent Representations of C++ –

undeclare_reachable()  declare_no_pointers()  undeclare_no_pointers()  get_pointer_safety()  enum pointer_safety  Available since C++11  Not aware of any use of this API  Removed from C++23105

fc::make(3, 17, 8)(); • Non-trivial types • Multiple arrays • Correct alignment • Exception safety • Allocators • Customizable handles • More…Thank you! Twitter: @brenorg brenorg@gmail.com https://github

platforms is increasingly gaining attention from developers. With its impressive performance, memory safety, and concurrency features, Rust has become an ideal choice for building high-performance mobile

for systems programming Rust is a multi-paradigm programming language focused on performance and safety, especially safe concurrency. empty • vmm-vcpu: a hypervisor-agnostic abstraction for Virtual CPUs

Blazingly fast and memory-efficient • No runtime or garbage collector Reliability • Guaranteed memory safety • “Fearless Concurrency” Productivity • Modern development tools • Lots of amazing libraries Rust