I believe that Splint does not analyse properties that are undecidable. Detecting whether a loop is infinite is undecidable in general. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20081124/96b9fcc5/attachment.html