We implemented interrogation testing for program analyzers that reason about reachability, such as abstract interpreters, bounded model checkers, and symbolic-execution engines in a tool called Sherlock. In this artifact we provide Sherlock’s source code and give instructions to reproduce the results of our evaluation section.