Static Analysis : C Code Error Checking for Reliable and Secure Programming

common programming and security flaws using static analysis of the C source code. These flaws may be serious errors or simple ones caused by programmer's carelessness and most of them may not be detected by the compilers. Manual reviewing of code for errors may take a lot of time especially if the code is big and it will also be very expensive, also simple flaws maybe overlooked .In this paper we present our techniques for automated error checking of C source code using static analysis.