RED: a tool for runtime error detection in C programs using abstract interpretation. - Anirban Roy Choudhury; A. K. Bhattacharjee (ISEC, 2012)