filmov
tv
2019 LLVM Developers’ Meeting: A. Dergachev “Developing the Clang Static Analyzer”
Показать описание
—
Developing the Clang Static Analyzer - Artem Dergachev
—
This tutorial is about getting around the internals of the static analyzer. You'll learn how to figure out what exactly is the static analyzer thinking when it analyzes any particular code. You'll learn how to debug false positives and other bugs in a methodical, principled manner. We'll show how the analyzer represents program behavior as a graph and walk through a few such graphs step-by-step and then see how to debug it further when we believe that anything about these graphs is incorrect.
This tutorial will be useful to anybody who wants to get involved in the development of the static analyzer, sub-project of LLVM that is both complex and also friendly to newcomers. The tutorial is a complement to the talk "How to Write a Checker in 24 Hours" from LLVM DevMtg'2012; here we will focus on getting started contributing to the analyzer core.
—
Developing the Clang Static Analyzer - Artem Dergachev
—
This tutorial is about getting around the internals of the static analyzer. You'll learn how to figure out what exactly is the static analyzer thinking when it analyzes any particular code. You'll learn how to debug false positives and other bugs in a methodical, principled manner. We'll show how the analyzer represents program behavior as a graph and walk through a few such graphs step-by-step and then see how to debug it further when we believe that anything about these graphs is incorrect.
This tutorial will be useful to anybody who wants to get involved in the development of the static analyzer, sub-project of LLVM that is both complex and also friendly to newcomers. The tutorial is a complement to the talk "How to Write a Checker in 24 Hours" from LLVM DevMtg'2012; here we will focus on getting started contributing to the analyzer core.
—
0:32:31
2019 LLVM Developers’ Meeting: A. Bradbury “Maturing an LLVM backend: Lessons learned from the...”...
0:20:43
2019 LLVM Developers’ Meeting: A. Kumar “Hot Cold Splitting Optimization Pass In LLVM”
0:30:05
2019 LLVM Developers’ Meeting: A. Ganea “Optimizing builds on Windows”
0:51:20
2019 LLVM Developers’ Meeting: M. Baumgärtner & D. Gribenko “My First Clang Warning”
1:09:15
2019 LLVM Developers’ Meeting: A. Warzynski “Writing an LLVM Pass: 101”
0:29:39
2019 LLVM Developers’ Meeting: M. Gottesman “Ownership SSA ”
0:19:53
2019 LLVM Developers’ Meeting: M. Paszkowski “LLVM-Canon: Shooting for Clear Diffs”
1:01:20
2019 LLVM Developers’ Meeting: E. Christopher & J. Doerfert “Introduction to LLVM”
0:05:24
2019 LLVM Developers’ Meeting: A. Kumar “-Wall Found Programming Errors and Engineering Effort ...”...
0:33:10
2019 LLVM Developers’ Meeting: J. Doerfert “The Attributor: A Versatile Inter-procedural Fixpoint..”...
0:25:58
2019 LLVM Developers’ Meeting: E. Schweitz “An MLIR Dialect for High-Level Optimization of Fortran ”...
0:30:58
2019 LLVM Developers’ Meeting: A. Bougacha & J. McCall “arm64e: An ABI for Pointer Authenticatio...
0:29:18
2019 LLVM Developers’ Meeting: “Transitioning the Networking Software Toolchain to Clang/LLVM”
1:00:53
2019 LLVM Developers’ Meeting: J. Doerfert “The Attributor: A Versatile Inter-procedural Fixpoint..&...
0:32:11
2019 LLVM Developers’ Meeting: Baumgärtner & Gribenko “How to write Beginner-Friendly, Inclusive...
0:29:01
2019 LLVM Developers’ Meeting: N. Licker “The clang constexpr interpreter”
1:01:45
2019 LLVM Developers’ Meeting: S. Haastregt & A. Stulova “An overview of Clang ”
0:57:38
2019 LLVM Developers’ Meeting: Homerding & Kruse “Getting Started with the LLVM Testing Infra..”...
1:02:40
2019 LLVM Developers’ Meeting: A. Dergachev “Developing the Clang Static Analyzer”
0:57:45
2019 LLVM Developers’ Meeting: J. Paquette & F. Hahn “Getting Started With LLVM: Basics”
0:44:47
2019 LLVM Developers’ Meeting: H. Finkel “Even Better C++ Performance and Productivity”
0:17:00
2019 LLVM Developers’ Meeting: D. Ferrer “LLVM-Reduce for testcase reduction”
0:50:57
2019 LLVM Developers’ Meeting: “The Loop Optimization Working Group ”
0:44:05
2019 LLVM Developers’ Meeting: V. Keles & D. Sanders “Generating Optimized Code with GlobalISel”...
Комментарии