Detecting type errors and secure coding in C/C++ applications. - Hamid Mcheick; Heni Dhiab; Mohamad Dbouk; Rakan Mcheik (AICCSA, 2010)