Package splint

• splint(1) — A tool for statically checking C programs