<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=koi8-r">
<style type="text/css" style="display:none"><!-- p { margin-top: 0px; margin-bottom: 0px; }--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<p>Hi, community!<br>
</p>
<p><br>
</p>
<p>A quick question.<br>
</p>
<p><br>
</p>
<p>Is CSA Core able to analyze the code after some indefinite loop?<br>
</p>
<p>E.g.<br>
</p>
<div><span style="font-family: Consolas, monospace; font-size: 9pt;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;">void f(int x)</span></span></span></span></div>
<div><span style="font-family: Consolas, monospace; font-size: 9pt;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;">{</span></span></span></span><br style="font-family: Consolas, monospace;">
</span></div>
<div><span style="font-family: Consolas, monospace; font-size: 9pt;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;"> int
i = 0;</span></span></span></span><br style="font-family: Consolas, monospace;">
</span></div>
<div><span style="font-family: Consolas, monospace; font-size: 9pt;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;"> while(i < x)</span></span></span></span></div>
<div><span style="font-size: 9pt;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;"> i++;</span></span><br style="font-family: Consolas, monospace;">
</span></div>
<div><span style="font-family: Consolas, monospace; font-size: 9pt;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;"> //
Interested in some code here!!</span></span></span></span><br style="font-family: Consolas, monospace;">
</span></div>
<div><span style="font-family: Consolas, monospace; font-size: 9pt;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;">}</span></span></span></span><br>
</div>
<p><br>
</p>
<p>I found that Exploded graph grows going through the loop 4 times and then stops to analyze the code further.<br>
</p>
<p>P.S. I know about -<span style="color: rgb(36, 41, 46); font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; font-size: 12px; white-space: pre; background-color: rgb(255, 255, 255);">analyzer-max-loop</span>(4).<br>
</p>
<div id="Signature">
<div name="divtagdefaultwrapper" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:; margin:0">
<hr>
<div><b>Denys Petrov</b></div>
<div>Senior ó++ Developer | Kharkiv, Ukraine</div>
<div><br>
</div>
<div></div>
</div>
</div>
</body>
</html>