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 <u...@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 : u...@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 : u...@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) > >
