<div dir="ltr">
















<p class="MsoNormal">Hi all,</p><p class="MsoNormal"><br></p>

<p class="MsoNormal"><i>ProgramStates</i> are
immutable. Every <i>ExplodedNode</i> has its
<i>ProgramPoint</i> and <i>ProgramState</i>. If the source code file is very very large, does the
Analyzer can hold all of the <i>PopgramStates</i>
for all paths? </p><p class="MsoNormal"><br></p>

<p class="MsoNormal">In addition, I found it is strange when Analyzer evaluating
‘+=’ for some cases. My test codes are like below:</p>

<p class="MsoNormal"><i>po = &obj;</i></p>

<p class="MsoNormal"><i>a = 8;</i></p>

<p class="MsoNormal"><i>a += po;</i></p>

<p class="MsoNormal">In my test, evaluating ‘<i>a += po</i>’ makes the Analyzer crash. However, if I try to evaluate
the codes below, the Analyzer doesn’t crash. </p>

<p class="MsoNormal"><i>po = &obj;</i></p>

<p class="MsoNormal"><i>a = 8;</i></p>

<p class="MsoNormal"><i>a = a + po;</i></p>

<p class="MsoNormal">So how can I solve this problem? Thanks a lot.</p>

<div><br></div>-- <br><div dir="ltr"><font color="#444444">Best regards,</font><div><font color="#444444">Arthur Yoo</font></div></div>
</div>