Could a computer program be used to automate testing for trapdoors? That is, could you design a computer program that would be given the source or object version of another program and a suitable description of that other program, and the first program would reply "yes" or "no" to show whether the second program had any trapdoors? Explain.