As far as I know, there are some academic works on pointer analysis (alias analysis) implementations open source on LLVM. Some are flow-insensitive and some are flow-sensitive.<br>For example: <a href="http://www.cs.ucsb.edu/~benh/downloads.html">http://www.cs.ucsb.edu/~benh/downloads.html</a><br>

<br>As I remembered, there exists Andersens alias analysis in LLVM-2.5 lib/Analysis/IPA/Andersens.cpp, which has been removed in later LLVM versions for some buggy problems. You may have a try the old versions.<br><br>Lei Shang<br>

<br><br><br><div class="gmail_quote">2011/11/4 Gan <span dir="ltr"><<a href="mailto:george.gan@gmail.com">george.gan@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

Hi John,<br>
<br>
Thank you for your reply! Please see my other questions below:<br>
<div class="im"><br>
> DSA is a unification-based points-to analysis.  The interface to use it as<br>
> an AliasAnalysis pass was removed since no one was using it and it was<br>
> probably buggy.<br>
<br>
</div>- When you say "it was probably buggy", what is buggy? the<br>
"interface", or the AliasAnalysis?<br>
<br>
I'm so surprise that no one is using it.<br>
<div class="im"><br>
> There are currently two routes for re-adding it.  One is to<br>
> review and fix up a patch that was submitted earlier this year.  The other<br>
> approach is to rewrite the code from scratch.  The former approach may be<br>
> easier, but I don't know how well the code would work in practice.  The<br>
> latter approach could be easily done using some code that we wrote (and<br>
> could probably distribute if someone wants to tackle this problem).<br>
<br>
</div>I can see that you like the latter approach. Let me think whether I<br>
have time to do it.<br>
<br>
Do you have any plan to integrate DSA into LLVM mailine, say the 3.0 release?<br>
I learned from your previous emails that you are working on this goal.<br>
What is the<br>
current status?<br>
<br>
Thank you again for your reply!<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Best Regards<br>
<br>
Gan<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
</div></div></blockquote></div><br>