I

instrumenting a binary

for data race detection with discoverInstrumentation Options

for discoverInstrumenting a Prepared Binary

for hardware assisted checking with discoverInstrumentation Options

for memory error checking with discoverInstrumentation Options

for uncoverInstrumenting the Binary