javascriptcore-bad-side-effect-modeling A query written in CodeQL that finds bad side effects modeling in JavaScriptCore (the JavaScript engine in WebKit).