+
+ Yes. Many of the program properties that Splint checks are undecidable. This means that any static analysis tool that can be run on real programs will either produce false positives or false negatives. Because
+of this and to improve efficiency, Splint makes some simplifying assumptions. This means
+that Splint will occasionally produce spurious warnings or miss real errors.<br />
+
+However, often spurious errors can be fixed by adding additional annotations.<br />