ProRace: Practical Data Race Detection for Production Use
Detecting memory leaks through introspective dynamic behavior modelling using machine learning