Remote Concolic Multiverse Debugging (Artifact)

Abstract

This artifact accompanies our work "Remote Concolic Multiverse Debugging". In this work we present a novel multiverse debugger capable of effectively pruning redundant paths from the state space to reduce the effect of state explosion. This is accomplished by leveraging the power of concolic execution which is able to reduce the number of paths while ensuring full code coverage. Additionally, this work uses a trace-based approach which significantly reduces the overhead of multiverse debugging. This approach differs from previous works such as MIO, which uses a snapshot-based approach and focuses on IO consistency instead of the state explosion problem.
The artifact consists of three components which are bundled in the form of a VM image. This image consists of our prototype Remote Concolic Multiverse Debugger, an evaluation of our state-space reduction system and a performance comparison between trace and snapshot-based approaches.