I know I am cutting a bit too close, but I would still appreciate it if you could review my proposal. @Xazax-hun Proposal
Hey,
I think there might be a misunderstanding what the Google Summer of Code project is about. The main goal is not to add annotations to the clang static analyzer (as in annotating the code), but to make the clang static analyzer use these annotations so the compiler can find more bugs in the analyzer code.
It seems I completely misunderstood the intent of the project. Then are we supposed to modify the static analysis engine?
I took a look at the readme again, it says to look at ExprEngine’s visitation logic to add support for C++ expressions, which is a part of static analysis engine.