
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">

<HTML>

<HEAD>

<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">

<META NAME="Generator" CONTENT="MS Exchange Server version 6.5.7653.38">

<TITLE>Re: [splint-discuss] How to control infinite Loop?</TITLE>

</HEAD>

<BODY>

<!-- Converted from text/rtf format -->


<P><FONT SIZE=2 FACE="Arial">I believe that Splint does not analyse properties that are undecidable. Detecting whether a loop is infinite is undecidable in general.</FONT></P>


</BODY>

</HTML>