Automated Software Debugging Using Hybrid Static/Dynamic Analysis