Integrating Static and Dynamic Analysis Techniques for Detecting Dynamic Errors in MPI Programs