GitHub repository: DynamoRIO/drk
Primary language: C
Description: Dynamic instrumentation of the Linux kernel