1. A program analyzing apparatus comprising: an error determination condition extractor recognizing an error process portion of a program and extracting a condition which causes the error process to be executed; and a conditional expression/restricting condition converter analyzing an output of said error determination condition extractor and obtaining restricting conditions of variables used in the program.