Some Axioms and Issues in the UFO Dynamic Analysis Framework

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 2003
Accession Number
ADA488528

Entities

People

  • Clinton Jeffery
  • Mikhail Auguston

Organizations

  • New Mexico State University

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Application Software
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Detection
  • Event Detection
  • Instrumentation
  • Language
  • Military Research
  • Monitors
  • Programming Languages
  • Software Development
  • Transient Response Analysis
  • Virtual Machines

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Distributed Systems and Data Platform Development
  • Educational Psychology