<div dir="ltr"><span style="font-family:arial,sans-serif;font-size:13px">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</span><i style="font-family:arial,sans-serif;font-size:13px"> </i><span style="font-family:arial,sans-serif;font-size:13px">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.</span><div style="font-family:arial,sans-serif;font-size:13px">

<br></div><div style="font-family:arial,sans-serif;font-size:13px">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 style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">Any thoughts?</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">

Thanks,</div><div style="font-family:arial,sans-serif;font-size:13px">Aemon</div></div>