<div dir="ltr">I'm working on my first Clang checker, and I would would like to setup initial state for the symbols referred to by a function's parameters. This is an<i> </i>intraprodedural analysis, and I want a clean slate for the analysis of each function body, with some initial conditions determined by annotations in the comments.<div>

<br></div><div>I'm not sure which Checker callback is appropriate for this. checkASTDecl<FunctionDecl> seems promising, but I don't get a CheckerContext in that callback.</div><div><br></div><div>Any thoughts?</div>

<div><br></div><div>Thanks,</div><div>Aemon</div></div>