<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://bugs.webkit.org/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4.1"
          urlbase="https://bugs.webkit.org/"
          
          maintainer="admin@webkit.org"
>

    <bug>
          <bug_id>146807</bug_id>
          
          <creation_ts>2015-07-09 14:01:58 -0700</creation_ts>
          <short_desc>SymbolTable::entryFor() should do a bounds check before indexing into the localToEntry vector.</short_desc>
          <delta_ts>2015-07-09 16:00:20 -0700</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>WebKit</product>
          <component>JavaScriptCore</component>
          <version>528+ (Nightly build)</version>
          <rep_platform>Unspecified</rep_platform>
          <op_sys>Unspecified</op_sys>
          <bug_status>RESOLVED</bug_status>
          <resolution>FIXED</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords>InRadar</keywords>
          <priority>P2</priority>
          <bug_severity>Normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Mark Lam">mark.lam</reporter>
          <assigned_to name="Mark Lam">mark.lam</assigned_to>
          <cc>benjamin</cc>
    
    <cc>fpizlo</cc>
    
    <cc>ggaren</cc>
    
    <cc>keith_miller</cc>
    
    <cc>mmirman</cc>
    
    <cc>msaboff</cc>
    
    <cc>saam</cc>
    
    <cc>webkit-bug-importer</cc>
          

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>1108352</commentid>
    <comment_count>0</comment_count>
    <who name="Mark Lam">mark.lam</who>
    <bug_when>2015-07-09 14:01:58 -0700</bug_when>
    <thetext>When we capture an argument by name and we use &quot;arguments&quot;, we put all of the arguments into the scope.  But destructured arguments are put into the scope anonymously i.e. the SymbolTable knows that the scope offset is in use via SymbolTable::m_maxScopeOffset, but that ScopeOffset won&apos;t appear in SymbolTable::m_map.

The SymbolTable&apos;s m_localToEntry vector is synthesized from its m_map, and will have a size which is based on the largest ScopeOffset in the m_map.  If we have a scenario where the anonymous argument is at a higher ScopeOffset than all the named arguments, then the m_localsToEntry will not have an entry for it i.e. the m_localsToEntry vector will have a size that is &lt;= the ScopeOffset of the anonymous argument.

Hence, SymbolTable::entryFor() should ensure that the requested ScopeOffset is within the bounds of the m_localToEntry vector before indexing into it.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1108354</commentid>
    <comment_count>1</comment_count>
    <who name="Mark Lam">mark.lam</who>
    <bug_when>2015-07-09 14:03:31 -0700</bug_when>
    <thetext>&lt;rdar://problem/20975495&gt;</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1108360</commentid>
    <comment_count>2</comment_count>
      <attachid>256516</attachid>
    <who name="Mark Lam">mark.lam</who>
    <bug_when>2015-07-09 14:11:55 -0700</bug_when>
    <thetext>Created attachment 256516
the patch: testing is in progress.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1108371</commentid>
    <comment_count>3</comment_count>
      <attachid>256516</attachid>
    <who name="Filip Pizlo">fpizlo</who>
    <bug_when>2015-07-09 14:21:00 -0700</bug_when>
    <thetext>Comment on attachment 256516
the patch: testing is in progress.

View in context: https://bugs.webkit.org/attachment.cgi?id=256516&amp;action=review

&gt; Source/JavaScriptCore/runtime/SymbolTable.cpp:133
&gt; +    auto toEntryVector = localToEntry(locker);

This should be auto&amp;</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1108392</commentid>
    <comment_count>4</comment_count>
      <attachid>256527</attachid>
    <who name="Mark Lam">mark.lam</who>
    <bug_when>2015-07-09 14:55:13 -0700</bug_when>
    <thetext>Created attachment 256527
patch 2: fixed bug found by Fil.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1108436</commentid>
    <comment_count>5</comment_count>
    <who name="Mark Lam">mark.lam</who>
    <bug_when>2015-07-09 16:00:20 -0700</bug_when>
    <thetext>All tests have passed with no new failures.  EWS bot test failures appear to be due to pre-existing conditions.

Patch landed in r186643: &lt;http://trac.webkit.org/r186643&gt;.</thetext>
  </long_desc>
      
          <attachment
              isobsolete="1"
              ispatch="1"
              isprivate="0"
          >
            <attachid>256516</attachid>
            <date>2015-07-09 14:11:55 -0700</date>
            <delta_ts>2015-07-09 14:55:13 -0700</delta_ts>
            <desc>the patch: testing is in progress.</desc>
            <filename>bug-146807.patch</filename>
            <type>text/plain</type>
            <size>2436</size>
            <attacher name="Mark Lam">mark.lam</attacher>
            
              <data encoding="base64">SW5kZXg6IFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKPT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291
cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkocmV2aXNpb24gMTg2NjA4KQorKysgU291cmNl
L0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkod29ya2luZyBjb3B5KQpAQCAtMSwzICsxLDI5IEBA
CisyMDE1LTA3LTA5ICBNYXJrIExhbSAgPG1hcmsubGFtQGFwcGxlLmNvbT4KKworICAgICAgICBT
eW1ib2xUYWJsZTo6ZW50cnlGb3IoKSBzaG91bGQgZG8gYSBib3VuZHMgY2hlY2sgYmVmb3JlIGlu
ZGV4aW5nIGludG8gdGhlIGxvY2FsVG9FbnRyeSB2ZWN0b3IuCisgICAgICAgIGh0dHBzOi8vYnVn
cy53ZWJraXQub3JnL3Nob3dfYnVnLmNnaT9pZD0xNDY4MDcKKworICAgICAgICBSZXZpZXdlZCBi
eSBOT0JPRFkgKE9PUFMhKS4KKworICAgICAgICBXaGVuIHdlIGNhcHR1cmUgYW4gYXJndW1lbnQg
YnkgbmFtZSBhbmQgd2UgdXNlICJhcmd1bWVudHMiLCB3ZSBwdXQgYWxsIG9mIHRoZQorICAgICAg
ICBhcmd1bWVudHMgaW50byB0aGUgc2NvcGUuICBCdXQgZGVzdHJ1Y3R1cmVkIGFyZ3VtZW50cyBh
cmUgcHV0IGludG8gdGhlIHNjb3BlCisgICAgICAgIGFub255bW91c2x5IGkuZS4gdGhlIFN5bWJv
bFRhYmxlIGtub3dzIHRoYXQgdGhlIHNjb3BlIG9mZnNldCBpcyBpbiB1c2UgdmlhCisgICAgICAg
IFN5bWJvbFRhYmxlOjptX21heFNjb3BlT2Zmc2V0LCBidXQgdGhhdCBTY29wZU9mZnNldCB3b24n
dCBhcHBlYXIgaW4KKyAgICAgICAgU3ltYm9sVGFibGU6Om1fbWFwLgorCisgICAgICAgIFRoZSBT
eW1ib2xUYWJsZSdzIG1fbG9jYWxUb0VudHJ5IHZlY3RvciBpcyBzeW50aGVzaXplZCBmcm9tIGl0
cyBtX21hcCwgYW5kIHdpbGwKKyAgICAgICAgaGF2ZSBhIHNpemUgd2hpY2ggaXMgYmFzZWQgb24g
dGhlIGxhcmdlc3QgU2NvcGVPZmZzZXQgaW4gdGhlIG1fbWFwLiAgSWYgd2UgaGF2ZSBhCisgICAg
ICAgIHNjZW5hcmlvIHdoZXJlIHRoZSBhbm9ueW1vdXMgYXJndW1lbnQgaXMgYXQgYSBoaWdoZXIg
U2NvcGVPZmZzZXQgdGhhbiBhbGwgdGhlCisgICAgICAgIG5hbWVkIGFyZ3VtZW50cywgdGhlbiB0
aGUgbV9sb2NhbHNUb0VudHJ5IHZlY3RvciB3aWxsIG5vdCBoYXZlIGFuIGVudHJ5IGZvciBpdAor
ICAgICAgICBpLmUuIHRoZSBtX2xvY2Fsc1RvRW50cnkgdmVjdG9yIHdpbGwgaGF2ZSBhIHNpemUg
dGhhdCBpcyA8PSB0aGUgU2NvcGVPZmZzZXQgb2YKKyAgICAgICAgdGhlIGFub255bW91cyBhcmd1
bWVudC4KKworICAgICAgICBIZW5jZSwgU3ltYm9sVGFibGU6OmVudHJ5Rm9yKCkgc2hvdWxkIGVu
c3VyZSB0aGF0IHRoZSByZXF1ZXN0ZWQgU2NvcGVPZmZzZXQgaXMKKyAgICAgICAgd2l0aGluIHRo
ZSBib3VuZHMgb2YgdGhlIG1fbG9jYWxUb0VudHJ5IHZlY3RvciBiZWZvcmUgaW5kZXhpbmcgaW50
byBpdC4KKworICAgICAgICAqIHJ1bnRpbWUvU3ltYm9sVGFibGUuY3BwOgorICAgICAgICAoSlND
OjpTeW1ib2xUYWJsZTo6ZW50cnlGb3IpOgorCiAyMDE1LTA3LTA5ICBNaWNoYWVsIFNhYm9mZiAg
PG1zYWJvZmZAYXBwbGUuY29tPgogCiAgICAgICAgIFJFR1JFU1NJT04gKHIxODAyNDgpOiBSZXBy
byBDcmFzaDogY29tLmFwcGxlLldlYktpdC5XZWJDb250ZW50IGF0IGNvbS5hcHBsZS5KYXZhU2Ny
aXB0Q29yZTogSlNDOjpjcmVhdGVSYW5nZUVycm9yICsgMjAKSW5kZXg6IFNvdXJjZS9KYXZhU2Ny
aXB0Q29yZS9ydW50aW1lL1N5bWJvbFRhYmxlLmNwcAo9PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09Ci0tLSBTb3VyY2UvSmF2
YVNjcmlwdENvcmUvcnVudGltZS9TeW1ib2xUYWJsZS5jcHAJKHJldmlzaW9uIDE4NjYwNykKKysr
IFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9ydW50aW1lL1N5bWJvbFRhYmxlLmNwcAkod29ya2luZyBj
b3B5KQpAQCAtMTMwLDcgKzEzMCwxMCBAQCBjb25zdCBTeW1ib2xUYWJsZTo6TG9jYWxUb0VudHJ5
VmVjJiBTeW1iCiAKIFN5bWJvbFRhYmxlRW50cnkqIFN5bWJvbFRhYmxlOjplbnRyeUZvcihjb25z
dCBDb25jdXJyZW50SklUTG9ja2VyJiBsb2NrZXIsIFNjb3BlT2Zmc2V0IG9mZnNldCkKIHsKLSAg
ICByZXR1cm4gbG9jYWxUb0VudHJ5KGxvY2tlcilbb2Zmc2V0Lm9mZnNldCgpXTsKKyAgICBhdXRv
IHRvRW50cnlWZWN0b3IgPSBsb2NhbFRvRW50cnkobG9ja2VyKTsKKyAgICBpZiAob2Zmc2V0Lm9m
ZnNldCgpID49IHRvRW50cnlWZWN0b3Iuc2l6ZSgpKQorICAgICAgICByZXR1cm4gbnVsbHB0cjsK
KyAgICByZXR1cm4gdG9FbnRyeVZlY3RvcltvZmZzZXQub2Zmc2V0KCldOwogfQogCiBTeW1ib2xU
YWJsZSogU3ltYm9sVGFibGU6OmNsb25lU2NvcGVQYXJ0KFZNJiB2bSkK
</data>
<flag name="review"
          id="281612"
          type_id="1"
          status="-"
          setter="fpizlo"
    />
          </attachment>
          <attachment
              isobsolete="0"
              ispatch="1"
              isprivate="0"
          >
            <attachid>256527</attachid>
            <date>2015-07-09 14:55:13 -0700</date>
            <delta_ts>2015-07-09 15:07:46 -0700</delta_ts>
            <desc>patch 2: fixed bug found by Fil.</desc>
            <filename>bug-146807.patch</filename>
            <type>text/plain</type>
            <size>2437</size>
            <attacher name="Mark Lam">mark.lam</attacher>
            
              <data encoding="base64">SW5kZXg6IFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKPT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291
cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkocmV2aXNpb24gMTg2NjA4KQorKysgU291cmNl
L0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkod29ya2luZyBjb3B5KQpAQCAtMSwzICsxLDI5IEBA
CisyMDE1LTA3LTA5ICBNYXJrIExhbSAgPG1hcmsubGFtQGFwcGxlLmNvbT4KKworICAgICAgICBT
eW1ib2xUYWJsZTo6ZW50cnlGb3IoKSBzaG91bGQgZG8gYSBib3VuZHMgY2hlY2sgYmVmb3JlIGlu
ZGV4aW5nIGludG8gdGhlIGxvY2FsVG9FbnRyeSB2ZWN0b3IuCisgICAgICAgIGh0dHBzOi8vYnVn
cy53ZWJraXQub3JnL3Nob3dfYnVnLmNnaT9pZD0xNDY4MDcKKworICAgICAgICBSZXZpZXdlZCBi
eSBOT0JPRFkgKE9PUFMhKS4KKworICAgICAgICBXaGVuIHdlIGNhcHR1cmUgYW4gYXJndW1lbnQg
YnkgbmFtZSBhbmQgd2UgdXNlICJhcmd1bWVudHMiLCB3ZSBwdXQgYWxsIG9mIHRoZQorICAgICAg
ICBhcmd1bWVudHMgaW50byB0aGUgc2NvcGUuICBCdXQgZGVzdHJ1Y3R1cmVkIGFyZ3VtZW50cyBh
cmUgcHV0IGludG8gdGhlIHNjb3BlCisgICAgICAgIGFub255bW91c2x5IGkuZS4gdGhlIFN5bWJv
bFRhYmxlIGtub3dzIHRoYXQgdGhlIHNjb3BlIG9mZnNldCBpcyBpbiB1c2UgdmlhCisgICAgICAg
IFN5bWJvbFRhYmxlOjptX21heFNjb3BlT2Zmc2V0LCBidXQgdGhhdCBTY29wZU9mZnNldCB3b24n
dCBhcHBlYXIgaW4KKyAgICAgICAgU3ltYm9sVGFibGU6Om1fbWFwLgorCisgICAgICAgIFRoZSBT
eW1ib2xUYWJsZSdzIG1fbG9jYWxUb0VudHJ5IHZlY3RvciBpcyBzeW50aGVzaXplZCBmcm9tIGl0
cyBtX21hcCwgYW5kIHdpbGwKKyAgICAgICAgaGF2ZSBhIHNpemUgd2hpY2ggaXMgYmFzZWQgb24g
dGhlIGxhcmdlc3QgU2NvcGVPZmZzZXQgaW4gdGhlIG1fbWFwLiAgSWYgd2UgaGF2ZSBhCisgICAg
ICAgIHNjZW5hcmlvIHdoZXJlIHRoZSBhbm9ueW1vdXMgYXJndW1lbnQgaXMgYXQgYSBoaWdoZXIg
U2NvcGVPZmZzZXQgdGhhbiBhbGwgdGhlCisgICAgICAgIG5hbWVkIGFyZ3VtZW50cywgdGhlbiB0
aGUgbV9sb2NhbHNUb0VudHJ5IHZlY3RvciB3aWxsIG5vdCBoYXZlIGFuIGVudHJ5IGZvciBpdAor
ICAgICAgICBpLmUuIHRoZSBtX2xvY2Fsc1RvRW50cnkgdmVjdG9yIHdpbGwgaGF2ZSBhIHNpemUg
dGhhdCBpcyA8PSB0aGUgU2NvcGVPZmZzZXQgb2YKKyAgICAgICAgdGhlIGFub255bW91cyBhcmd1
bWVudC4KKworICAgICAgICBIZW5jZSwgU3ltYm9sVGFibGU6OmVudHJ5Rm9yKCkgc2hvdWxkIGVu
c3VyZSB0aGF0IHRoZSByZXF1ZXN0ZWQgU2NvcGVPZmZzZXQgaXMKKyAgICAgICAgd2l0aGluIHRo
ZSBib3VuZHMgb2YgdGhlIG1fbG9jYWxUb0VudHJ5IHZlY3RvciBiZWZvcmUgaW5kZXhpbmcgaW50
byBpdC4KKworICAgICAgICAqIHJ1bnRpbWUvU3ltYm9sVGFibGUuY3BwOgorICAgICAgICAoSlND
OjpTeW1ib2xUYWJsZTo6ZW50cnlGb3IpOgorCiAyMDE1LTA3LTA5ICBNaWNoYWVsIFNhYm9mZiAg
PG1zYWJvZmZAYXBwbGUuY29tPgogCiAgICAgICAgIFJFR1JFU1NJT04gKHIxODAyNDgpOiBSZXBy
byBDcmFzaDogY29tLmFwcGxlLldlYktpdC5XZWJDb250ZW50IGF0IGNvbS5hcHBsZS5KYXZhU2Ny
aXB0Q29yZTogSlNDOjpjcmVhdGVSYW5nZUVycm9yICsgMjAKSW5kZXg6IFNvdXJjZS9KYXZhU2Ny
aXB0Q29yZS9ydW50aW1lL1N5bWJvbFRhYmxlLmNwcAo9PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09Ci0tLSBTb3VyY2UvSmF2
YVNjcmlwdENvcmUvcnVudGltZS9TeW1ib2xUYWJsZS5jcHAJKHJldmlzaW9uIDE4NjYwNykKKysr
IFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9ydW50aW1lL1N5bWJvbFRhYmxlLmNwcAkod29ya2luZyBj
b3B5KQpAQCAtMTMwLDcgKzEzMCwxMCBAQCBjb25zdCBTeW1ib2xUYWJsZTo6TG9jYWxUb0VudHJ5
VmVjJiBTeW1iCiAKIFN5bWJvbFRhYmxlRW50cnkqIFN5bWJvbFRhYmxlOjplbnRyeUZvcihjb25z
dCBDb25jdXJyZW50SklUTG9ja2VyJiBsb2NrZXIsIFNjb3BlT2Zmc2V0IG9mZnNldCkKIHsKLSAg
ICByZXR1cm4gbG9jYWxUb0VudHJ5KGxvY2tlcilbb2Zmc2V0Lm9mZnNldCgpXTsKKyAgICBhdXRv
JiB0b0VudHJ5VmVjdG9yID0gbG9jYWxUb0VudHJ5KGxvY2tlcik7CisgICAgaWYgKG9mZnNldC5v
ZmZzZXQoKSA+PSB0b0VudHJ5VmVjdG9yLnNpemUoKSkKKyAgICAgICAgcmV0dXJuIG51bGxwdHI7
CisgICAgcmV0dXJuIHRvRW50cnlWZWN0b3Jbb2Zmc2V0Lm9mZnNldCgpXTsKIH0KIAogU3ltYm9s
VGFibGUqIFN5bWJvbFRhYmxlOjpjbG9uZVNjb3BlUGFydChWTSYgdm0pCg==
</data>
<flag name="review"
          id="281625"
          type_id="1"
          status="+"
          setter="fpizlo"
    />
          </attachment>
      

    </bug>

</bugzilla>