Ján Jančár on Sun, 15 Jul 2018 21:33:10 +0200
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
- To: Karim.Belabas@math.u-bordeaux.fr
- Subject: Re: SIGSEGV on isprime
- From: Ján Jančár <johny@neuromancer.sk>
- Date: Sun, 15 Jul 2018 21:33:01 +0200
- Autocrypt: addr=johny@neuromancer.sk; prefer-encrypt=mutual; keydata= xsFNBFcX5G8BEADL/1dQwl6DhgvrknSrVJ6+RZWvhucFVpyKGpvOt8eqFS0mzrxdf9rgf0zg awCktOjbbCrMi9LchiV5OaLu+5+QvxwXjYX5l+7ArrdbmeLj8Db34Gnib2EsQr3QKj5seAkt HO2Qw9UBeIHug6Hgi0rEilqwTo6meptLzTbr1RRabX+94fMGWV+N4BTuzC2ZgHTO8cP5a+ME gK+lGbXllYng9OO4NiwPmS7s+NMQQr+Q6SA8exicTE9nzqWabAuMsW/M0x8niSyeMYbVBKcA WcA0ANiy5HMEmz1Gnlmt8Ww+F46sWmkEjEuMf21ScX6P6/ES+nBN3mynKU+maPN3+WwkKG4D BEqZZJ1KkOn6JSYVdfi4PokXz+4AYZAUgfCRCbYzPv/QUn8ax2o/N2KLNJ/CIUZcRe9J+LQm G+n3BFdeh+M6gq1/grNrCJBGW+gl9TECzB4fS5fHPE0bgX/TT6q16J6lTU3WEzbwaki3j88n T131hWwiAzAORYG0AnV78Bx/sLIMMXP0meng6Alo7hNXIHPw70AqWq3grpFnyLMe0MekYDev PKxoRbTOOoO+DKNZ4JsakfBPjaL1j3w17Uy4WhRzWV7ZVbCXMyZPFNoSvCE7IjFPJMc6dM1i nOWl54Pn8JAy/YIi59ZdVc1uH3svLv62QYG51jqKi48JnIuPQwARAQABzSFKYW4gSmFuY2Fy IDxqb2hueUBuZXVyb21hbmNlci5zaz7CwY4EEwEKADgWIQQ2IFatqPL05CFWXvh/SkSP5o8y nQUCWoCTdwIbAwULCQgHAgYVCgkICwIEFgIDAQIeAQIXgAAKCRB/SkSP5o8ynT1/D/41Gq7J +wRXq+ANNAjp5zicsHY8C7tR88vjiz//sQg2CgRwi9w+fSWR4mCwtlP4IVbHtBQhuK7Jrnsy vO5HGvexqR0vH2znnwKC1o/UYDWKWVppfiUooMS+/R6LbQvxYTMHBequeTS+FEtdWGSeOqx5 vrMu/pjZ3p0LWuX7sRMqKLl+cSQfgAvH/OlAnNJ3NgLK5BZHOFP0uQbnqoi6WKQD5RAwh0zD QPWPxgkizk5ceLBy0QXmE2K0DnRKH6ZLWYohSDIq06H7DocODwQpiva459C3gGmnE3Un3Oi4 bw9Gv5uxoXGqpxhzkUUgVu/V4woBVrfjwOiddk0mUBJqNFEMPu0SPQx5MrI0Se04KQQY0ZEj ugTFHdjLwkjHuE2GWNw8M0WLiShRXHW8LnpB49c6MvbVTS8NvGtlpXdkfjYccTrNEk2Iz7p2 CsevbbMusG8UiW3AuRTAI/cFYR/+RQDeHPqDjWAncZb83zFV6D3V91YkvDP3OruNXR4i3nzw 6wvoMDicRTLvmBzM5DUzG/8NHOZy2N95NspZUbW12TRHlKPq+ngA6nkvZfOvHToiAGf2ZKsg x8cpkH2Y9NVCwSbzApNipBmFGAakiiXYjjzAFm9KP8L4CmplGbYNbe0HOtNYyWI7xQaCyr8P P1pGLAE9nH3SFITS04NFIi90jRVXW87BTQRXF+RvARAAoNX1OsIrPqUrqVkrZWyO3qnIJbtX dC8aBYngWNBQm6CtufhdHAFFFh42s2mPF0PTwHmhB7VnnRB6E2sOac/W44lIydo3FDl/A3xE 1whB4okq3/03cYUDcTvxaRkin5OlnliXyCT9fUl96LfroL2XdOovd/ZuE8JUVKP7I7l2GxHT ntqUBLcxdj0ggLzZ0+hZLkGvCUT+6v4S6pePSKP2EDmha9eoQYnB9Y7Lre4w+ye3AhjfTwmu v24bT4+aWayb+zLxdDM+mJBaKid0Ez/LsVFkEPFVSvOWL7jL7PMVEcGuATMnjZqfGzRRMxGu cZFmKhjnmh+JWO8a3+lUHMF8TaqIBxDGQULca1gzRlJCNGgSHnFmnweY7oYcUW3eEuz13mLX 96Yua407MIj/uzrntcJenGik91gHnaSC+03eMFUZUqFeu1fKJ+K1dS6FqOE992LegpIL/viW 1g5nEiPy+YUf4QBjeVxGxjR3FWSYI5JOIRwP6y4zsyNvQuKlCH1JefI/9yEf9yPq+RkYsicQ BtCB7LhfvQNoV/QuPjPN5uEMsYjdiznKUFbXArS6h060SmIeLeIH3r3FcpusDM/rXVapS/rm hW7Ni7AHqgETSUc188TASY6Dd9lsb2caNrFP237KcEnGGHR9fZ4rDPTdRLboZiDIV8zB6OnZ GJqfiGUAEQEAAcLBXwQYAQIACQUCVxfkbwIbDAAKCRB/SkSP5o8ynZ2bD/0U4zWYBUjbSnYz p9m+qURfBaY1cSlUWxdVy/ZhIclllMyrTSof3ZQsS9ozPsxX+D0Pjdg6I8fvAA1w1C7W+8dq z3zF+KcZ02qWs0vD4zC8eL5i1vw3bmLuQEWMaSqhiCKlA3EPrnFBhvIWfl4WpZSCkLEuyLrh Db4viuO0T5y2r1ZKkrRzlFDJxHmqrpLYPwVtTbFtWPC6HKkzGZP/bL8o8v/ZiZbraMqiBVSp mxHOyQ6aBJbQmEpOfVsZbGHhYYc1JM5b85/o8CQvC5S4IS8KS1jQSgXdLMVseuqgpdnPWrAd vGwoPEe4/CS9dmnDCY/68VW7iWIgMFBFijPoyWyxZLC3apsUMUV7ekrZ0sxw9lOlEAuNxduY e76P/dSLlrA+fxtt5zdofZlrUsqfZe24CshE/Ixdgs1VUxGlaJvOkfW2CUa/4GQYSwdgOpSl qBA3+SX8S8aURlx/M24JUPnnThY4rnr2gTpDFetCfj3OAS3B05Pl/BY5FPZ4jfXRzWnDP+DA a9OSTRsIg8sfIP+0YQnb5Z+sbvCNTSacNw1G5rMH3Z+hSHveL1vVEHAk+rpNAQAwg5Gbmh9f EwLeAGKt+Ct/R941FstWPzDwakI1BwO/Uq1SzNfwYBTI1ywfDqIcHZ6xC9pv6RzuYUHtSC12 I7kju3alsQpZC8IDYlfbQg==
- Cc: pari-users@pari.math.u-bordeaux.fr
- Delivery-date: Sun, 15 Jul 2018 21:33:10 +0200
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=neuromancer.sk; s=20173101; h=Content-Type:In-Reply-To:MIME-Version:Date: Message-ID:From:Cc:References:To:Subject:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=epWxfUvpyRjAGQDfI46Vxiv7PE69sPLS5n7xhWtEosY=; b=F4LIdKxN70c72UhvCuy9yrPdb RwI5vhoknzsuwesAMoskJxkrYrzr7dEnfv+J6KV7K73yn9Xc9RzLcUoQUseuuCmOpUVAZ+Gc9tf9J N8GAeO12PtelDQ+tVq6nC2XJYKoaO2BRxCfroXDWjqJc2poQwqV2/k6L5xrBX5mVJ0Pw8hORt2PsX nMJo39gZQQkUAJzBVs5xOR9AbGIhAoXv/NkPJe3C++cjIeL+kPU3vlpxyNKo9GStAFWZ+dzWSZ/Ad Rg9yVIZuDLAT+8qxH7ojHiMXSGItC5kvH/II+ZpXPHE8WOVmj10D5cuiTnhvSNAxQQnsmDtinGpPN DFgsdcARg==;
- In-reply-to: <20180715130530.GB80869@math.u-bordeaux.fr>
- Openpgp: preference=signencrypt
- References: <372a72a9-4486-760d-02e4-e31d5e91bfd5@neuromancer.sk> <20180710215942.GE4112@yellowpig> <b1355d2d-7cba-af33-b2e6-75d7e4492ce4@neuromancer.sk> <5fb19e95-ee16-da8e-31c5-3f5a633b2762@neuromancer.sk> <9d5eadbe-7cdc-264b-e578-608e89d6781b@neuromancer.sk> <20180711152549.GB19054@yellowpig> <20180715130530.GB80869@math.u-bordeaux.fr>
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1
On 15/07/18 15:05, Karim Belabas wrote:
> * Bill Allombert [2018-07-11 17:25]:
>> On Wed, Jul 11, 2018 at 04:48:24PM +0200, Ján Jančár wrote:
>>>>> I have now tested:
>>>>>
>>>>> --enable-tls --kernel=none --> works
>>>>> --enable-tls --kernel=none-gmp --> SEGVs!
>>>>> --enalbe-tls --kernel=auto-none --> works
>>
>> My guess is that there is a buffer overflow in the function
>> red_montgomery in the file src/kernel/gmp/mp.c which only
>> cause a SEGV when the stack ends on a page boundary.
>
> Not exactly a buffer overflow but an off-by-1 error causing us to read
> one word beyond the boundary of the modulus 'N'. In this particular
> case, N happens to be the first object on the PARI stack and we read
> 1 word in unallocated memory [ and disregard its value, making the bug
> very hard to spot ].
>
> I believe the problem is solved in 'master' HEAD.
>
> Cheers,
>
> K.B.
> --
> Karim Belabas, IMB (UMR 5251) Tel: (+33) (0)5 40 00 26 17
> Universite de Bordeaux Fax: (+33) (0)5 40 00 21 23
> 351, cours de la Liberation http://www.math.u-bordeaux.fr/~kbelabas/
> F-33405 Talence (France) http://pari.math.u-bordeaux.fr/ [PARI/GP]
> `
>
Great, thanks for solving this!
Cheers,
--
Jan
______________________________________________________
/\ # PGP: 362056ADA8F2F4E421565EF87F4A448FE68F329D
/__\ # https://neuromancer.sk
/\ /\ # Eastern Seaboard Phishing Authority
/__\/__\ #
Attachment:
signature.asc
Description: OpenPGP digital signature