National Technology & Engineering Solutions of Sandia, LLC

Patrick DeMoss

Lawrence P Ray

Lucas Leighton Nunno

Kenneth Michael Munoz

Thomas Anthony Artale

Bettina K Arpin

Aaron Easter

William Lawry

Amy Sundermier

David Karmol

Jamie L Coram

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.

Method for instruction sequence execution analysis and visualization

Growing community of inventors

Albuquerque, NM, United States of America

Patrick DeMoss