Short answer: No. The original "lint" was developed many decades ago. The problem is that C just doesn't provide enough type information to really do this pro

Short answer: No. The original "lint" was developed many decades ago. The problem is that C just doesn't provide enough type information to really do this properly. For example, there's no difference between "pointer to one stand-alone object", "pointer to beginning of an array (and here is its size)", and "pointer to an object within an array (and here is its size)". For many academics this is a "solved" problem - just use almost any language except C, C++, Forth, and assembly. There were solutions to these problems before C was created. Of course, out here in the real world there are large existing C programs that no one is going to convert, and there are reasons people write new C code today.