GitHub repository: plasma-umass/DoubleTake
Primary language: C
Description: Evidence-based dynamic analysis: a fast checker for memory errors.