<div dir="ltr">Hi all,<div><br></div><div>Is there any way to capture the initialization of function parameters in Static Analyzer? For example: </div><div><br></div><div>/* example.c - begin */</div><div>int func(int a) {</div>
<div>    return (a + 2);</div><div>}</div><div><br></div><div>int main() {</div><div>    int x = 9;</div><div>    x = func(x);</div><div>    return 0;</div><div>}</div><div>/* example.c - end */<br></div><div><br></div><div>
I want to capture the initialization of parameter `<i>a</i><b><i>`</i></b> in `<i>func()`</i> when calling it with the value of argument `<i>x</i>`.<br clear="all"><div>Thanks a lot.</div><div><br></div>-- <br><div dir="ltr">
<font color="#444444">Best regards,</font><div><font color="#444444">Arthur Yoo</font></div></div>
</div></div>