<div dir="ltr">
















<p class="MsoNormal">Hi all,</p>

<p class="MsoNormal">I want to get the MemRegion representing an index of an
array in my checker. For example:</p>

<p class="MsoNormal">1 void func() {</p>

<p class="MsoNormal">2     int a, b,
arr[10][10];</p>

<p class="MsoNormal">3     a = 2;</p>

<p class="MsoNormal">4     b = 3;</p>

<p class="MsoNormal">3    arr[a][1] = 3;</p>

<p class="MsoNormal">4 }</p>

<p class="MsoNormal"> </p>

<p class="MsoNormal">In the CheckLocation() method for checking the store
operation at line 3 ‘<i>arr[a][1] = 3;</i>’,
I want to get the MemRegion and SVal of variable <i>a</i>, which is the index of the array. Is there any way to get the
corresponding MemRegion and SVal of variable <i>a. </i></p>

<p class="MsoNormal">My previous mail post on a related problem is <a href="http://lists.cs.uiuc.edu/pipermail/cfe-dev/2014-April/036205.html">http://lists.cs.uiuc.edu/pipermail/cfe-dev/2014-April/036205.html</a>.
Unfortunately, there was no reply or solution. In fact, this problem has
trapped me for several weeks. So I really need help.</p>

<p class="MsoNormal">Any help would be greatly appreciated.</p>

<div><br></div>-- <br><div dir="ltr"><font color="#444444">Best regards,</font><div><font color="#444444">Arthur Yoo</font></div></div>
</div>