A path sensitive analysis tool for detecting rule violations in C code - Ahmed Jabir B F (computer science,cusat, 2005)