This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Fully flow and context sensitive points-to analysis in GCC 4.6.0


Somewhere it is mentioned that heap is handled conservatively. Does it
mean the algorithm can not disambiguate heap objects all all, or it
can but does not track pointer values stored in heap objects?

How about field sensitivity? For many programs (mostly C++ ones), this
is very important.

For CS, virtual calls in C++ will be one of the the biggest
challenges. How is that dealt with? It can be combined with type
propagation/analysis.

thanks,

David

On Wed, Oct 10, 2012 at 10:56 AM, Uday P. Khedker <uday@cse.iitb.ac.in> wrote:
>
> We have designed and implemented a fully flow and context sensitive
> points-to analysis in gcc-4.6.0. For simplicity, we have made a dynamic
> plugin available at http://www.cse.iitb.ac.in/grc/index.php?page=l-fcpa.
> This page also provides an overview of the method, and links to the paper,
> slides, and instructions on how to use the plugin. Our method questions the
> conventional wisdom that precise flow and context sensitive pointer
> information is prohibitively large and hence we cannot hope to compute it
> efficiently. We show that the actual usable information is rather small and
> sparse and hence an increase in precision actually improves the efficiency
> too, rather than worsen it.
>
> Needless to say, precise pointer information is critical for the
> effectiveness of almost all analyses and optimizations in any compiler. Now
> that we have some ray of hope of precise points-to analysis in GCC, we would
> like to invite collaboration from like minded people. There is a lot of work
> that needs to be done further; some details of future work are available on
> the given URL and we will be happy to provide more information to the
> interested people.
>
> Looking forward to hearing from people who would like to contribute to this
> important project.
>
> Thanks and regards,
>
> Uday Khedker.
> --
> Dr. Uday Khedker
> Professor
> Department of Computer Science & Engg.
> IIT Bombay, Powai, Mumbai 400 076, India.
> Email   :       uday@cse.iitb.ac.in
> Homepage:       http://www.cse.iitb.ac.in/~uday
> Phone   :
> Office -        91 (22) 2572 2545 x 7717, 91 (22) 2576 7717 (Direct)
> Res.   -        91 (22) 2572 2545 x 8717, 91 (22) 2576 8717 (Direct)
>
>
>
>
> --
> ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
> Dr. Uday Khedker
> Professor
> Department of Computer Science & Engg.
> IIT Bombay, Powai, Mumbai 400 076, India.
> Email   :       uday@cse.iitb.ac.in
> Homepage:       http://www.cse.iitb.ac.in/~uday
> Phone   :
> Office -        91 (22) 2572 2545 x 7717, 91 (22) 2576 7717 (Direct)
> Res.   -        91 (22) 2572 2545 x 8717, 91 (22) 2576 8717 (Direct)
>
>


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]