Method for the computer-assisted analysis of buggy source code in a hardware description language