<div dir="ltr">> <span style="font-size:12.8px">For a given argument of a call instruction in the cfg: Where does the</span><br style="font-size:12.8px"><span style="font-size:12.8px">value of the argument come from at the call site?<br><br>GVN may tell you the values. I'm not sure why you would need flow sensitive alias analysis for this.</span><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">-Kevin</span></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Mar 10, 2017 at 8:40 AM, Oliver Braunsdorf via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
I am looking for some flow-sensitive (context-insensitive) alias<br>
analysis algorithm implemented in LLVM. (I use LLVM 3.9, hope to switch<br>
to 4.0 soon.)<br>
As far as I know, none of the built-in analysis (basicAA,<br>
globals-modref, andersAA, etc.) is intended to be flow-sensitive. So I<br>
searched and came across these two<br>
<br>
1. <a href="https://github.com/unsw-corg/SVF" rel="noreferrer" target="_blank">https://github.com/unsw-corg/<wbr>SVF</a> by Yulei Sui (for LLVM 3.8)<br>
2. <a href="http://www.cs.ucsb.edu/~benh/research/downloads.html" rel="noreferrer" target="_blank">http://www.cs.ucsb.edu/~benh/<wbr>research/downloads.html</a> by Ben Hardekopf<br>
(for LLVM 2.5)<br>
<br>
Are there other implementations which use the AA-Interface?<br>
<br>
Giving a little context, I need some functionality in LLVM that answers<br>
the following question.<br>
For a given argument of a call instruction in the cfg: Where does the<br>
value of the argument come from at the call site?<br>
<br>
So I guess I need a flow-sensitive alias analysis, right?<br>
Could someone please guide me a little?<br>
<br>
<br>
Thank you,<br>
<br>
Oliver<br>
______________________________<wbr>_________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-dev</a><br>
</blockquote></div><br></div>