GitHub repository: pulanski/integer_overflow_detection
Primary language: C++
Description: pinpointing integer overflow via binary analysis using DrCCTProf/DynamoRIO