WALA/com.ibm.wala.cast.js.test/examples-src/tests/switch_crash.js

(function() {
    var ComputedStyle = {
        getBorderWidth: function() {
            switch (property) {
              case BORDER_TOP_WIDTH:
                value;
                break;
            }
        }
    };
})();