Finding Bugs using Path-Sensitive Static Analysis Gábor Horváth Gabor.Horvath@microsoft.com @XazaxHunWelcome to CppCon 2021! Join #visual_studio channel on CppCon Discord https://aka.ms/cppcon/discord Kernels in Visual Studio Code – Julia Reid • Why does std::format do that? – Charlie Barto • Finding bugs using path-sensitive static analysis – Gabor Horvath (online 29th)Thanks!Fourier-Motzkin elimina

vNext after finishing C++2031 cxx20 Issues32 Pull Requests • GH-724 Fix boyer_moore_searcher • Fixed a 43-year-old bug by implementing a 40-year-old fix • Explained bug, fix, ABI, testing; others provided more info • GH-142 P0122R7 • 691 comments! • GH-1173 Fix ostr << flt precision • Fixed long-standing bugs while preserving ABI • Every PR is extensively reviewed by 2 maintainers • Keeps code Indefinite lifespan: old codebase, yet must keep evolving • Careful code review avoids regressions, new bugs • Especially important for binary compatibility • Codebase consistency is important, especially

strides66 std::span  Can be dynamic-sized (run time) or fixed-sized (compile time)  Examples: int data[42]; span a {data}; // fixed-size: 42 ints span b {data}; // dynamic-size:  Static initialization order fiasco  Variables with static storage and dynamic initializers  bugs due to undefined order of dynamic initializations  ❌  Static variables with constant initializers

decades • Support rich scheduling algorithm • Cons • Performance cost caused by conntrack • Some bugs How to optimize • Guidelines • Use less CPU instructions to process each packet • Don’t monopolize • Jobs https://careers.tencent.com/home.html Bugs solved – 1/2 • IPVS conn_reuse_mode=1 low cps Ip_vs_conn nf_conn New ip_vs_conn Bugs solved – 2/2 • DNS resolution delays for 5s Iptables

Use-after-move • Lifetime checking for coroutines Thu, Oct 28 – 4:45pm / Fri, Oct 29 – 12:00pm Finding bugs using path-sensitive static analysis Gabor Horvath – _3 Tue, Oct 26 – 3:15pm Static Analysis and Kernels in Visual Studio Code – Julia Reid • Why does std::format do that? – Charlie Barto • Finding bugs using path-sensitive static analysis – Gabor Horvath (online

Tokio Tokio's APIs are memory-safe, thread-safe, and misuse-resistant. This helps prevent common bugs, such as unbounded queues, buffer overflows, and task starvation. Reliable Building on top of Rust

Kernels in Visual Studio Code – Julia Reid • Why does std::format do that? – Charlie Barto • Finding bugs using path-sensitive static analysis – Gabor Horvath (online 29th)

How to Write Logic ➔ Docker compose, yaml configure file ➔ One command to boot up and deploy ➔ 5 fixed EightFish services + 1 your customized app services How to Test and Deploy subnode subxt proxy

wrong, and that many software acquisition problems spring from that fallacy • Hence they cannot be fixed without fundamental revision, one that provides for iterative development and specification of prototypes

to not move object. • The platform needs to provide a mechanism. • .NET has GCHandle and C# has fixed keyword. • Conforming JVM implementations have the option.Memory model Control of “shared” memory