Text this: A Differential Approach to Undefined Behavior Detection.