RecPlay

Ronsse, Michiel; Bosschere, Koen De

doi:10.1145/312203.312214

Cited by 244 publications

(140 citation statements)

References 33 publications

Supporting

Mentioning

132

Contrasting

Unclassified

Order By: Relevance

“…Whenever a synchronization race in the master replica is decided, that same decision is imposed onto the slave. This is similar to techniques used for record/replay of multi-threaded applications [31], the difference being that in GHUMVEE all replicae run concurrently in lock step, rather than sequentially. We therefore don't have to store logs of the synchronization events.…”

Section: Multi-threading and Synchronizationmentioning

confidence: 93%

GHUMVEE: Efficient, Effective, and Flexible Replication

Volckaert

Sutter

Baets

et al. 2013

Foundations and Practice of Security

Self Cite

View full text Add to dashboard Cite

Abstract. We present GHUMVEE, a multi-variant execution engine for software intrusion detection. GHUMVEE transparently executes and monitors diversified replicae of processes to thwart attacks relying on a predictable, single data layout. Unlike existing tools, GHUMVEE's interventions in the process' execution are not limited to system call invocations. Because of that design decision, GHUMVEE can handle complex, multi-threaded real-life programs that display non-deterministic behavior as a result of non-deterministic thread scheduling and as a result of pointer-value dependent behavior. This capability is demonstrated on GUI programs from the Gnome and KDE desktop environments.

show abstract

Section: Multi-threading and Synchronizationmentioning

confidence: 93%

GHUMVEE: Efficient, Effective, and Flexible Replication

Volckaert

Sutter

Baets

et al. 2013

Foundations and Practice of Security

Self Cite

View full text Add to dashboard Cite

show abstract

“…Static analysis techniques addressing this issue include those based on type systems [6], model checking [16], and general program analysis [17]. There were also dynamic analysis techniques proposed like RecPlay [23] and Eraser [24] However, these techniques were subject to a significant number of false positives. In our approach, we cope with this issue by exploiting a probability score to rank the components instead of providing a binary decision.…”

Section: Related Workmentioning

confidence: 99%

Spectrum-Based Fault Localization for Diagnosing Concurrency Faults

Koca

Sözer

Abreu

2013

Testing Software and Systems

View full text Add to dashboard Cite

Abstract. Concurrency faults are activated by specific thread interleavings at runtime. Traditional fault localization techniques and static analysis fall short to diagnose these faults efficiently. Existing dynamic fault-localization techniques focus on pinpointing data-access patterns that are subject to concurrency faults. In this paper, we propose a spectrum-based fault localization technique for localizing faulty code blocks instead. We systematically instrument the program to create versions that run in particular combinations of thread interleavings. We run tests on all these versions and utilize spectrum-based fault localization to correlate detected errors with concurrently executing code blocks. We have implemented a tool and applied our approach on several industrial case studies. Case studies show that our approach can effectively and efficiently localize concurrency faults.

show abstract

“…Deterministic replay, the recording and replaying of a particular order of arbiter decisions (at particular local clock cycles), can be expensive. 9 For this reason, the CSAR approach incorporates monitors for nonintrusive observation of the SoC until a particular event of interest occurs. On this event, the distributed protocol-specific instrument (PSI) components enforce a particular local order of handshakes and, hence, arbitration interleavings.…”

Section: Csar Debug Approachmentioning

confidence: 99%