From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752380AbdGRVc4 (ORCPT ); Tue, 18 Jul 2017 17:32:56 -0400 Received: from mail-db5eur01on0096.outbound.protection.outlook.com ([104.47.2.96]:17782 "EHLO EUR01-DB5-obe.outbound.protection.outlook.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1751846AbdGRVcy (ORCPT ); Tue, 18 Jul 2017 17:32:54 -0400 Authentication-Results: vger.kernel.org; dkim=none (message not signed) header.d=none;vger.kernel.org; dmarc=none action=none header.from=virtuozzo.com; Subject: Re: [PATCH] lib/strscpy: avoid KASAN false positive From: Andrey Ryabinin To: Linus Torvalds Cc: Andrew Morton , Dave Jones , Alexander Potapenko , Dmitry Vyukov , kasan-dev@googlegroups.com, Linux Kernel Mailing List References: <20170718171523.32208-1-aryabinin@virtuozzo.com> <96a21da7-1258-0ada-298f-e0388849402a@virtuozzo.com> Message-ID: Date: Wed, 19 Jul 2017 00:32:29 +0300 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.0 MIME-Version: 1.0 In-Reply-To: <96a21da7-1258-0ada-298f-e0388849402a@virtuozzo.com> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit X-Originating-IP: [84.47.128.244] X-ClientProxiedBy: AM5PR0601CA0043.eurprd06.prod.outlook.com (10.173.86.157) To DB5PR0801MB2726.eurprd08.prod.outlook.com (10.166.176.22) X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: bc53477a-35fb-454d-9e02-08d4ce248a39 X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(300000500095)(300135000095)(300000501095)(300135300095)(22001)(300000502095)(300135100095)(300000503095)(300135400095)(201703131423075)(201703031133081)(300000504095)(300135200095)(300000505095)(300135600095)(300000506095)(300135500095);SRVR:DB5PR0801MB2726; X-Microsoft-Exchange-Diagnostics: 1;DB5PR0801MB2726;3:OMaDIXYy/ywVkxPg615ThhuGbwtZ887fTID0Iy+jvEWrN+t83v9exEBvgfSS6Lqo9k0n+WtLgN1tCwEyuEubGBy9EHifu+HJP2BP9f2oPqIYIUbpLxdkChxfFM7IdYuEnZFd36/dVCbuNATmt7kv67aH4AhxLtg6IHqBUHr5pD0+eexFCeXZBTt5+Pof/5S/K91pylZ/HuSKQZb16cNdlT81JX5XrYqDkUvnYlllDeAm9j9sOkslpHyTbLaknu9I2Q+Qsb0QPNwECsyze8etnG5RvvVaQV3NjI8bAgrranfztSHYN2q1kYHS0VpiQB5BKVtfIyxrW+HeAQ/iO9RojImW67HWRZ5lQGYn66zVfWjYOaY9ijZ8kNh0jPxIHJDFXTh5ATCH4LqIuzIYMJRnIMba24MmCNibgZfv+LJrlhpIy9ANSOMhEaBQGzUbS27uojE66H2yCDyZAB2GOPsKeKKkoge4Nzecbo+713AyAXruAJEkSmfP7SD0b+mDdjFnjHbyyYDJDPlk1iC+l3/9ompRKd7zy9YxdxsokAqZ8HFY5EZX39w8LFN30HP3Uk+ZiJHaOVXzskEqkhYxKLS4fSG4PT+BP2rwAEAcTfs6GJRA1vQJp0/O8gLULGlgSjVcIx0Rp8z7aoHNLD3CwdQF4zj4UJU9BQhCUhKE38fuxbrZts+VL2LeuX5/gEee6O8Tocvhy+RqzV7ybCbMqm47VycvEXX0Mn/WoNCkJWTBJMg= X-MS-TrafficTypeDiagnostic: DB5PR0801MB2726: X-Microsoft-Exchange-Diagnostics: 1;DB5PR0801MB2726;25:SBqBeQFUgBn8J6YPCGLVzp6WJO1yks8s9tp/eD3UVXdjLxGbB7W8NvJImNJLGwSe0VrbUWsRgq4BQqGmUh0GEmmFRzdoautWH3amp26deyoIlTayRYDN4QOmYAzebSOjAtX4DepygUyq2lvenX4nwNDuE4HGCY9U7vKyvrGZMi3s7t2+Erteom5SniJNiu/emCl4E8O6AxWitsmW020pAP05ymiBksSAt2ibBif6JmwqgsIx5faF95rI4oUZtJlRBmlgxjPIcXxi2PuRbKnlhm/KXkCt4ZvpFq7aDm/HgRpPvT1K+2lzIdglcowUu2GsrAc/WPF/qIcjJcY8/+66vkrnV4N4+bVUC9FYtLvWOqgP2rAgF17xHStrTfsY7AKvYlrJiWpd0a5655zClNVgXZWRTH1wSLE1j0kY5XeBOeIvTWG/EQIJcvjL/oP1BjrnyvyDDTOuHyoT1Fi3vsD9FjYhiizhZr4JIrPe7oABcNFI5IfutTqhTUiwGDdOZD3XEkU9jidTAiwr3OfLkHdCytqz7fh1CbGTBRTZFz299v9Rqa1M46KhsyamGjUEz+UrZZRpoI6+6VNtMCUEO8CaYnq6v9ue5Kyy9hsuPwFuQdRAlnKj2quxj2OMQBSo5+q5wLGDGrkBaGLYm/VkQ3J9BUEhHmuwTafdNtqSX3uLxnsVvekn1wRr6ef83UDwnWcZMc4BdPdP5+aRTac9NUn3GnyzFcO/xK+OqcqFIr4QKiNUZCM22qHlmUHFi+KxAnwBwLyQPniKLqKZCmF5Ls3qDiNPueQhga4xAMFVLr0Ro+Fl1D1LkS2+Z41pZISE0+d8i3zrEXQsrSFeVfxNoe4vys2OTr+1sHTt460ipZQD6pzotXIaHCA9tKnFey1sCz80iRCAtblOfGGMNr7PmJCP+bPVy57ZXrx5B6tAw1GLI6c= X-Microsoft-Exchange-Diagnostics: 1;DB5PR0801MB2726;31:IDr3RedDMlThbLf2r0EDTUrBLExUFXTGiTM5kKxty2zMYVXqTzT7iMeGOz0igC49dtustj9EVnJ9eAkpLNZdf0ipxcKrGUmQGUb8oBVHk+n4ucG2B6yaQpDyq0BthVd/Y3GlUiyg2gN3CGRRh2QS6P1/CEp8YdO83VpLZsJTBL1miaF9xk3hYn70ycuhEF1rKHJLD5bOPdPVmdMx+eW06TfiwPtH2nhzS31fdS6msoTMQoEBAAjC9Xxcjw+qUYNnZOxcFhKFHP0H9+hnWvW94nOb+GNYbzVcgoRPRjYfCdlblwCSsOoHmy5fqCT4pN5pXW5aSuQYAUDtbZPvqiDofIXADMmeSEIqZjkjgKyMzwKWQHIrDPuD8TMR3j9Qvq+ZZf+Uc2U48QaJEue2b77duw8iAIMxB7k0ygwPsEAnxd+DaM1DP0F1keEJUN5ACqt4qHtKRAb0M9RvHxAb5X9/26qhAXYaIZWi9U45J0QH7eM+f4sxdClq8PidcRQ0mj3+PRapn1cFKuKiVMm4Odq1jBYDDUnhcih7CQAOzslfnD4qa9H/PobF7PBZ68t2m7vPeBYwQf68HyG+mTyVSwPXqk6Q2JYn/+x5y+MbVFsu10CBVLVi7M1adMSVIOt1UuIMV359twIABPuMS0FBu41mLZSc3G7Ua/jrQN1y92tx6GPOsQjWb+DOVI2eMtsvdlMTdn7bvEW35a/NQuom00qHQw== X-Microsoft-Exchange-Diagnostics: 1;DB5PR0801MB2726;20:26HxXy8EY2za7ZSJfBt7Yt09J4yC9hnTvuOFSNyFYD/KZv3nzbfK05Pcym3+cORupWmUPCVOhhVfMwqhvm3YFjVAzUTaNdligUVRx1Th2LcroDpgDfPMhAVPkG+deehp12BUSUCzziVDeUzSjaj+EbonMFA/qBS2nPQFlsL4PaY6sPONklsoytBcXnXAuTU0v8JtwpnskEouJHI4HqP2Ca8sewqvGjVjHI1J6YKiOH6zTJLRTwoCIkZie0669t1/MM7SP4vYAo2Uj9/JGHvlt80BMd9efoeXbIwfi9irzgCqyguuXh8/GXXXNH1RwOfdN3fqTpZOS09F3rr0EooeFhvzcaGpiQqgz+/PIxc+PoQr6VRe3s2kuDIY2E1iFeOODV9/eaq0V4ZTGchI9xdxTmXg5QqwTcgpNgnsNbx1ZKI= X-Exchange-Antispam-Report-Test: UriScan:(236129657087228); X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(100000700101)(100105000095)(100000701101)(100105300095)(100000702101)(100105100095)(6040450)(601004)(2401047)(5005006)(8121501046)(2017060910075)(100000703101)(100105400095)(10201501046)(3002001)(93006095)(93001095)(6041248)(20161123564025)(20161123562025)(20161123555025)(20161123560025)(201703131423075)(201702281528075)(201703061421075)(201703061406153)(20161123558100)(6072148)(100000704101)(100105200095)(100000705101)(100105500095);SRVR:DB5PR0801MB2726;BCL:0;PCL:0;RULEID:(100000800101)(100110000095)(100000801101)(100110300095)(100000802101)(100110100095)(100000803101)(100110400095)(100000804101)(100110200095)(100000805101)(100110500095);SRVR:DB5PR0801MB2726; X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtEQjVQUjA4MDFNQjI3MjY7NDp2VGEvS2NCNFJJNHNhUTlOVkc3eEIrMDlz?= =?utf-8?B?WkdNYVhDSXAvclBxVktuSkI4VWIrWFVqWFc0VDhKTCtuakJBcVhkQ3FXd0FH?= =?utf-8?B?TjRBRnVrckhmV3RPM2hkWU9VbzN4ZjJpc1RlZE9hQ2lVdmJLcmx3UHdUZGdS?= =?utf-8?B?L3RuK3B0ZTM2bFZqM0dLZk5yTkRzUytPaldUNmdQLzRoVXBEOXZSSEwzNUZY?= =?utf-8?B?ak9Pa0N1MitYZFI4U2VXdTRVYUVQaDhPN0Z1ZWRIeS9pSGpLSU5GdkRMN1VX?= =?utf-8?B?RlFrYnVMd1E3ZjhPVWczbUpXZHhQVDNuTTVIcjVhYXg2L1hZWnducFoxdk02?= =?utf-8?B?Uy9KN3JzbS8xdzNLZ1hQeEhpN3kzaEhUSHpMMEowQW9tZ2NrRkYxQUFTSGp2?= =?utf-8?B?U0srb2JaMGRSVTZXSzVuZkh0T1hGSS9aQXBrbkJxSFFkV2xEalhEU3dHTE1C?= =?utf-8?B?b0R6K2FCMklUaVhoT09aRHJVZWJDb01qN0dHM1lrRXRwR25RMlJFZjQxZktO?= =?utf-8?B?Mm1TWFZqb1RRaE8rSzlwNHlKaHN2TjJycGdkdE1sWTZtcCszajJOYnFiS3RX?= =?utf-8?B?ZldCQWphK203dlNFay9iL1h5WTl5aHN2OUFtSWpuZDZ1aDhodWhMZExEZzVZ?= =?utf-8?B?SDgrRWw5NWR4VXVyKzA2QjZjNktOYVVnbVpGcmJHbWZ0V2RRZG5ob1E3QkNM?= =?utf-8?B?QTdTcXNqck1HVUtrcElrc2plcnBZSVlMMHJJc2RWQVRaWk1LcGpnbHFqb0x6?= =?utf-8?B?dml4blBUYjFwaEdwZE1zVlpkb1lWK2hQUWFHZHFhM1RucHUxR1E2QmZLWWxI?= =?utf-8?B?UHBiZXlQQ2F4NFpVaTNYbUUwMktvOTFFSjNpdmlVelRaa0dUZWFMb1EyQlR3?= =?utf-8?B?UzZSaVR6R1c2RTU5YjRCUTRPcmgzOVh6V3hOZUthbHZRcDEvbXpsd0orVXh6?= =?utf-8?B?ZDExTzNZaTVKWWJhblgxeEdMS0NpRXVlMWUwckwyTDYyYU81NXN4b1J3cS9x?= =?utf-8?B?S1pmdWUxZy9kNnFCL1VQNWhpWXh5bGdaenVxQ1dENkVINm1Xcjk0UGtVZWhi?= =?utf-8?B?MUNwckZrYjdJczM0QXFTRFpTOFY4VDVmRXlBYi84ZkJHUFloVHBmTGIrRFNw?= =?utf-8?B?OWZZQ0x1azVpM0htbzlpaWJac2JZVytHN1pLSWZmOExOczVsK1FkVGRWeElN?= =?utf-8?B?V1VsdTQ3ckpDeGVpVFBsMjViZGZKNVJHWDlRR0pudWZwa2RFb2trNWdPd2pQ?= =?utf-8?B?RmpWNllGdkFtak1zMEk1a09WeHBVVXhXdG5xNmdtby9NL2NSbjd3TCtiMUdZ?= =?utf-8?B?QTZOMUlXSHNkYUFiQWNBeEY3NnhYZlUvRTR2UlpPZjM2aU5vWnhkVWNjdGFQ?= =?utf-8?B?YWlZZWxlbWk4OHVJaEQ2QU9zOS9VeHpIS25ZV2pyQTByK0hGTTN3WGVZU3RY?= =?utf-8?B?YmtSK2pnbkI5aEMwdWx1NnQwaWZPMkhhNlpFQjFYTWs5MGdCVU5HdGQxOERr?= =?utf-8?B?ZFFjYjA5Vm4xSDJNQllQUXZYWFZaVDJBZG1RbUw1RjF5a2Z0ZHE4SlRjOGIr?= =?utf-8?B?M01CZzIycnZNTlp3YURnTk1KRnFsRjdlWkdobVNqbmMrc0labU9WODJlV2R0?= =?utf-8?B?TVFRVzhBbjlmSDgwOUN1MzNyTFZkMStVNlJpZExTTHV3UlVFRk9RYTJwQT09?= X-Forefront-PRVS: 037291602B X-Forefront-Antispam-Report: SFV:NSPM;SFS:(10019020)(4630300001)(7370300001)(6009001)(6049001)(39450400003)(39840400002)(39400400002)(39410400002)(377454003)(24454002)(23676002)(81166006)(33646002)(53936002)(53546010)(7350300001)(4001350100001)(189998001)(66066001)(65806001)(47776003)(110136004)(8676002)(38730400002)(6246003)(83506001)(54906002)(36756003)(478600001)(31696002)(76176999)(3846002)(6116002)(77096006)(6486002)(90366009)(4326008)(2906002)(6666003)(230700001)(6916009)(229853002)(7736002)(2950100002)(93886004)(5660300001)(305945005)(42186005)(31686004)(25786009)(50466002)(50986999)(65826007)(86362001)(54356999)(64126003);DIR:OUT;SFP:1102;SCL:1;SRVR:DB5PR0801MB2726;H:[10.52.82.106];FPR:;SPF:None;MLV:sfv;LANG:en; X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtEQjVQUjA4MDFNQjI3MjY7MjM6em5TMXFMU1lGL0VZOUU2Q2pIem9lNzBR?= =?utf-8?B?dWhxMHRCMHRJSGM1NytJLy9Cb1o4TERrc29YOWM3NjlWSVNyZTdML3VvZEhW?= =?utf-8?B?Wk5zOGQ4V0pScUVhcUIrRkJmZy9SRXQxVzNQcmQ3MFlteFJrQ3R4VmQ0ejFS?= =?utf-8?B?eGZ0cnR6dVRTL2FsUDVJVXRSVnVtdzh3dWxiRXhEMjUyaGI2bTM3dGpTTldx?= =?utf-8?B?OFpaUkt0VjVCM1JLSytKM0VFVG16T0VIUnZ2OTV2Mm00bzZPUDdKR3VWSHBz?= =?utf-8?B?NXpkRFdCM1p2SzBCcFpxNTAydW1SYTJ0VmxRdWhMbUxCQ0Z6cTY3UVJ3cmxi?= =?utf-8?B?Z0JrejVTQ2EvblA0dVJGNUZjR3FheWpoOGtSY2xVUTBMcUE2YURxWXc2V2pP?= =?utf-8?B?VUlRSW1KOEdTdStISVRFanBweFV1cGVOU1V3aGdpb1hlTXdQWTFxZFdNYmda?= =?utf-8?B?ZGl6SFFvUTdIa0RUMEJtcXREczZrWVZFUEJxZUZWb3NndzM3NDlKWm5tT0dj?= =?utf-8?B?TXFsV2puVHpndXdFZVNCRmNYa1kvWmVGRVF3SDJ1cWZ6MHp6SHNhV3RtS1R6?= =?utf-8?B?aEREVWQ4REppNWZXQkY0bWJ0QWpTYXFCZHhsTFdCR0tXTi9hSHhrN0VEUjlS?= =?utf-8?B?bEMvRTNvSjY3M0hCU1VoV0ZCUmV4bjc3ZGtMY1pCY1ZZRlM3VDZRNDZGMFYv?= =?utf-8?B?SkI5d09GZS9ETmg1R1M0Y1JnVHQrTjJFckRZclQ1Nk4wWktnc2J3Q3B3RWYy?= =?utf-8?B?b3p1R0hKZ3N4Ym51UWVnM1VyN1NpY0VzclpRVWs4L29GZVkveXlieHNOcUY5?= =?utf-8?B?bkU0WURwanJBYlA1MHNCa0t5R3czb1labTd6eEZiRStrcUZRQnYwWkhuamJi?= =?utf-8?B?TzhaNXBsUmhTL0Z1OXhUc0p0SXl1Ylh4VmhiRHBlSGNRd2ZQR3lTSUNkT2hs?= =?utf-8?B?NjlWNWxuRzVXaTRnU3ZBVXBNOENtamU0S1VGVm9TNFIvbVFTUDlRUWd6dkZX?= =?utf-8?B?WisyRytNcHNYTUI4WkVuMUJnQzBQYmFLREF4R3RRQkhkMmVoZEVXL25zclpz?= =?utf-8?B?Nm1NcWx2cXNRMjExRCtFVFF0K0F5bFJ2VmlEWFRSUmgyUnQxZWk2ZVF1UkZU?= =?utf-8?B?SWtUVE1zZTF1Vzh0WjdDQmRDdEsydzJQS25nRVJDOVh6Y2VPSnhrclJzODRz?= =?utf-8?B?Y0hqc0Q5Y0RDR05tcWN0OGhia1NaL2J3YkEvYVNKZzVlUDd3OHVaek1SbmpC?= =?utf-8?B?OW9kUVp3bUw0NW9jZm9mbFJWcEJ1Ni9yekI5ZjhTeG9NMkhYS3ZWZ29zS3oy?= =?utf-8?B?ZFJnRWFaTzRoa0hWSHAwRy9mUFFDRWpvMUNpQmlHQTF0ZTJlbDFoTTRibDl4?= =?utf-8?B?TTVXd0xvOGRqRjk5Rm84d2xPaEdadnRuNmRnOElaK3lZdm1YdGJaam5qNUNS?= =?utf-8?B?eFo4R2k0V3YzMWovWlFmcWhhclo1SmNSWWpRYjR5NXY2OXQ2VUwvc0J4QUhr?= =?utf-8?B?Tm90VWU3U0k2R01JSk05YithTFgyRW9ndTVPYnBwUE5DRDE2aWxGUmlTdVA2?= =?utf-8?B?OVRHZ05aZzMvRU5kVjQ3NDlxTUsxRmYxN1B4bXkwc0pmc2hOVnAwdkN6cXA4?= =?utf-8?B?cFhTckhORVd1VFBIVHZldzlCTUprVEJCU0pqcnphVXUxaHdSekZqSUhzZG9Q?= =?utf-8?B?SURSZU81L0NNUFphaWpkdlpVVnlPMUFJMkNCZkxsRWlSZTNibG9MVVJ1N2x5?= =?utf-8?B?NWdIZjhaeXQ1T1NlMVphKzFCd1JqaTlCbGVuQnlMNm9BQlFLaEhkUHNvNjdZ?= =?utf-8?B?b1NYdGtyVHgzL1lEOXZBMUJ3ZXI5TmZud3JnTmVnYWRvTXcwaXdFTGI2dVAy?= =?utf-8?Q?pq/BXXd5ge9ug=3D?= X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtEQjVQUjA4MDFNQjI3MjY7NjppWTl1NkplemhvU09LMFFrU2J6SE5qUldR?= =?utf-8?B?MDVqK1M2YVp6eWxLNkJWLzJ5UFpIcXlrRW1GVGtxeU44bzV2K0x3cUxCSWEw?= =?utf-8?B?UHRmSGtadW9zUzZ1aWVSU1dhNGExdjY0QW9WNkVRalVKekNwaTRRc0NBZWpE?= =?utf-8?B?ZGVXcjJBTWE3Z0xmejlVWkxjcmhSbHNJRVFxS2lrZGR0Y1hRMTdheUg5ZDJD?= =?utf-8?B?bTNBWTE1ZWFnTlY5V0YxbWpSeXNubDE0WXcxZVgycXp5Mm42OHhmTzJXSFZ2?= =?utf-8?B?bHlWKzI1R3JLaEJ6NDJGdzEwUkNDT0cwRm80WmVqakhLY1Y2MmhuNzFUMEpU?= =?utf-8?B?V0NERFdTMkZINWhWVWdiVWtCTUlzU1lKb2xQSS9vOGNqUVlMRnVIVEJsWDBV?= =?utf-8?B?RTZyOVBBaDlTUU5lSnNadVRjMGFIZWFTek51YjVnNXlTQmtnOU1Qem5DdURt?= =?utf-8?B?dzlOcHBTQ21Ud2VZVzVQZWZmUmUzVWYyL0d6M1U1UnA2WmhQN0Z0R1RIeXZZ?= =?utf-8?B?Y1JrMEhLWE9CVTlJZzJ4NWoyRWZrM2k2Rm1YOXh0WEIxNmpVMW8zMWZKbUNm?= =?utf-8?B?RjdaSTNuK09hZXV3emJMVDN3Y3M5Ym1reTdjbE54czlPV210ZTBCeUV2TUh0?= =?utf-8?B?RnZQUmNYeklsbnRIaXN0Z3N2QS9VdFJISUU0NFA0S1o5L3BmVitpZXkvRTRD?= =?utf-8?B?cjVVbng2Q3dSZG5RWmlNay9kdTNvR2RjVHdnaGo2Lzc0RFZGdklCOFQ2RHVv?= =?utf-8?B?U3NJSlZ0djZhOFBFcHVma1pOL3J3RE1BSU5tczNxekNsZnMzYVMwUFVQbDJT?= =?utf-8?B?VE5tNXBqeEhJK3FySm54Ryswd1ZscDI0U0MxWk8wUzJPUFo2N3VsZ2h1Z3Ix?= =?utf-8?B?V0lhNWpXZmw2MWpqbFg2OGJOUEJrVHRkNER2bitGSnZoRXdGcklxdjYzU1Yx?= =?utf-8?B?Y2VDVlkzRkhiMTFwb1YrKzViNTV5ZU9RamNQaUErRi9iTkswd0pVckZUbWo5?= =?utf-8?B?dFNrODFpK0VITjNnL294K3k5TjNPRldoQTFUbGxvY1lkZGM1U0JYZ09RVEVU?= =?utf-8?B?OE84Q0taTUdOQnZDZVR4ZGVRR3FVNTNVbEFkL3JESU5HaGV3UW9CU0VWbEdQ?= =?utf-8?B?TVJqVFZpdVA0QmdpSWVoUUo5bURScDdGczNackU3TjJaTFVvb3lhOGZ4V3NG?= =?utf-8?B?cXd0SENHTVB2Y1VqdUFGMUkzd0dtRmxsNGgvMkk3dHpDYk1NWnVkUVZaREtp?= =?utf-8?B?ck1xeUdaRVVqOUdib1MvZnNjVGxEd0FBRkJza2F2WDRrQ1ppaldYRTZmMVF6?= =?utf-8?Q?8hZImPJijlMvkXxQJDw4kFHp4mNbQun+Q=3D?= X-Microsoft-Exchange-Diagnostics: 1;DB5PR0801MB2726;5:EA45yOVAk2ZIzghtkmqo5rhSUnDDJwPmtssYhnJdfKMmjJOwK67RfM8qjOaaYsKifvcLa+viJMwfjoeLvhFGlyENijog8eAL4aA9Epol3JVXwD+oKEsYC4n6JmEeXcaros8ICuuEgVmC5wIXEOu6sGN7877Kp313R9GTrayCcMtvIzbVhY9jW6QCCmqbENHd+b2BWYtKBud6HY+AMX6fHZAV8vwrRuGlWJv0LvjqIFywgrS1CL9vKbdJp53zcDYrs+gMru/tnuYxtzKRnGwchpi24PdXKEZTkwRc1OXP2o34fyuyE6ymVGM/xjwDZ0+OlHYAmMHht9d2OwEes6XrDMrMpHOmWPupyIc4fKFZ8n5HMVBzX7IL++v73X4xvKXzUr0egZILLnLZkWkJwIO6fw3P3z0aQEQdKzlSG86KnIkutQmH5rY78k50Hz6cTI6yWUjL/vFvy4Bia+jYS3bmQnTX8fzcKba2np5CZ8a+wvSl30k4nUdFD8NFF3eM5jXp;24:uQi4wf68Na/Z7fsdMcDE6NWWwzSP4AoYOHYVQq1tmjTrX++yiwS5oSSdZQLhn2KOwkbzkRgTUNX8eeLZ/pI+Q53Z2IJSRVEoyWmhe5khczU= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;DB5PR0801MB2726;7:87ICItEkS1B5/bN0JKdX4j9whAvDtAfqGV2bo7Q8dNc5qCdp9mUq0m83n8VNa73xIO2dWmACnVJyzExDufr15zfrawup2W3dGyhlbr18kHGHkL5d+3ri1M6PiLK35pWoVGZJqbEPgXgLhdRsga0Hp5w4M4+9Yzhj+LmuXKWkRS37QzoiKX/2SDqedQPv93vPLIxNNnjxoysZ7e8T2DK7qERB8boRzJhv/W/3l15Q4H5OX/DwV9mvlqAhsft7Ugb8CdrX6kCXxSEf5i/vNSIGk9NChGtlU/J4tkZYipDXNf9i3eATSeqN3M7QD++EKkHzT/UEwGK2j9GrfTEh12W8RHG1pGeGrdsKnhh6Ex36/BX7oQgSf2XtotgYrJ4/nU3mTShvzn1BeelulHTRlMKVoD38fu6QQL+KUWICSeelDngIMZ3+KIZF1s444hIF+mwBdYoWnt7RTw5GwLt/yEunOFxY1rDiDLsn3W8DJS6Xptgfum1hmWKZvp4vgoEt7gDCcJs06E0uUk74AowZF+6XDPY6XdGHma9EtRQfIB4yN4T39UXzwNMN9oa9iuGuf2zdO6ml8Gw+OLD6ItMfdndxkCvmW/BMCGe7YLFJ+50zlaecYkCQtuiO1BYiDAKSpShBDzFpH0Zrov8qn2Vcgc14YbCV3oZk2KD1T7oKV1jz//21B9w19W/8rDZheP7oENQUpw5RVyBJjVSmitA9E1oLnVvWGEodfQKVGlNs5r9uHPga00SJUUZF/SID47rK6K05+yCutCYkUWnfbDAWAyuoi/Otc+GV9emRSCpyJ/u9KUQ= X-Microsoft-Exchange-Diagnostics: 1;DB5PR0801MB2726;20:l4o6Kp2xM60oEFESwBb66llqRbjrZvI4ni79Hx1zLC+AxuqbU1GufPON206cxIJ2eKK3w6+cS5TZMXjB3VFCO+wrK6lzg4qb5+CZ2yrQuYB01iEE4bmCBPd29RtsF0tiu/CLS7pbF0z774Bwt4U2xVqRj1fVAg4plnYrVOzklqE= X-OriginatorOrg: virtuozzo.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Jul 2017 21:32:49.2696 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB5PR0801MB2726 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 07/19/2017 12:31 AM, Andrey Ryabinin wrote: > On 07/18/2017 11:26 PM, Linus Torvalds wrote: >> On Tue, Jul 18, 2017 at 1:15 PM, Andrey Ryabinin >> wrote: >>> >>> No, it does warn about valid users. The report that Dave posted wasn't about wrong strscpy() usage >>> it was about reading 8-bytes from 5-bytes source string. It wasn't about buggy 'count' at all. >>> So KASAN will warn for perfectly valid code like this: >>> char dest[16]; >>> strscpy(dest, "12345", sizeof(dest)): >> >> Ugh, ok, yes. >> >>> For strscpy() that would mean making the *whole* read from 'src' buffer unchecked by KASAN. >> >> So we do have that READ_ONCE_NOCHECK(), but could we perhaps have >> something that doesn't do a NOCHECK but a partial check and is simply >> ok with "this is an optimistc longer access" >> > > This can be dont, I think. s/dont/done