Received: by 10.236.192.167 with SMTP id i27mr1442612yhn.50.1343409643301;
        Fri, 27 Jul 2012 10:20:43 -0700 (PDT)
X-BeenThere: sjcl-discuss@googlegroups.com
Received: by 10.236.124.176 with SMTP id x36ls202010yhh.1.gmail; Fri, 27 Jul
 2012 10:20:42 -0700 (PDT)
Received: by 10.224.182.77 with SMTP id cb13mr3644019qab.5.1343409642821;
        Fri, 27 Jul 2012 10:20:42 -0700 (PDT)
Received: by 10.224.182.77 with SMTP id cb13mr3644018qab.5.1343409642809;
        Fri, 27 Jul 2012 10:20:42 -0700 (PDT)
Return-Path: <m...@shiftleft.org>
Received: from shiftleft.org (shiftleft.org. [174.129.17.39])
        by gmr-mx.google.com with ESMTP id k34si484400qcz.1.2012.07.27.10.20.42;
        Fri, 27 Jul 2012 10:20:42 -0700 (PDT)
Received-SPF: pass (google.com: best guess record for domain of m...@shiftleft.org designates 174.129.17.39 as permitted sender) client-ip=174.129.17.39;
Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of m...@shiftleft.org designates 174.129.17.39 as permitted sender) smtp.mail=m...@shiftleft.org
Received: from [10.187.55.180] (250.sub-70-198-4.myvzw.com [70.198.4.250])
	by shiftleft.org (Postfix) with ESMTPSA id 388AB283
	for <sjcl-discuss@googlegroups.com>; Fri, 27 Jul 2012 17:19:15 +0000 (UTC)
Date: Fri, 27 Jul 2012 12:20:38 -0500
Subject: Re: Understanding SJCL random bug exposure
Message-ID: <mu20am2vwn7lwtleqlb41541.1343409638834@email.android.com>
From: Mike Hamburg <m...@shiftleft.org>
To: sjcl-discuss@googlegroups.com
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="--_com.android.email_41365714112810"

----_com.android.email_41365714112810
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: base64

R29vZCB0byBoZWFyLCBhbmQgc29ycnkgZm9yIHRoZTogaW5jb252ZW5pZW5jZS4KCkNoZWVycywK
LS0gTWlrZQoKQ2hyaXMgVGVtcGxpbiA8Y3RlbXBsaW5AZ21haWwuY29tPiB3cm90ZToKCj5NaWtl
LAo+VGhhbmtzIGZvciB0aGlzIGhlbHBmdWwgY2xhcmlmaWNhdGlvbi4gV2UncmUgbm90IHVzaW5n
IHRoZSBTSkNMIEVDQyBvYmplY3QgCj5hdCBhbGwgYW5kIGhhdmUgbm90IGluY2x1ZGUgdGhhdCBz
Y3JpcHQgaW4gb3VyIGFwcGxpY2F0aW9uLiBPZiBjb3Vyc2UsIEknbGwgCj5yZXZpc2l0IHRoaXMg
aXNzdWUgaWYgd2UgbWFrZSB1c2Ugb2YgRUNDIGluIHRoZSBmdXR1cmUsIGJ1dCBmb3Igbm93IEkn
bSAKPnN0aWxsIGNvbmZpZGVudCB0aGF0IHdlJ3ZlIGF2b2lkZWQgdGhpcyB2dWxuZXJhYmlsaXR5
LiBZb3VyIGluc2lnaHQgaXMgbXVjaCAKPmFwcHJlY2lhdGVkLgo+Cj5CZXN0LAo+Q2hyaXMKPgo+
T24gV2VkbmVzZGF5LCBKdWx5IDI1LCAyMDEyIDE6MTQ6NTEgUE0gVVRDLTQsIE1pa2UgSGFtYnVy
ZyB3cm90ZToKPj4KPj4gSGkgQ2hyaXMsCj4+Cj4+IFlvdSdyZSBhbHNvIGV4cG9zZWQgZnJvbSBT
SkNMIG1ldGhvZHMgdGhhdCBjYWxsIHJhbmRvbSBpbnRlcm5hbGx5LiBUaGUgCj4+IHN5bW1ldHJp
YyBvbmVzIGRvIHRoaXMgZm9yIHNhbHQgYW5kIG5vbmNlIGdlbmVyYXRpb24sIGJ1dCB0aG9zZSBt
b3N0bHkganVzdCAKPj4gaGF2ZSB0byBiZSB1bmlxdWUsIHNvIHRoZSByYW5kb20gYnVnIGRvZXNu
J3QgYnJlYWsgdGhlbS4gQnV0IHRoZSBFQ0MgCj4+IHJvdXRpbmVzIGNhbGwgaXQgdG9vLCBhbmQg
dGhleSByZWFsbHkgbmVlZCB0aGVpciByYW5kb21uZXNzLiBTbyBpZiB5b3UgCj4+IGhhdmVuJ3Qg
Y2hhbmdlZCB0aGUgY29kZSBmb3IgZWcgRUNEU0Egc2lnbiAob3IgZ2V0cmFuZG9td29yZHMgaXRz
ZWxmKSwgYW5kIAo+PiB5b3UncmUgdXNpbmcgaXQsIHRoZSB5b3UncmUgZXhwb3NlZC4KPj4KPj4g
Q2hlZXJzLAo+PiBNaWtlCj4+Cj4+IChUeXBlZCBjbHVtc2lseSBvbiBhIHBob25lLCBzb3JyeS4p
Cj4+Cj4+Cj4+
----_com.android.email_41365714112810
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: base64

R29vZCB0byBoZWFyLCBhbmQgc29ycnkgZm9yIHRoZTogaW5jb252ZW5pZW5jZS48YnI+PGJyPkNo
ZWVycyw8YnI+LS0gTWlrZTxicj48YnI+Q2hyaXMgVGVtcGxpbiAmbHQ7Y3RlbXBsaW5AZ21haWwu
Y29tJmd0OyB3cm90ZTo8YnI+PGJyPk1pa2UsPGRpdj5UaGFua3MgZm9yIHRoaXMgaGVscGZ1bCBj
bGFyaWZpY2F0aW9uLiBXZSdyZSBub3QgdXNpbmcgdGhlIFNKQ0wgRUNDIG9iamVjdCBhdCBhbGwg
YW5kIGhhdmUgbm90IGluY2x1ZGUgdGhhdCBzY3JpcHQgaW4gb3VyIGFwcGxpY2F0aW9uLiBPZiBj
b3Vyc2UsIEknbGwgcmV2aXNpdCB0aGlzIGlzc3VlIGlmIHdlIG1ha2UgdXNlIG9mIEVDQyBpbiB0
aGUgZnV0dXJlLCBidXQgZm9yIG5vdyBJJ20gc3RpbGwgY29uZmlkZW50IHRoYXQgd2UndmUgYXZv
aWRlZCB0aGlzIHZ1bG5lcmFiaWxpdHkuIFlvdXIgaW5zaWdodCBpcyBtdWNoIGFwcHJlY2lhdGVk
LjwvZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+QmVzdCw8L2Rpdj48ZGl2PkNocmlzPGJyPjxicj5P
biBXZWRuZXNkYXksIEp1bHkgMjUsIDIwMTIgMToxNDo1MSBQTSBVVEMtNCwgTWlrZSBIYW1idXJn
IHdyb3RlOjxibG9ja3F1b3RlIGNsYXNzPSJnbWFpbF9xdW90ZSIgc3R5bGU9Im1hcmdpbjogMDtt
YXJnaW4tbGVmdDogMC44ZXg7Ym9yZGVyLWxlZnQ6IDFweCAjY2NjIHNvbGlkO3BhZGRpbmctbGVm
dDogMWV4OyI+SGkgQ2hyaXMsPGJyPjxicj5Zb3UncmUgYWxzbyBleHBvc2VkIGZyb20gU0pDTCBt
ZXRob2RzIHRoYXQgY2FsbCByYW5kb20gaW50ZXJuYWxseS4gIFRoZSBzeW1tZXRyaWMgb25lcyBk
byB0aGlzIGZvciBzYWx0IGFuZCBub25jZSBnZW5lcmF0aW9uLCBidXQgdGhvc2UgbW9zdGx5IGp1
c3QgaGF2ZSB0byBiZSB1bmlxdWUsIHNvIHRoZSByYW5kb20gYnVnIGRvZXNuJ3QgYnJlYWsgdGhl
bS4gIEJ1dCB0aGUgRUNDIHJvdXRpbmVzIGNhbGwgaXQgdG9vLCBhbmQgdGhleSByZWFsbHkgbmVl
ZCB0aGVpciByYW5kb21uZXNzLiAgU28gaWYgeW91IGhhdmVuJ3QgY2hhbmdlZCB0aGUgY29kZSBm
b3IgZWcgRUNEU0Egc2lnbiAob3IgZ2V0cmFuZG9td29yZHMgaXRzZWxmKSwgYW5kIHlvdSdyZSB1
c2luZyBpdCwgdGhlIHlvdSdyZSBleHBvc2VkLjxicj48YnI+Q2hlZXJzLDxicj5NaWtlPGJyPjxi
cj4oVHlwZWQgY2x1bXNpbHkgb24gYSBwaG9uZSwgc29ycnkuKTxicj48YnI+PGJyPjwvYmxvY2tx
dW90ZT48L2Rpdj4=
----_com.android.email_41365714112810--