Come up with a nice .splintrc that has helped me to fix a bug (config.h).
Finish splintrc