<div dir="ltr">Hi,<div><br></div><div>I am re-sending the question I asked under a different thread so that the subject is more relevant to the topic.</div><div><br></div><div>I did not quite realize it earlier but it seems that the static analyzer unrolls a loop up to a certain number of times and then stops exploring paths beyond that. In the checker I have written, I get the message "Block count exceeded" and then state exploration stops. As a result, my checker give false positives and does not achieve what it sets out to do.</div><div><br></div><div>I understand that handling loops is a difficult problem, but is there a work-around available, perhaps, even some source annotation from the user?</div><div><br></div><div>Also, would it not be possible to re-start exploration after the loop if there is some code independent of the loop computation. I understand that this independent flow would eventually merge with the computation in the loop in some manner (otherwise the loop computation would probably have been "dead"), but, even then, it may be possible to so some useful analysis with the "independent" code.</div><div><br></div><div>Finally, I understand that the checkers have been used with "realistic" test cases. I am curious, how did they work if the test cases had loops in them?</div><div><br></div><div>Thanks.</div><div><br></div><div>Regards,</div><div>Venugopal Raghavan.</div></div>