<HTML><BODY style="word-wrap: break-word; -khtml-nbsp-mode: space; -khtml-line-break: after-white-space; "><DIV><BLOCKQUOTE type="cite"><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Sounds good! I'd like to see the code, even though I can't promise that</DIV><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">I'll do anything with it in the near term.</DIV></BLOCKQUOTE><DIV><BR class="khtml-block-placeholder"></DIV>OK. I've sent you the code in a separate email.</DIV><DIV><BR><BLOCKQUOTE type="cite"><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">I'd rather not depend on DSA in particular. If it could depend on</DIV><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">AliasAnalysis then it would grow stronger or weaker depending on what</DIV><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">aliasing analysis was loaded at the time. Are there any special features</DIV><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">of DSA that you're using?</DIV></BLOCKQUOTE></DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>I glanced at the code again, and it looks like I use DSA to (1) construct the call graph and (2) identify things that would be unsafe to put on the stack, such as arrays, cyclic data structures, and allocations with escaping references. Right now these parts are pretty heavily dependent on DSA -- e.g., they make explicit use of the various DSA graphs. I'm sure you could modify the code to use AliasAnalysis instead of DSA, but I'm not sure what would be involved in that.</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>Rob</DIV><BR><DIV> <P style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT face="Helvetica" size="3" style="font: 12.0px Helvetica">Robert L. Bocchino Jr.</FONT></P> <P style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT face="Helvetica" size="3" style="font: 12.0px Helvetica">Ph.D. Student</FONT></P> <P style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT face="Helvetica" size="3" style="font: 12.0px Helvetica">University of Illinois, Urbana-Champaign</FONT></P> </DIV><BR></BODY></HTML>