<div dir="ltr">Hi Jordan,<div><br></div><div>For the 'array index problem', maybe I have  come up with a solution. And I have implemented it and tested it with tiny test cases. The solution is mainly based on the GDM of ProgramState, and it is compatible with my whole design. Regardless of the potential storage problem, it seems that it can work. </div>
<div><br></div><div>However, for the 'pointer problem' described in my previous post mails, I have no good idea currently. So could you provide me some solutions or hints? However, I think that I can still use the GDM to track all of the relationships between pointers and their pointees , which is very similar with the solution above.</div>
<div class="gmail_extra"><div class="gmail_quote"><br></div><div class="gmail_quote">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>