Data dependency analysis support device, data dependence analysis support program, and data dependency analysis supporting method

摘要

Data dependency analysis support apparatus, for all the pointers used in the program, calculates the pointer information by performing context-sensitive pointer analysis, likely to be called when the analysis target area and the analysis target area is performed for all of the statements that performs context-sensitive data flow analysis using a context sensitive pointer information, it calculates the data flow information in sentences, using the data flow information, two or more contained in the source program In the threaded area of, and calculates the data dependency information between the regions.