S. Karthik H. G. Jayakumar Static Analysis: C Code Error Checking for Reliable and Secure Programming. 434-439 2005 conf/wec/2005prague IEC (Prague) db/conf/wec/iec2005prague.html#KarthikJ05