Ilyet viszont - ahol a programozótól várjuk el, hogy észnél legyen - C szinten is meg lehet csinálni: http://www.splint.org/