Static analysis is almost never done on source level AST. Compilers already have intermediate representations (usually CFG) which are much more amenable for st

Static analysis is almost never done on source level AST. Compilers already have intermediate representations (usually CFG) which are much more amenable for static analysis. Also, C++ has all of these and there are several static analyzers for C++.