Comment by anthonypasq

no its not. there is nothing in the code that can tell you how the system was intended the work. The existence of a bug is by definition related to information that is not contained in the code. it is a mismatch between intent and what the code does.