A tool for checking C coding conventions