Title:
|
DESIGNING AND IMPLEMENTING A MULTI-LAYER ARCHITECTURE FOR DYNAMIC AND INTERACTIVE PROGRAM ANALYSIS |
Author(s):
|
Andreas Andreou , Anastasis Sofokleous |
ISBN:
|
972-98947-3-6 |
Editors:
|
Nuno Guimarães and Pedro Isaías |
Year:
|
2004 |
Edition:
|
Single |
Keywords:
|
Program Analysis, Control Flow Graph, Static Analysis, Dynamic Analysis . |
Type:
|
Full Paper |
First Page:
|
1387 |
Last Page:
|
1395 |
Language:
|
English |
Cover:
|
|
Full Contents:
|
click to dowload
|
Paper Abstract:
|
This paper addresses certain critical aspects of static and dynamic program analysis. Significant problems still exist in several areas of program analysis that deal with the creation and presentation of the control flow graph, the initialization sequence, the support of large and complex programs in programming languages, the path extraction, the variable scope and the method identification. Our proposition involves a multi-layer architecture featuring runtime and non-runtime embedded cooperating modules that offer specific solutions to the aforementioned problems. One of the special features we describe is the dynamic creation of the control flow information, which interacts with the program transformation and program analysis. The proposed architecture is designed to support and promote scalability, applicability and usability, while it can prove useful in a wide range of aspects in the context of program analysis. |
|
|
|
|