Cooper Knows the Shortest Stave: Finding 134 Bugs in the Binding Code of Scripting Languages

In our talk, we propose cooperative mutation, which modifies both the script code and the program native input to trigger bugs in binding code. Our insight is that many bugs are due to the interplay between the program's initial state and the dynamic operations, which can only be triggered through two-dimensional mutations. We develop three novel solutions to enable cooperative mutation on popular scripting languages: we first cluster objects into semantic groups to reduce the search space of native inputs; …

bugs code languages scripting