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)
