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 | 1c9870cf139e10e6fd5558aa7ac1aad9831ba60d (patch) | |
| tree | c4e30f8fc509e9cc06fc51fb2614dd9ce894a380 /clang/www | |
| parent | c92e4f35fd4e9ebdca5d0742fe45f779e4c879b1 (diff) | |
[analyzer][www] Add more useful links
Differential Revision: https://reviews.llvm.org/D52993
llvm-svn: 344031
Diffstat (limited to 'clang/www')
| -rw-r--r-- | clang/www/analyzer/checker_dev_manual.html | 37 |
1 files changed, 23 insertions, 14 deletions
diff --git a/clang/www/analyzer/checker_dev_manual.html b/clang/www/analyzer/checker_dev_manual.html index 42919fa4de21..7c03f78c4abc 100644 --- a/clang/www/analyzer/checker_dev_manual.html +++ b/clang/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> |