splint ("secure programming lint") is a lint implementation, i.e. a tool for statically checking C programs for security vulnerabilities and coding mistakes.
Consider writing implementation for some not-so-obvious algorithm in C. For example let it be recursive quicksort, that I have found …