Svadev mailing list

[Vikram Adve <vadve AT illinois.edu>]

I'm forwarding this message to two other students in CS 526 who wanted to use 
DSA for pointer analysis, as well.

Prakalp, Haichuan: Please send any questions to 
svadev@cs.

--Vikram
Professor, Computer Science
University of Illinois at Urbana-Champaign
http://llvm.org/~vadve




Begin forwarded message:

> From: Matthew Wala 
> <wala1 AT illinois.edu>
> Date: April 27, 2012 11:35:26 AM CDT
> To: "Luo, Qingzhou" 
> <qluo2 AT illinois.edu>
> Cc: "Lin, Yu" 
> <yulin2 AT illinois.edu>,
>  
> "svadev AT cs.uiuc.edu"
>  
> <svadev AT cs.uiuc.edu>
> Subject: Re: [svadev] About DSA alias analysis
> 
> Hi,
> 
> One way to do this is by using the DSNodeEquivs class which is
> declared in poolalloc/include/assistDS/. This class computes the
> equivalence classes of DSNodes across the whole program, so if you
> query it and find that two values belong in DSNodes of different
> equivalence classes, you know they don't alias. If you're interested
> in using this, there is a slight modification that you need to perform
> to make the analysis sound (namely merging the classes of incomplete
> DSNodes). I have code that does this already so email me if you're
> interested.
> 
> Matt
> 
> On Thu, Apr 26, 2012 at 3:23 PM, Luo, Qingzhou 
> <qluo2 AT illinois.edu>
>  wrote:
>> Hi,
>> 
>> Prof. Vikram Adve mentioned there's an inter-procedural alias analysis in
>> poolalloc. I'm wondering could anyone please point me to some
>> examples/materials of how to use this analysis in LLVM, and what kind of
>> queries it could answer?
>> 
>> Thank you very much,
>> 
>> Regards,
>> 
>> Qingzhou
>> 
>> _______________________________________________
>> svadev mailing list
>> svadev AT cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/svadev
>> 
> _______________________________________________
> svadev mailing list
> svadev AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/svadev