Hacker News
- Clang Static Analyzer and the Z3 constraint solver https://www.cambus.net/clang-static-analyzer-and-the-z3-constraint-solver/ 9 comments
- Clang Static Analyzer checker-268 adds interprocedural analysis for C++ and ObjC http://clang-analyzer.llvm.org/release_notes.html#checker_268 4 comments
- Clang Static Analyzer https://clang-analyzer.llvm.org 4 comments programming
- Clang's Static Analyzer and Automake http://blog.alexrp.com/2013/09/26/clangs-static-analyzer-and-automake/ 8 comments programming
- Detecting Uninitialized Variables in C++ with the Clang Static Analyzer https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4100 17 comments cpp
- How to Write a Checker in 24 Hours for CLang Static Analyzer http://llvm.org/devmtg/2012-11/zaks-rose-checker24hours.pdf 6 comments programming
- Scan build - integrating clangs static analyzer in your build http://clang-analyzer.llvm.org/scan-build.html 9 comments cpp
- How to deal with Clang Static Analyzer and Clang Tidy false positives https://github.com/ericsson/codechecker/blob/master/docs/false_positives.md 13 comments cpp
- Checking Wine with PVS-Studio and Clang Static Analyzer http://www.viva64.com/en/b/0272/ 5 comments linux
- Checking Wine with PVS-Studio and Clang Static Analyzer http://www.viva64.com/en/b/0272/ 3 comments programming
- Faster, Stronger C++ Analysis with the Clang Static Analyzer - 2018 LLVM Developers’ Meeting https://www.youtube.com/watch?v=4n3l-ZcDJNY 4 comments cpp
- In-development Cross Translation Unit analysis in the LLVM Clang Static Analyzer https://github.com/ericsson/clang/wiki/home 3 comments programming
- Static code analyzation based on Clang. I found 12 bugs in my OS X app using it. http://clang.llvm.org/staticanalysis.html 43 comments programming
- CodeChecker is an Awesome Front-End to Clang's Static Analyzer https://www.lukas-barth.net/blog/codechecker-clang-analyzer/ 10 comments cpp
- When MySQL Cluster Encounters Taint Analysis: Finding bugs in MySQL using the Clang Static Analyzer and CodeQL tools https://www.zerodayinitiative.com/blog/2022/2/10/mindshare-when-mysql-cluster-encounters-taint-analysis 2 comments reverseengineering
- SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer [abstract + link to 4-page PDF] https://arxiv.org/abs/1810.12041 3 comments compsci