<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br><div><div>On Oct 17, 2013, at 5:20 PM, lian li <<a href="mailto:lianli@gmail.com">lianli@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">Hi All,<br><br>This is Lian Li from Oracle Labs in Brisbane Australia.<br><br>We have developed a precise and highly efficient pointer analysis<br>framework on top of LLVM, The approach is flow, context, and field<br>sensitive, details are described in the two papers below:<br><br>"Boosting the performance of flow-sensitive points-to analysis using<br>value flow" (in ESEC-FSE 2011), and<br>"Precise and scalable context-sensitive pointer analysis via value<br>flow graph" (in ISMM 2013).<br><br>The analysis was initially developed for the purpose of bug checking,<br>and is now extended to support compiler optimizations. We have tested<br>it with existing compiler optimizations in LLVM, and have seen<br>promising results.<br><br>We are now considering to make this analysis available to the LLVM<br>community, and contribute resources for future maintenance needs,<br>provided that there is enough interest. We think that a new precise<br>pointer analysis in LLVM can enable more new optimization and analysis<br>techniques to be developed in LLVM.<br><br>Any people interested in seeing a new precise pointer analysis in LLVM?<br></div></blockquote></div><br><div>This sounds very interesting. Even if it isn't fast enough to be used with (for example) clang -O2 or -O3, having such a precise analysis would be a great baseline for doing other alias analysis work.</div><div><br></div><div>Are you interested in contributing this to LLVM itself, or just asking if people would be interested to see the code in some other form?</div><div><br></div><div>-Chris</div></body></html>