You can look at some programs with your mind, and tell quite clearly what they'll do.
You can't write a _program_ that will look at other programs, and always give a correct answer.