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 the latest announcements Take our survey https://aka.ms/cppconAgenda • Intro to path-sensitive static analysis • Path-sensitive checks in MSVC • A look under the hood • Upcoming features • Lessons taking branch 3 • All warnings on infeasible paths are noise • Need info on the whole state! void path_sensitive(int *p, bool cond) { int var = 0; // branch 1 if (p != nullptr) { var =

be made to run, even though it does nothing useful • Bit-by-bit it is fleshed out • The morale effects are startling • Enthusiasm jumps when there is a running system, even a simple one • One always

include 功能 • 和 C/C++ 的 #include 一样， CMake 也有一个 include 命令。 • 你写 include(XXX) ，则他会在 CMAKE_MODULE_PATH 这个列表 中的所有路径下查找 XXX.cmake 这个文件。 • 这样你可以在 XXX.cmake 里写一些你常用的函数，宏，变量等。 十三、你知道吗？ CMake 也有 include 功能 功能 • 和 C/C++ 的 #include 一样， CMake 也有一个 include 命令。 • 你写 include(XXX) ，则他会在 CMAKE_MODULE_PATH 这个列表 中的所有路径下查找 XXX.cmake 这个文件。 • 这样你可以在 XXX.cmake 里写一些你常用的函数，宏，变量等。 macro 和 function 的区别 • macro 相当于直 e>*/ • /*/(lib/|lib*|share)/*/cmake/ • 其中 是变量 ${CMAKE_PREFIX_PATH} ， Windows 平台默认为 C:/Program Files 。 • 是你在 find_package( REQUIRED) 命令中指定的包名。 •

• 这是因为你的 dll 和 exe 不在同一目录。 Windows 比较蠢，他只会找当前 exe 所在目 录，然后查找 PATH ，找不到就报错。而你的 dll 在其他目录，因此 Windows 会找不到 dll 。 • 解决 1 ：把 dll 所在位置加到你的 PATH 环境变量里去，一劳永逸。 • 解决 2 ：把这个 dll ，以及这个 dll 所依赖的其他 dll ，全部拷贝到和 exe 上，也 要把所有的 \ 改成 / ，这是出于跨平台的考虑。请放心， CMake 会自 动在调用 MSVC 的时候转换成 \ ，你可以放心的用 ${x}/bin 来实现和 Python 的 os.path.join(x, ‘bin’) 一样的效果。 毕竟大多数操作系统都是 Unix-like 嘛……就 Windows 喜欢搞特殊 。 cd /d C:\\Program\ Files\ \(x86\)\\Microsoft\ CONFIG 选项。 这样他会优先查找 TBBConfig.cmake （系统自带的）而不是 FindTBB.cmake （项目作者常 把他塞在 cmake/ 目录里并添加到 CMAKE_MODULE_PATH ）。这样能保证寻找包的这个 .cmake 脚本是和系统自带的 tbb 版本是适配的，而不是项目作者当年下载的那个版本 的 .cmake 脚本。 当然，如果你坚持要用 find_package(TBB

\ --data-binary "@target/wasm32- unknown-unknown/release/examples/ $3.wasm" Mock rule based on path matching regex extern crate wapc_guest as guest; #[macro_use] extern crate wasm_mock_util; #[macro_use] HttpResponse, #[serde(rename = "res_b")] pub ResB: HttpResponse, #[serde(rename = "url_path")] pub UrlPath: String, } ResA: Response corresponding to unmodified request ResB: Response error{ … req_,err:=wasm.Invoke(ctx,req.url.path, req_payload) … req = req_ } ModifyResponse(res *http.Response) error{ … res_,err:=wasm.Invoke(ctx,res.url.path, req_payload) … res = res_ } Wasm mock

variable with std::move • Path-sensitive bounds checking • Use-after-move • Lifetime checking for coroutines Thu, Oct 28 – 4:45pm / Fri, Oct 29 – 12:00pm Finding bugs using path-sensitive static analysis Visual Studio Code – Julia Reid • Why does std::format do that? – Charlie Barto • Finding bugs using path-sensitive static analysis – Gabor Horvath (online

version Device name Application path https://appium.io/slate/en/master/?javascript#appium-server-capabilities Demo Ready To Execute Note: Device name App path $ npm run e2e -- --runType=android23

Post-route Iptables snat Conntrack Post-route Pre-route IPVS entry BPF SNAT IPVS mode data path IPVS-eBPF mode data path How eBPF does SNAT • Why does SNAT with eBPF • eBPF program is easy to deploy • How

auto& ent : filesystem::recursive_directory_iterator{"."}) { const string extension = ent.path().extension().string(); if (ranges::binary_search(skipped_extensions, extension)) { features • GH-39 P0896R4 • LWG issues track bugfixes in the Standard itself • GH-333 LWG-3070 path::lexically_relative • bug, performance, throughput, enhancement • Porting from Developer Community

IANA database. • The IANA tz database is actually shipped with Unix-like systems – the standard path of the data is /usr/share/zoneinfo • This is the case for Linux distributions, macOS, and some other Visual Studio Code – Julia Reid • Why does std::format do that? – Charlie Barto • Finding bugs using path-sensitive static analysis – Gabor Horvath (online 29th)