Experiments for "On the Techniques We Create, the Tools We Build, and Their Misalignments"

Other: This collection consists of two virtual machines with all data, experiments, and processing scripts referenced in the paper “On the Techniques We Create, the Tools We Build, and Their Misalignments: A Study of KLEE". There is a README explaining how to setup and run the two VMs used in the paper, a VM containing 32bit BugRedux experiments (~3GB), a VM containing all other experiments (~7GB), and two additional files detailing licensing and meta information s (see http://bit.ly/1PWVviz). An additional ReadMe file (version 2) updates the metadata and alerts to issues with some of the files. (Version 1 Description: 64 Bit VM containing experiments on HAMPI, CREST-BV, and the Original KLEE experiments. 32 Bit VM containing experiments on BugRedux)