From bcb29651f5a7ba287eeb266355e265ded2d57ae4 Mon Sep 17 00:00:00 2001 From: Kristof Umann Date: Tue, 9 Oct 2018 10:05:08 +0000 Subject: [PATCH] [analyzer][www] Add more useful links Differential Revision: https://reviews.llvm.org/D52993 git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@344031 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/analyzer/checker_dev_manual.html | 37 +++++++++++++++++----------- 1 file changed, 23 insertions(+), 14 deletions(-) diff --git a/www/analyzer/checker_dev_manual.html b/www/analyzer/checker_dev_manual.html index 42919fa4de..7c03f78c4a 100644 --- a/www/analyzer/checker_dev_manual.html +++ b/www/analyzer/checker_dev_manual.html @@ -681,28 +681,37 @@ Here are some additional resources that are useful when working on the Clang Static Analyzer:

Xu, Zhongxing & +Kremenek, Ted & Zhang, Jian. (2010). A Memory Model for Static Analysis of C +Programs.
+The Clang Static Analyzer README
+Documentation for how the Store works
+Documentation about inlining
The "Building a Checker in 24 hours" presentation given at the November 2012 LLVM Developer's +meeting. Describes the construction of SimpleStreamChecker. Slides +and video +are available.
+ +Artem Degrachev: Clang Static Analyzer: A Checker Developer's Guide + (reading the previous items first might be a good idea)
The list of Implicit Checkers
Clang doxygen. Contains up-to-date documentation about the APIs available in Clang. Relevant entries have been linked throughout this page. Also of use is the LLVM doxygen, when dealing with classes -from LLVM. +from LLVM.
The cfe-dev mailing list. This is the primary mailing list used for discussion of Clang development (including static code analysis). The archive also contains -a lot of information. -
The "Building a Checker in 24 hours" presentation given at the November 2012 LLVM Developer's -meeting. Describes the construction of SimpleStreamChecker. Slides -and video -are available. -

- -

Useful Links

The list of Implicit Checkers

-- 2.50.1