<div dir="ltr">Maybe in checkPreCall() and checkPostCall().<div class="gmail_extra"><br><br><div class="gmail_quote">2014-05-22 11:10 GMT+08:00 Arthur Yoo <span dir="ltr"><<a href="mailto:phjy007@gmail.com" target="_blank">phjy007@gmail.com</a>></span>:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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><span class="HOEnZb"><font color="#888888"><div>
<br></div>-- <br><div dir="ltr">
<font color="#444444">Best regards,</font><div><font color="#444444">Arthur Yoo</font></div></div>
</font></span></div></div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr"><font color="#444444">Best regards,</font><div><font color="#444444">Arthur Yoo</font></div></div>
</div></div>