GitHub repository: open-s4c/dice
Primary language: C
Description: A lightweight, extensible framework for capturing execution events of multithreaded programs