filmov
tv
2023 EuroLLVM - Using the Clang data-flow framework for null-pointer analysis
Показать описание
2023 European LLVM Developers' Meeting
------
Using the Clang data-flow framework for null-pointer analysis
Speaker: Viktor Cseh
------
-----
In late 2021 a new data-flow analysis framework was introduced into the Clang analysis tooling, enabling reasoning about program states the symbolic execution engine of the Clang Static Analyzer had difficulty deducing. In this talk, we summarize our experience with the data-flow framework through the lens of implementing a Clang-Tidy checker using null-pointer analysis. We discuss various approaches we tested to encode pointer values within the framework, their performance and limitations, and best practices and common pitfalls we encountered while implementing checkers using the framework.
-----
------
Using the Clang data-flow framework for null-pointer analysis
Speaker: Viktor Cseh
------
-----
In late 2021 a new data-flow analysis framework was introduced into the Clang analysis tooling, enabling reasoning about program states the symbolic execution engine of the Clang Static Analyzer had difficulty deducing. In this talk, we summarize our experience with the data-flow framework through the lens of implementing a Clang-Tidy checker using null-pointer analysis. We discuss various approaches we tested to encode pointer values within the framework, their performance and limitations, and best practices and common pitfalls we encountered while implementing checkers using the framework.
-----
0:17:21
0:24:01
0:49:02
0:21:59
0:04:58
0:45:17
0:20:11
0:20:23
0:21:05
0:07:54
0:04:15
0:09:41
0:43:42
0:10:09
0:21:15
0:23:57
0:08:59
0:24:18
0:57:27
0:53:35
0:21:52
0:05:00
0:05:06
0:05:28