Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint.
K. Polanyi. Beacon Press, Boston, MA, 2nd Beacon paperback ed. edition, (2001)Originally published: New York : Farrar & Rinehart, 1944 and reprinted in 1957 by Beacon in Boston - Includes bibliographical references and index.