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

[Arthur Yoo]

Maybe in checkPreCall() and checkPostCall().


2014-05-22 11:10 GMT+08:00 Arthur Yoo <phjy007 at gmail.com>:

> 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
>



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