<div dir="ltr">

<p class="MsoNormal"><span style="mso-ansi-language:EN-US" lang="EN-US">Dear all,</span></p><p class="MsoNormal"><span style="mso-ansi-language:EN-US" lang="EN-US"><br></span></p>

<p class="MsoNormal" style="text-align:justify"><span style="mso-ansi-language:EN-US" lang="EN-US">I would like to ask whether there exists an implementation
for intra-procedural Interval analysis in SOOT framework, where for every
variable a lower and an upper bound for its possible values are tracked. I cannot
find it in </span><span style="mso-fareast-font-family:&quot;Times New Roman&quot;;
mso-bidi-font-family:&quot;Times New Roman&quot;;mso-ansi-language:EN-US;mso-fareast-language:
DA" lang="EN-US">soot.toolkits.scalar.ForwardFlowAnalysis. Maybe the closest to it is Parity
Analysis. <br></span></p><p class="MsoNormal" style="text-align:justify"><span style="mso-fareast-font-family:&quot;Times New Roman&quot;;
mso-bidi-font-family:&quot;Times New Roman&quot;;mso-ansi-language:EN-US;mso-fareast-language:
DA" lang="EN-US"><br></span></p>

<p class="MsoNormal" style="text-align:justify"><span style="mso-fareast-font-family:&quot;Times New Roman&quot;;mso-bidi-font-family:&quot;Times New Roman&quot;;
mso-ansi-language:EN-US;mso-fareast-language:DA" lang="EN-US">You can also refer to me some
other similar </span><span style="mso-ansi-language:EN-US" lang="EN-US">intra-procedural</span><span style="mso-fareast-font-family:&quot;Times New Roman&quot;;mso-bidi-font-family:
&quot;Times New Roman&quot;;mso-ansi-language:EN-US;mso-fareast-language:DA" lang="EN-US"> analysis
that tracks for each variable property from some very rich lattice (with large
height).</span></p>

<p class="MsoNormal" style="text-align:justify"><span style="mso-fareast-font-family:&quot;Times New Roman&quot;;mso-bidi-font-family:&quot;Times New Roman&quot;;
mso-ansi-language:EN-US;mso-fareast-language:DA" lang="EN-US"><br></span></p><p class="MsoNormal" style="text-align:justify"><span style="mso-fareast-font-family:&quot;Times New Roman&quot;;mso-bidi-font-family:&quot;Times New Roman&quot;;
mso-ansi-language:EN-US;mso-fareast-language:DA" lang="EN-US">Thank you in advance,</span></p>

<p class="MsoNormal" style="text-align:justify"><span style="mso-fareast-font-family:&quot;Times New Roman&quot;;mso-bidi-font-family:&quot;Times New Roman&quot;;
mso-ansi-language:EN-US;mso-fareast-language:DA" lang="EN-US">Aleksandar Dimovski</span></p>

</div>