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

kernel version 2.6.13 or higher for better perfor- mance. Note: Certain Linux kernel releases have bugs that prevent them from executing in a virtual environment; please see chapter 12.4.3, Buggy Linux guest clock behavior. Some of the problems may be caused by firmware and/or host operating system bugs. There- fore, updating the firmware and applying operating systems fixes is recommended. For optimal (see chapter 3.4, System settings, page 49). 12.4.3 Buggy Linux 2.6 kernel versions The following bugs in Linux kernels prevent them from executing correctly in VirtualBox, causing VM boot crashes: • The

kernel version 2.6.13 or higher for better perfor- mance. Note: Certain Linux kernel releases have bugs that prevent them from executing in a virtual environment; please see chapter 12.4.3, Buggy Linux guest clock behavior. Some of the problems may be caused by firmware and/or host operating system bugs. There- fore, updating the firmware and applying operating systems fixes is recommended. For optimal (see chapter 3.4, System settings, page 49). 12.4.3 Buggy Linux 2.6 kernel versions The following bugs in Linux kernels prevent them from executing correctly in VirtualBox, causing VM boot crashes: •

kernel version 2.6.13 or higher for better perfor- mance. Note: Certain Linux kernel releases have bugs that prevent them from executing in a virtual environment; please see chapter 12.4.3, Buggy Linux guest clock behavior. Some of the problems may be caused by firmware and/or host operating system bugs. There- fore, updating the firmware and applying operating systems fixes is recommended. For optimal (see chapter 3.4, System settings, page 49). 12.4.3 Buggy Linux 2.6 kernel versions The following bugs in Linux kernels prevent them from executing correctly in VirtualBox, causing VM boot crashes: •

kernel version 2.6.13 or higher for better perfor- mance. Note: Certain Linux kernel releases have bugs that prevent them from executing in a virtual environment; please see chapter 12.4.3, Buggy Linux guest clock behavior. Some of the problems may be caused by firmware and/or host operating system bugs. There- fore, updating the firmware and applying operating systems fixes is recommended. For optimal (see chapter 3.4, System settings, page 49). 12.4.3 Buggy Linux 2.6 kernel versions The following bugs in Linux kernels prevent them from executing correctly in VirtualBox, causing VM boot crashes: •

kernel version 2.6.13 or higher for better perfor- mance. Note: Certain Linux kernel releases have bugs that prevent them from executing in a virtual environment; please see chapter 12.4.3, Buggy Linux guest clock behavior. Some of the problems may be caused by firmware and/or host operating system bugs. There- fore, updating the firmware and applying operating systems fixes is recommended. For optimal (see chapter 3.4, System settings, page 49). 12.4.3 Buggy Linux 2.6 kernel versions The following bugs in Linux kernels prevent them from executing correctly in VirtualBox, causing VM boot crashes: •

kernel version 2.6.13 or higher for better perfor- mance. Note: Certain Linux kernel releases have bugs that prevent them from executing in a virtual environment; please see chapter 12.4.3, Buggy Linux guest clock behavior. Some of the problems may be caused by firmware and/or host operating system bugs. There- fore, updating the firmware and applying operating systems fixes is recommended. For optimal (see chapter 3.4, System settings, page 47). 12.4.3 Buggy Linux 2.6 kernel versions The following bugs in Linux kernels prevent them from executing correctly in VirtualBox, causing VM boot crashes: •

kernel version 2.6.13 or higher for better perfor- mance. Note: Certain Linux kernel releases have bugs that prevent them from executing in a virtual environment; please see chapter 12.4.3, Buggy Linux guest clock behavior. Some of the problems may be caused by firmware and/or host operating system bugs. There- fore, updating the firmware and applying operating systems fixes is recommended. For optimal (see chapter 3.4, System settings, page 47). 12.4.3 Buggy Linux 2.6 kernel versions The following bugs in Linux kernels prevent them from executing correctly in VirtualBox, causing VM boot crashes: •

kernel version 2.6.13 or higher for better perfor- mance. Note: Certain Linux kernel releases have bugs that prevent them from executing in a virtual environment; please see chapter 12.4.3, Buggy Linux guest clock behavior. Some of the problems may be caused by firmware and/or host operating system bugs. There- fore, updating the firmware and applying operating systems fixes is recommended. For optimal (see chapter 3.4, System settings, page 47). 12.4.3 Buggy Linux 2.6 kernel versions The following bugs in Linux kernels prevent them from executing correctly in VirtualBox, causing VM boot crashes: •

kernel version 2.6.13 or higher for better perfor- mance. Note: Certain Linux kernel releases have bugs that prevent them from executing in a virtual environment; please see chapter 12.4.3, Buggy Linux guest clock behavior. Some of the problems may be caused by firmware and/or host operating system bugs. There- fore, updating the firmware and applying operating systems fixes is recommended. For optimal (see chapter 3.4, System settings, page 46). 12.4.3 Buggy Linux 2.6 kernel versions The following bugs in Linux kernels prevent them from executing correctly in VirtualBox, causing VM boot crashes: • The