1. An analysis system comprising: processing circuitry having an analysis information generator configured to generate first trace information and second trace information, wherein the first trace information and the second trace information include type information that indicates a type of the execution, and generate trace correspondence information that indicates a correspondence between the first trace information and first program information and a correspondence between the second trace information and second program information, the first program information and the second program information being source codes or assembly codes; a trace difference information generator configured to generate trace difference information for each type of the execution indicated by the type information, wherein the trace difference information indicates a difference between the first trace information and the second trace information; 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 analyzer configured to analyze a correspondence between the trace difference information and the program difference information based on the trace correspondence information, wherein the correspondence is analyzed for each type of the execution; and a display information generator configured to generate display information for displaying the correspondence between the trace information and the program difference information in a manner associated with at least one of the first program information and the second program information, and output the display information for each type of the execution, wherein the first trace information provides a description of an execution at particular timing while a first program is being executed, based on the first program information, and the second trace information that provides a description of an execution at particular timing while a second program is being executed based on second program information.