<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div>Hello,</div>
<br>
<div>I know there is an option to limit the maximum number of ExplodedNode's, in case the symbolic execution path is getting out of the hands. I tried to increase the limit so that the analyzer can reflect the error context (i.e., stack frame) better, but I
turns out this option not necessarily guarantees the extended stack frame context, while the analysis time gets severely delayed.</div>
<br>
<div>What I want to propose here is that, instead of arbitrary limiting the number of nodes, limiting the minimum and maximum stack depth of a certain path could enable more accurate analysis (in terms of its error 'context'), while still restricting its resource
consumption (including time).</div>
<br>
<div>I suppose this is not at all a simple idea (as the error context is unknown before stumbling upon an error while the stack depth is widely varying), I post it here just so that anyone having any idea can propose something when he/she reads this and thinks
it's a neat idea.</div>
<br>
<div>Thank you,</div>
<div>Gwangmu Lee.</div>
<br>
<div><signature id="initial">
<table cellpadding="0" cellspacing="0">
<tbody>
<tr>
<td style="vertical-align:top"></td>
<td>
<div><b>Gwangmu Lee</b></div>
<div>Ph.D. Student</div>
<div style="font-size:0.9em;border-top:1px solid gray;min-width:250px;max-width:300px;margin-top:4px;padding-top:4px">
<div>
<div>+82) 10 4114 7441</div>
<div>Room 615, Bldg 301, Gwanak-ro 1, Gwanak-gu, Seoul, South Korea.</div>
<div><a href="https://link.getmailspring.com/link/7FA96A4B-9CA1-4D33-A75C-C319101053C6@getmailspring.com/0?redirect=http%3A%2F%2Fcompsec.snu.ac.kr%2F~gwangmu&recipient=Y2ZlLWRldkBsaXN0cy5sbHZtLm9yZw%3D%3D">http://compsec.snu.ac.kr/~gwangmu</a></div>
<div></div>
</div>
</div>
</td>
</tr>
</tbody>
</table>
</signature></div>
<img class="mailspring-open" alt="Sent from Mailspring" width="0" height="0" style="border:0; width:0; height:0;" src="https://link.getmailspring.com/open/7FA96A4B-9CA1-4D33-A75C-C319101053C6@getmailspring.com?recipient=Y2ZlLWRldkBsaXN0cy5sbHZtLm9yZw%3D%3D">
</body>
</html>