Static Analysis: C Code Error Checking for Reliable and Secure Programming. - S. Karthik; H. G. Jayakumar (IEC (Prague), 2005)