1. A computer-implemented method for detecting errors in computer program code, comprising: identifying one or more virtual function calls in the computer program code; conducting an error detection analysis of the computer program code based on implementations of the one or more virtual functions.