Accession Number:

ADA488528

Title:

Some Axioms and Issues in the UFO Dynamic Analysis Framework

Descriptive Note:

Conference paper

Corporate Author:

NEW MEXICO STATE UNIV LAS CRUCES DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

2003-05-01

Pagination or Media Count:

5.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE