GitHub repository: open-s4c/tsano
Primary language: C
Description: A library mocking all instrumentation functions from TSAN