Tools have been created to help programmers C to avoid some of the problems received from source languages, such as statements with indefinite behaviour or statements which are not good practice because they, more possibly, will lead to inadvertent behaviour or errors in execution time.



The automated check of the source text and audit are favourable in any language, and for programming language C there are many such tools, such as Lint. Usual practice should use Lint to detect the doubtful code when the program at first is written. As soon as the program passes Lint, it then is collected, using compiler C. Besides, the majority of compilers can warn any way about syntactically real constructions which, possibly, actually will be errors. MISRA C is a making component of sets of supervising principles to avoid such doubtful code developed for nested systems.


There are also compilers, libraries and mechanisms of level of the operating system to fulfil set of limitations of check, buffer detection of overflow, serialising and an automatic collection of garbage which are not standard part C.


Tools which clear, Valgrind, and link with the libraries containing special versions of cumulative distribution functions of memory, can help to open memory errors in execution time.



Cproto - the program which reads source file C and makes pre-production models of all functions within a source file. This program can be used in connection with the becoming command to create the new files containing pre-production models each time when the source file has been changed. These files of a pre-production model can be switched on an original source file (for example, as "filename.p") which reduces problems of holding definitions of function and source files in the agreement.