CLOTHO: saving programs from malformed strings and incorrect string-handling. - Aritra Dhar; Rahul Purandare; Mohan Dhawan; Suresh Rangaswamy (ESEC/SIGSOFT FSE, 2015)