<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
I am looking for some programs for performing empirical measurements
of a new method of static analysis for resolving virtual function
calls. My rough requirements are:<br>
<ul>
<li>The programs should be publicly available (the credibility
measurements on programs that they cannot see.</li>
<li>The programs should be real applications, preferably not very
large (say upto 20KLoC). <br>
</li>
<li>They should have a liberal use of virtual functions.<br>
</li>
<li>They should be compilable by gcc/g++.</li>
<li>They should have dependencies on special libraries or other
programs. The build progress should be simple. Ideally, the
usual sequence of `./configure' followed by 'make' should do the
trick.<br>
</li>
<li>They should be reasonably clean programs. Some C++ features
are compiled in an obscure manner by gcc/g++ and we seem to be
spending much more time in fighting the IRs produced by these
obscure compilations than in the actual problems at hand. Spec
benchmarks have troubled us a lot on this front.</li>
</ul>
<p>We are looking at the programs on sourceforge and github but
there are no easy ways of identifying such programs. Any
suggestions would be highly appreciated.<br>
</p>
Thanks and regards,<br>
<br>
Uday Khedker.<br>
<div class="moz-signature">-- <br>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<title>signature.html</title>
<hr style="width: 100%; height: 2px;">
<table width="100%" border="0" cellpadding="2" cellspacing="2">
<tbody>
<tr>
<td valign="top" width="50%">Dr. Uday Khedker, Professor<br>
Department of Computer Science & Engg.<br>
IIT Bombay, Powai, Mumbai 400 076, India.</td>
<td valign="top" align="right">
<table style="text-align: left; width: 550px;" border="0"
cellpadding="0" cellspacing="0">
<tbody>
<tr>
<td style="vertical-align: top;">Email :</td>
<td style="vertical-align: top;"> <a class="moz-txt-link-abbreviated" href="mailto:uday@cse.iitb.ac.in">uday@cse.iitb.ac.in</a></td>
</tr>
<tr>
<td style="vertical-align: top;">Homepage: </td>
<td style="vertical-align: top;"> <a class="moz-txt-link-freetext" href="http://www.cse.iitb.ac.in/~uday">http://www.cse.iitb.ac.in/~uday</a></td>
</tr>
<tr>
<td style="vertical-align: top;">Phone : </td>
<td style="vertical-align: top;"> 91 (22) 2572 2545
x 7717, 91 (22) 2576 7717 (Direct)</td>
</tr>
</tbody>
</table>
</td>
</tr>
</tbody>
</table>
<br>
</div>
</body>
</html>