Skip to main content
OSTI.GOVU.S. Department of Energy Office of Scientific and Technical Information
U.S. Department of Energy
Office of Scientific and Technical Information
 

Method for instruction sequence execution analysis and visualization

Patent ·
OSTI ID:1478644
; ; ; ; ; ; ; ; ; ;

Various technologies pertaining to computer-executable instruction sequence forensics are described herein. In a general embodiment, an application development framework supports a function library that includes a plurality of recording functions. Calls to these functions are inserted into source code or bytecode of the computer-executable instruction sequence. The source code is then compiled, resulting in formation of instrumented machine code of the computer-executable instruction sequence. Alternately, the runtime environment interprets instrumented bytecode for the instruction sequence. A processor executes the machine code, and the called functions cause the processor to generate forensic data pertaining to portions of the computer-executable instruction sequence that correspond to locations in the source code where the calls were inserted. An execution instance of the computer-executable instruction sequence is visualized based upon the forensic data.

Research Organization:
Sandia National Laboratories (SNL), Albuquerque, NM, and Livermore, CA (United States)
Sponsoring Organization:
USDOE
DOE Contract Number:
AC04-94AL85000
Assignee:
National Technology & Engineering Solutions of Sandia, LLC (Albuquerque, NM)
Patent Number(s):
10,073,764
Application Number:
14/812,842
OSTI ID:
1478644
Country of Publication:
United States
Language:
English

References (8)

SYNCTRACE: Visual thread-interplay analysis conference September 2013
Operation behavior modeling using relation identification and visualization algorithms conference August 2013
MosaiCode: Visualizing large scale software: A tool demonstration conference September 2011
Visualizing Multiple Program Executions to Assist Behavior Verification
  • Zhao, Chunying; Zhang, Kang; Hao, Jie
  • 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI) https://doi.org/10.1109/SSIRI.2009.26
conference July 2009
Visualization and Analysis of Parallel Dataflow Execution with Smart Traces conference August 2014
Algorithm explorer: visualizing algorithms in a 3D multimedia environment conference January 2007
Exploiting UML dynamic object modeling for the visualization of C++ programs conference January 2005
Visualization of exception handling constructs to support program understanding conference January 2008

Similar Records

Related Subjects