[cfe-dev] How to capture the initialization of function parameters in Clang Static Analyzer?

[Arthur Yoo]

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.

-- 
Best regards,
Arthur Yoo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20140522/f468a6af/attachment.html>