Oliver Braunsdorf via llvm-dev
2017-Mar-10 16:40 UTC
[llvm-dev] flow-sensitive alias analysis
Hi, I am looking for some flow-sensitive (context-insensitive) alias analysis algorithm implemented in LLVM. (I use LLVM 3.9, hope to switch to 4.0 soon.) As far as I know, none of the built-in analysis (basicAA, globals-modref, andersAA, etc.) is intended to be flow-sensitive. So I searched and came across these two 1. https://github.com/unsw-corg/SVF by Yulei Sui (for LLVM 3.8) 2. http://www.cs.ucsb.edu/~benh/research/downloads.html by Ben Hardekopf (for LLVM 2.5) Are there other implementations which use the AA-Interface? Giving a little context, I need some functionality in LLVM that answers the following question. For a given argument of a call instruction in the cfg: Where does the value of the argument come from at the call site? So I guess I need a flow-sensitive alias analysis, right? Could someone please guide me a little? Thank you, Oliver
> For a given argument of a call instruction in the cfg: Where does thevalue of the argument come from at the call site? GVN may tell you the values. I'm not sure why you would need flow sensitive alias analysis for this. -Kevin On Fri, Mar 10, 2017 at 8:40 AM, Oliver Braunsdorf via llvm-dev < llvm-dev at lists.llvm.org> wrote:> Hi, > > I am looking for some flow-sensitive (context-insensitive) alias > analysis algorithm implemented in LLVM. (I use LLVM 3.9, hope to switch > to 4.0 soon.) > As far as I know, none of the built-in analysis (basicAA, > globals-modref, andersAA, etc.) is intended to be flow-sensitive. So I > searched and came across these two > > 1. https://github.com/unsw-corg/SVF by Yulei Sui (for LLVM 3.8) > 2. http://www.cs.ucsb.edu/~benh/research/downloads.html by Ben Hardekopf > (for LLVM 2.5) > > Are there other implementations which use the AA-Interface? > > Giving a little context, I need some functionality in LLVM that answers > the following question. > For a given argument of a call instruction in the cfg: Where does the > value of the argument come from at the call site? > > So I guess I need a flow-sensitive alias analysis, right? > Could someone please guide me a little? > > > Thank you, > > Oliver > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170310/329d9edf/attachment.html>
Andrey Bokhanko via llvm-dev
2017-Mar-11 19:11 UTC
[llvm-dev] flow-sensitive alias analysis
Perhaps by "value" you mean points-to set? Either way, flow-sensitivity can only give you more precise -- but still not necessarily exact -- answers. Yours, Andrey ==Compiler Architect NXP On Fri, Mar 10, 2017 at 6:39 PM, Flamedoge via llvm-dev < llvm-dev at lists.llvm.org> wrote:> > For a given argument of a call instruction in the cfg: Where does the > value of the argument come from at the call site? > > GVN may tell you the values. I'm not sure why you would need flow > sensitive alias analysis for this. > > -Kevin > > On Fri, Mar 10, 2017 at 8:40 AM, Oliver Braunsdorf via llvm-dev < > llvm-dev at lists.llvm.org> wrote: > >> Hi, >> >> I am looking for some flow-sensitive (context-insensitive) alias >> analysis algorithm implemented in LLVM. (I use LLVM 3.9, hope to switch >> to 4.0 soon.) >> As far as I know, none of the built-in analysis (basicAA, >> globals-modref, andersAA, etc.) is intended to be flow-sensitive. So I >> searched and came across these two >> >> 1. https://github.com/unsw-corg/SVF by Yulei Sui (for LLVM 3.8) >> 2. http://www.cs.ucsb.edu/~benh/research/downloads.html by Ben Hardekopf >> (for LLVM 2.5) >> >> Are there other implementations which use the AA-Interface? >> >> Giving a little context, I need some functionality in LLVM that answers >> the following question. >> For a given argument of a call instruction in the cfg: Where does the >> value of the argument come from at the call site? >> >> So I guess I need a flow-sensitive alias analysis, right? >> Could someone please guide me a little? >> >> >> Thank you, >> >> Oliver >> _______________________________________________ >> LLVM Developers mailing list >> llvm-dev at lists.llvm.org >> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev >> > > > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev > >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170311/899c4af0/attachment.html>