Clang Static Analyzer-使用手册-基于AST的Checkers

很多简单的Check可以通过查看程序语法树和捕获不需要的代码模式来实现，不使用CSA的path-sensitive engine的Checker很快，而且通常会有一个很高的正报几率，但是只能捕获非常有限的一些问题

AST visitors和AST matchers：

基于AST的check不是Clang Static Analyzer的强项，如果只用基于AST的信息，那么可以用基于clang的任何工具来配合

在官方的CSA里有一些基础AST的check，但是通常基于AST的checker会转到用clang-tidy 工具

另外，在path-sensitive引擎中用基于AST的check不常见，以便于