1. An analysis system comprising: an input unit configured to receive a program; an analysis information generator configured to generate program information from information required in executing the program, generate trace information that provides a description of an execution at particular timing while the program is being executed, based on the program information, and generate trace correspondence information that indicates a correspondence relation between the trace information and the program information based on the trace information and the program information; a trace difference information generator configured to generate trace difference information that indicates a difference between first trace information and second trace information, the first trace information being generated by the analysis information generator based on first program information generated by the analysis information generator, the second trace information being generated by the analysis information generator based on second program information generated by the analysis information generator; a program difference information generator configured to generate program difference information that indicates a difference between the first program information and the second program information; a correspondence relation analyzer configured to analyze a correspondence relation between the trace difference information, the program difference information, the first program information, and the second program information based on the trace correspondence information; and a display information generator configured to generate display information for displaying the correspondence relation in a manner associated with at least one of the first program information and the second program information.