Clang static analysis reading

Clang Static Analyzer
- http://clang-analyzer.llvm.org/
- Checker Developer Manual
  - http://clang-analyzer.llvm.org/checker_dev_manual.html
- Clang Static Analysis
  - Meeting C++ 2016; Gabor Horvath
  - https://www.youtube.com/watch?v=UcxF6CVueDM
- Clang Static Analyzer - A Checker Developer's Guide.
  - https://github.com/haoNoQ/clang-analyzer-guide
- Faster, Stronger C++ Analysis with the Clang Static Analyzer
  - 2018 LLVM Developers’ Meeting; George Karpenkov, Artem Dergachev
  - https://www.youtube.com/watch?v=4n3l-ZcDJNY
Clang-Tidy: Clang-based C++ “linter” tool
- http://clang.llvm.org/extra/clang-tidy/
- Clang-Tidy - KDAB
  - part 1: Modernize your source code using C++11/C++14 - https://www.kdab.com/clang-tidy-part-1-modernize-source-code-using-c11c14/
  - part 2: Integrate qmake and other build systems using Bear - https://www.kdab.com/clang-tidy-part-2-integrate-qmake-and-other-build-systems-using-bear/
- How to use Clang Tidy to automatically correct code
  - https://github.com/KratosMultiphysics/Kratos/wiki/How-to-use-Clang-Tidy-to-automatically-correct-code
- Intro to clang-tidy - C++ Weekly - Ep 3
  - https://www.youtube.com/watch?v=OchPaGEH4TE
Clang Thread Safety Analysis
- https://clang.llvm.org/docs/ThreadSafetyAnalysis.html
- C/C++ Thread Safety Analysis
  - DeLesley Hutchins, Aaron Ballman, Dean Sutherland
  - 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation
  - https://research.google/pubs/pub42958/
- Thread Safety Analysis in C and C++
  - https://insights.sei.cmu.edu/sei_blog/2014/10/thread-safety-analysis-in-c-and-c.html
- Thread Safety Annotations in Clang
  - DeLesley Hutchins
  - 2011 LLVM Developers' Meeting; https://llvm.org/devmtg/2011-11/Hutchins_ThreadSafety.pdf
  - https://www.youtube.com/watch?v=5Xx0zktqSs4

Tags: tool clang llvm native reading

Last modified 07 October 2024

Clang static analysis reading

Collections of projects and articles around Clang static analysis.