Comment by dnautics

You can perform static analysis outside of the compiler without putting things in the type system?

C is a bad language to do this with for various reasons, but as a simple example:

    char* buf = malloc(SIZE);
    free(buf);
    free(buf);

There is absolutely no reason why static analysis should not be able to see what the problem is here.