diff options
author | Kristof Umann <dkszelethus@gmail.com> | 2018-10-09 10:05:08 +0000 |
---|---|---|
committer | Kristof Umann <dkszelethus@gmail.com> | 2018-10-09 10:05:08 +0000 |
commit | bcb29651f5a7ba287eeb266355e265ded2d57ae4 (patch) | |
tree | 5e88aa94b794951e48ebc93c71b38cf1b0ca47fb /www | |
parent | 35559f112246d221a06fd00b9236898391c6e8ed (diff) | |
download | clang-bcb29651f5a7ba287eeb266355e265ded2d57ae4.tar.gz |
[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
Diffstat (limited to 'www')
-rw-r--r-- | www/analyzer/checker_dev_manual.html | 37 |
1 files 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: <ul> +<li><a href="http://lcs.ios.ac.cn/~xuzb/canalyze/memmodel.pdf">Xu, Zhongxing & +Kremenek, Ted & Zhang, Jian. (2010). A Memory Model for Static Analysis of C +Programs.</a></li> +<li><a href="https://github.com/llvm-mirror/clang/blob/master/lib/StaticAnalyzer/README.txt"> +The Clang Static Analyzer README</a></li> +<li><a href="https://github.com/llvm-mirror/clang/blob/master/docs/analyzer/RegionStore.txt"> +Documentation for how the Store works</a></li> +<li><a href="https://github.com/llvm-mirror/clang/blob/master/docs/analyzer/IPA.txt"> +Documentation about inlining</a></li> +<li> The "Building a Checker in 24 hours" presentation given at the <a +href="http://llvm.org/devmtg/2012-11">November 2012 LLVM Developer's +meeting</a>. Describes the construction of SimpleStreamChecker. <a +href="http://llvm.org/devmtg/2012-11/Zaks-Rose-Checker24Hours.pdf">Slides</a> +and <a +href="https://youtu.be/kdxlsP5QVPw">video</a> +are available.</li> +<li> +<a href="https://github.com/haoNoQ/clang-analyzer-guide/releases/download/v0.1/clang-analyzer-guide-v0.1.pdf"> +Artem Degrachev: Clang Static Analyzer: A Checker Developer's Guide +</a> (reading the previous items first might be a good idea)</li> +<li>The list of <a href="implicit_checks.html">Implicit Checkers</a></li> <li> <a href="http://clang.llvm.org/doxygen">Clang doxygen</a>. Contains up-to-date documentation about the APIs available in Clang. Relevant entries have been linked throughout this page. Also of use is the <a href="http://llvm.org/doxygen">LLVM doxygen</a>, when dealing with classes -from LLVM. +from LLVM.</li> <li> The <a href="http://lists.llvm.org/mailman/listinfo/cfe-dev"> cfe-dev mailing list</a>. This is the primary mailing list used for discussion of Clang development (including static code analysis). The <a href="http://lists.llvm.org/pipermail/cfe-dev">archive</a> also contains -a lot of information. -<li> The "Building a Checker in 24 hours" presentation given at the <a -href="http://llvm.org/devmtg/2012-11">November 2012 LLVM Developer's -meeting</a>. Describes the construction of SimpleStreamChecker. <a -href="http://llvm.org/devmtg/2012-11/Zaks-Rose-Checker24Hours.pdf">Slides</a> -and <a -href="https://youtu.be/kdxlsP5QVPw">video</a> -are available. -</ul> - -<h2 id=links>Useful Links</h2> -<ul> -<li>The list of <a href="implicit_checks.html">Implicit Checkers</a></li> +a lot of information.</li> </ul> </div> |