1. A computer-implemented method for static analysis of computer program code to detect errors in the computer program code, comprising: performing a static analysis of the computer program code without execution of the computer program code; identifying, without execution of the computer program code, one or more virtual function calls in the computer program code; and conducting, without execution of the computer program code, an error detection analysis of the computer program code based on implementations of the one or more virtual functions, wherein conducting, without execution of the computer program code, the error detection analysis of the computer program code comprises: for an object instance in the computer program code that includes one or more virtual function calls, determining, without execution of the computer program code, at least one possible runtime type (PRTT) for the object instance.