You may check the following resources for more projects and other information:
http://clang-analyzer.llvm.org: The Clang Static Analyzer project page.
http://clang-analyzer.llvm.org/checker_dev_manual.html: A useful manual with more information for those who want to develop new checkers.
http://lcs.ios.ac.cn/~xzx/memmodel.pdf: The paper A Memory Model for Static Analysis of C by Zhongxing Xu, Ted Kremenek, and Jian Zhang. It details theoretical aspects of the memory model that was implemented in the analyzer core.
http://clang.llvm.org/doxygen/annotated.html: The Clang doxygen documentation.
http://llvm.org/devmtg/2012-11/videos/Zaks-Rose-Checker24Hours.mp4: A talk explaining how to quickly build a checker, given by Anna Zaks and Jordan Rose, static analyzer developers, at the 2012 LLVM Developers' meeting.