Szelethus created this revision. Szelethus added reviewers: NoQ, george.karpenkov, xazax.hun, dcoughlin. Herald added subscribers: cfe-commits, mikhail.ramalho, a.sidorin, rnkovacs, szepet, whisperity.
This bothered me for a while, but finding literature about static analysis is very difficult. Do you know any other links that would be great to add? Repository: rC Clang https://reviews.llvm.org/D52993 Files: www/analyzer/checker_dev_manual.html Index: www/analyzer/checker_dev_manual.html =================================================================== --- www/analyzer/checker_dev_manual.html +++ www/analyzer/checker_dev_manual.html @@ -702,6 +702,19 @@ <h2 id=links>Useful Links</h2> <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> +<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> </ul>
Index: www/analyzer/checker_dev_manual.html =================================================================== --- www/analyzer/checker_dev_manual.html +++ www/analyzer/checker_dev_manual.html @@ -702,6 +702,19 @@ <h2 id=links>Useful Links</h2> <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> +<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> </ul>
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
