Results 1 - 10 of 54

Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript ABSTRACT

by Koushik Sen
"... JavaScript is widely used for writing client-side web applications and is getting increasingly popular for writing mobile applications. However, unlike C, C++, and Java, there are not that many tools available for analysis and testing of JavaScript applications. In this paper, we present a simple ye ..."
Abstract - Cited by 14 (4 self) - Add to MetaCart
yet powerful framework, called Jalangi, for writing heavyweight dynamic analyses. Our framework incorporates two key techniques: 1) selective record-replay, a technique which enables to record and to faithfully replay a user-selected part of the program, and 2) shadow values and shadow execution

R2: An application-level kernel for record and replay.

by Zhenyu Guo , Xi Wang , Jian Tang , Xuezheng Liu , Zhilei Xu , Ming Wu , M Frans Kaashoek , Zheng Zhang , Microsoft Research , Asia - In Proc. of OSDI, , 2008
"... ABSTRACT Library-based record and replay tools aim to reproduce an application's execution by recording the results of selected functions in a log and during replay returning the results from the log rather than executing the functions. These tools must ensure that a replay run is identical to ..."
Abstract - Cited by 71 (6 self) - Add to MetaCart
ABSTRACT Library-based record and replay tools aim to reproduce an application's execution by recording the results of selected functions in a log and during replay returning the results from the log rather than executing the functions. These tools must ensure that a replay run is identical

Reusable Execution Replay: Execution Record and Replay for Source Code Reuse

by Ameer Armaly, Collin Mcmillan
"... A key problem during source code reuse is that, to reuse even a small section of code from a program, a programmer must include a huge amount of dependency source code from elsewhere in the same program. These dependencies are no-toriously large and complex, and many can only be known at runtime. In ..."
Abstract - Add to MetaCart
. In this paper, we propose execution record/replay as a solution to this problem. We describe a novel reuse technique that allows programmers to reuse functions from a C or C++ program, by recording the execution of the program and selectively modifying how its functions are re-played. We have implemented our

MPSoC Zoom Debugging: A Deterministic Record-Partial Replay Approach

by Kiril Georgiev, Vania Marangozova-martin
"... Abstract—This work presents a debugging methodology for MPSoC based on deterministic record-replay. We propose a general model of MPSoC and define a debugging cycle targeting errors by applying temporal and spatial selection criteria. The idea behind spatial and temporal selection is to consider not ..."
Abstract - Add to MetaCart
Abstract—This work presents a debugging methodology for MPSoC based on deterministic record-replay. We propose a general model of MPSoC and define a debugging cycle targeting errors by applying temporal and spatial selection criteria. The idea behind spatial and temporal selection is to consider

Selective capture and replay of program executions

by Ro Orso, Bryan Kennedy - In Workshop on Dynamic Analysis (WODA , 2005
"... In this paper, we present a technique for selective capture and replay of program executions. Given an application, the technique allows for (1) selecting a subsystem of interest, (2) capturing at runtime all the interactions between such subsystem and the rest of the application, and (3) replaying ..."
Abstract - Cited by 59 (3 self) - Add to MetaCart
In this paper, we present a technique for selective capture and replay of program executions. Given an application, the technique allows for (1) selecting a subsystem of interest, (2) capturing at runtime all the interactions between such subsystem and the rest of the application, and (3) replaying

A Methodology for Testing Intrusion Detection Systems

by Nicholas J. Puketza, Kui Zhang, Mandy Chung, Biswanath Mukherjee, Ronald A. Olsson - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , 1996
"... Intrusion Detection Systems (IDSs) attempt to identify unauthorized use, misuse, and abuse of computer systems. In response to the growth in the use and development of IDSs, we have developed a methodology for testing IDSs. The methodology consists of techniques from the field of software testing wh ..."
Abstract - Cited by 78 (0 self) - Add to MetaCart
and enhancements that we have developed, including mechanisms for concurrent scripts and a record-and-replay ...

Selective Capture and Replay of Program Executions

by unknown authors
"... In this paper, we present a technique for selective capture and replay of program executions. Given an application, the technique allows for (1) selecting a subsystem of interest, (2) capturing at runtime all the interactions between such subsystem and the rest of the application, and (3) replaying ..."
Abstract - Add to MetaCart
In this paper, we present a technique for selective capture and replay of program executions. Given an application, the technique allows for (1) selecting a subsystem of interest, (2) capturing at runtime all the interactions between such subsystem and the rest of the application, and (3) replaying

Dynamic Verification of Hybrid Programs

by Wei-fan Chiang, Grzegorz Szubzda, Ganesh Gopalakrishnan
"... Hybrid (mixed MPI/thread) programs are extremely important for efficiently programming future HPC systems. In this paper, we report our experience adapting ISP [3,4,5], our dynamic verifier for MPI programs, to verify a large hybrid MPI/Pthread program called Eddy Murphi [1]. ISP is a stateless mode ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
model checker that works by replaying schedules leading up to previously recorded non-deterministic selection points, and pursuing new behaviors out of these points. The main difficulty we faced was the inability to deterministically replay up to these selection points because ISP instruments only

Toward Generating Reducible Replay Logs

by Kyu Hyung, Lee Yunhui, Zheng Nick, Sumner Xiangyu Zhang
"... Logging and replay is important to reproducing software failures and recovering from failures. Replaying a long execution is time consuming, especially when replay is further integrated with runtime techniques that require expensive instrumentation, such as dependence detection. In this paper, we pr ..."
Abstract - Add to MetaCart
propose a technique to reduce a replay log while retaining its ability to reproduce a failure. While traditional logging records only system calls and signals, our technique leverages the compiler to selectively collect additional information on the fly. Upon a failure, the log can be reduced by analyzing

Limiting Replay Vulnerabilities . . .

by He Yan, Eric Osterweil, Jon Hajdu, Jonas Acres, Dan Massey
"... The DNS Security Extensions (DNSSEC) added public key cryptography to the DNS, but problems remain in selecting signature lifetimes. A zone’s master server distributes signatures to secondary servers. The signatures lifetimes should be long so that a secondary server can still operate if the master ..."
Abstract - Add to MetaCart
fails. However, DNSSEC lacks revocation. Signed data can be replayed until the signature expires and thus zones should select a short signature lifetime. Operators must choose between reduced robustness or long replay vulnerability windows. This paper introduces a revised DNSSEC signature that allows
Results 1 - 10 of 54