vbvictor wrote:

> Should I close this PR, and open a new one when I'm ready with the CSA 
> checker?

To keep everything organized, I'd suggest creating a new branch for CSA checker 
and close this PR (you can always reopen it later).

For the CSA part, you can start by reading [this developer 
guide](https://clang-analyzer.llvm.org/checker_dev_manual.html) (probably a bit 
outdated?). This [original white 
paper](https://lcs.ios.ac.cn/~xzx/memmodel.pdf) is very helpful in 
understanding the core principles of the CSA and how it all started. [haoNoQ's 
guide](https://github.com/haoNoQ/clang-analyzer-guide) gives excellent 
practical description of how to write checkers and what functions the CSA has.


https://github.com/llvm/llvm-project/pull/130421
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to