We open source many of our software tools. Below is a list of our open-source offerings.
Witch: a suite of lightweight tools (derived from HPCToolkit) for detecting microscopic performance inefficiencies (dead writes, silent writes, redundant loads, false-sharing, reuse distance) using CPU performance monitoring unit and hardware debug registers.
CCTLib: a library to ubiquitously collect calling contexts in an execution of a program.
DeadSpy: a tool for detecting dead writes in a program.
RedSpy: tool for detecting silent stores in a program.
RVN: a tool for detecting symbolically equivalent computations.
LoadSpy: a tool for detecting redundant loads in a program.
RaceSpy: a tool for detecting data races in OpenMP programs.
FootPrint: a tool for context-sensitive memory footprint measurement.