Some axioms and issues in the UFO dynamic analysis framework
MetadataShow full item record
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.
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.