| 摘要 |
<p>A data-dependent analysis assistance device: for all pointers used in a program, performs context-sensitive pointer analysis and computes pointer information; for an area for analysis and for all program lines that could be called when the area for analysis is executed, performs context-sensitive data flow analysis using the context-sensitive pointer information; computes program line-to-program line data flow information; and, using the data flow information, computes area-to-area data-dependent information in two or more threaded areas contained in a source program.</p> |
