Some axioms and issues in the UFO dynamic analysis framework
Loading...
Authors
Jeffery, Clinton
Auguston, Mikhail
Subjects
Advisors
Date of Issue
2003-05
Date
May 3-11, 2003
Publisher
Language
Abstract
UFO is a framework for constructing dynamic analysis tools that require varying degrees of access and control over program executions. UFO combines run time and post-mortem techniques to perform required analyses. Declarative and imperative notations are provided for constructing monitors at appropriate semantic levels. Multiple analyses can be bundled into a given monitor, and multiple monitors can be applied to a given target program execution. This paper presents the central tenets of UFO, along with our current set of research challenges.
Type
Conference Paper
Description
In the Proceedings of Workshop on Dynamic Analysis, ICSE'03, 25th International Conference on Software Engineering, Portland, Oregon, May 3-11, 2003, pp.45-48.
Series/Report No
Department
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
in the Proceedings of Workshop on Dynamic Analysis, ICSE’03, 25th International Conference on
Software Engineering, Portland, Oregon, May 3-11, 2003, pp.45-48
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined
in Title 17, United States Code, Section 101. As such, it is in the
public domain, and under the provisions of Title 17, United States
Code, Section 105, is not copyrighted in the U.S.