How to capture the initialization of function parameters in Clang Static Analyzer?

Hi all,

Is there any way to capture the initialization of function parameters in Static Analyzer? For example:

/* example.c - begin */
int func(int a) {
return (a + 2);
}

int main() {
int x = 9;
x = func(x);
return 0;
}
/* example.c - end */

I want to capture the initialization of parameter *a*__*__ in *func() when calling it with the value of argument *x*.

Thanks a lot.

Maybe in checkPreCall() and checkPostCall().