1. A method for statically analyzing program correctness for a dynamic programming language, comprising: receiving executable code for a program written in the dynamic programming language; identifying a program method called in the executable code, wherein the called program method includes one or more instructions that are not resolved until a run-time of the program; and determining if the called program method is implemented for the executable code, said determining including identifying a first set of one or more program methods which are implemented in the executable code and libraries of executable code associated with the executable code; identifying a second set of one or more program methods which are called within the executable code comparing the first set of program methods and the second set of program methods; and identifying one or more program methods in the second set of program methods that are not contained in the first set of program methods; wherein if the called program method is not implemented in the executable code, signaling an error that the called program method is not implemented for the executable code prior to the run-time by signaling the error for the one or more program methods that are called but not implemented.