A bug is a defect. A defect is a deviation from the intended meaning of the program. To automatically detect that, you will need a formal specification of the meaning of the program.

It's the automated programming paradox. You can't automate programming because you have to tell the automaton what to program... which is called programming.