Description: Linux under the code-checking tools, splint, with the pclint, is a very good code review tool. There is an example.
To Search:
File list (Check if you may need any files):
splint\null_dereferences.c
......\undefined_values.c
......\abstract_type.c
......\mstring.h
......\warning.c
......\types.c
......\undefined.c
splint
Download