Code Analysis++
summary
Survey of what actually works now and what’s experimental: the talk lists concrete tool coverage (Clang/clang-tidy, clang-format, CLion, ReSharper C++, MSVC), shows lifetimes implemented in CLion and MSVC and global data‑flow analysis in CLion, explains clang‑tidy extensibility and CTU tradeoffs, cites partial MISRA/AUTOSAR rule sets rolling into IDEs, and notes formatting/version friction with clang‑format; watch if needing practical checklist of which analyzers catch dangling pointers, undefined behavior, and guideline checks today.
AI-written summary · about
chapters (19)
- 0:00Introduction
- 2:52Software Equality
- 7:54Developer Frustration
- 11:07Language Frustration
- 13:12Undefined Behavior
- 17:01Lifetime Safety
- 19:59Source Location
- 26:39Tooling
- 30:31Compiler Errors
- 32:19Lifetimes
- 34:54Data Flow Analysis
- 36:22Global Data Flow Analysis
- 38:25CrossTranslation Unit Analysis
- 40:09Simplest Query Guidelines
- 49:05Misra
- 50:39C format
- 51:46Naming
- 52:37Syntax Style
- 54:01Questions
related talks
51mCode Analysis ++
52m“Tools from the C++ eco-system to save a leg”
01h 05mImprove your code with Clang Tooling
29mUsing the Clang developer tools
48mTooling Intuition
01h 00mAdvanced Tools for Better Productivity
01h 01mBetter Tools in Your Clang Toolbox
01h 32mClosing Keynote: C++ Development Tools: Past, Present and Future