NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Instrumentation of Java Bytecode for Runtime AnalysisThis paper describes JSpy, a system for high-level instrumentation of Java bytecode and its use with JPaX, OUT system for runtime analysis of Java programs. JPaX monitors the execution of temporal logic formulas and performs predicative analysis of deadlocks and data races. JSpy s input is an instrumentation specification, which consists of a collection of rules, where a rule is a predicate/action pair The predicate is a conjunction of syntactic constraints on a Java statement, and the action is a description of logging information to be inserted in the bytecode corresponding to the statement. JSpy is built using JTrek an instrumentation package at a lower level of abstraction.
Document ID
20030071151
Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Goldberg, Allen (NASA Ames Research Center Moffett Field, CA, United States)
Haveland, Klaus (NASA Ames Research Center Moffett Field, CA, United States)
Date Acquired
September 7, 2013
Publication Date
January 1, 2003
Subject Category
Computer Programming And Software
Report/Patent Number
NAS2-00065
Meeting Information
Meeting: Formal Techniques for Java-like Programs
Location: Unknown
Country: Unknown
Start Date: July 1, 2003
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available