Received: by 10.223.176.46 with SMTP id f43csp465388wra; Wed, 24 Jan 2018 00:42:57 -0800 (PST) X-Google-Smtp-Source: AH8x224SYEiT9R8FMmPKw1p1xzpq9dm5ZvCMjijrBTl0mdBDRnk4RDTNhphipnaLjIDkNK5USl+5 X-Received: by 10.98.159.25 with SMTP id g25mr12422603pfe.224.1516783377291; Wed, 24 Jan 2018 00:42:57 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1516783377; cv=none; d=google.com; s=arc-20160816; b=V9UgSEp571MmUccb1SzLZHZxbG0y2KBDui8pg5SN8FND5SvOZgQnXY3mqGJ8EeAOfk +j9p6pgC7ByJlq+1rDqcwl3128Dn+K39xdPfPNbCsWBZIKZ3xSOciuK3TGa82CYrGKAx lkucFrwE+LjlZfVTRoN3FpzI5WqD2xJyqXARu7zg39qsgjcYwyrf9lFe7K5X7Na0cKdV 5AlbYN+vPT+Gn4DG7dbOVyK4IHIeLNr/cQrTigtBmxULI0cG2EKE7t8eYzstW9xg5Zbg /3XfeQyDQ/ZB2W1HvI3u0SruQ0RZRsZDMBh0oS0Gl+EJepGOwjFKKBWUJbZnuzljbXgr SXcQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding :content-language:in-reply-to:mime-version:user-agent:date :message-id:from:references:cc:to:subject:arc-authentication-results; bh=pcr4WPTXs/SxLzegnM+yfmwO3YA7mvKl/hlzECZw+eU=; b=FgcKroDsNTP8TRuSnMYV+g1Gh1FnzG0On0x5jL1hlWsZY9lOEt32wc1sIfuK8Apa8t lTduSnJHDHZ51Vrym3WuaXJs0umm3zYJwc5nklGw0ggS2AyyfbBp7YS0C3L6GpCWjG+3 nqsvRL2qwwcZA05ShBSQaSYV9kTMhgC5jhruTo6kqz0WrxV8hjmmEvduTA8BzgPRHecW iRq1zop6M6lZVP9XXnuJNO9rrbNbM23RDJLDw9auH2rDVVnT7Dn/OAYq9t0LBYqw0TR+ oFq46CiM7yYYdCrpipybHNk//QnLOqRpXYJdGByfIryt+h/HUhq45A3EVN0gMplWWnOa Wzyg== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=QUARANTINE sp=NONE dis=NONE) header.from=sourceforge.net Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id o19si15844360pgn.126.2018.01.24.00.42.43; Wed, 24 Jan 2018 00:42:57 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=QUARANTINE sp=NONE dis=NONE) header.from=sourceforge.net Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S932691AbeAXImE (ORCPT + 99 others); Wed, 24 Jan 2018 03:42:04 -0500 Received: from mout.web.de ([212.227.15.3]:53035 "EHLO mout.web.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S932103AbeAXImC (ORCPT ); Wed, 24 Jan 2018 03:42:02 -0500 Received: from [192.168.1.2] ([77.181.242.198]) by smtp.web.de (mrweb004 [213.165.67.108]) with ESMTPSA (Nemesis) id 0M6xc5-1f1irh00Bh-00woaL; Wed, 24 Jan 2018 09:41:48 +0100 Subject: Re: Coccinelle: zalloc-simple: Checking consequences from the usage of at signs in Python strings To: Julia Lawall , Masahiro Yamada , Himanshu Jha Cc: cocci@systeme.lip6.fr, LKML , kernel-janitors@vger.kernel.org, Gilles Muller , "Luis R. Rodriguez" , Michal Marek , Nicolas Palix References: From: SF Markus Elfring Message-ID: <993840d6-112c-215a-8b28-53affa1e7a76@users.sourceforge.net> Date: Wed, 24 Jan 2018 09:41:39 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.2 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-GB Content-Transfer-Encoding: 8bit X-Provags-ID: V03:K0:YRjdK9Lefmd6ucnDjFI7K1G+9FReXBvQmyxFRqoR6Z1fOvdWypD fGCl1PrOa9EQozfMe1w5+FH5MTqWzVHgkgFfDMyYbdKrOKFnXhqLoMFHfXpehkXknsphy7t 4Wi2GiEy/DGQ9nPBVcJT3umnDUjIQUAAnyO7QLFVqpdDulAORL+NR5E+xaOwwGW8cLVLdlq 0q3+Mfw6mUs8X+C+o623g== X-UI-Out-Filterresults: notjunk:1;V01:K0:vnd1YBnvAuM=:EkAxDcw1V1hoFkDkHelFqD uH7qkBsL4XYTWKBT19ZtXCZc+u2bcj+jaa2V7mURFRZA1Tf4rUT1gg9jNJLUGP2HvlhCR8gHt 6uDfny+EIF7lQxhdJFZXjv0DYv/sF4oEaKK9wjX0mtCk/VMWHi6UwYh3CimWG8W42RKMGzM1b DTVgF92WOzz5+5OHVAOdNJxh0BVSKyDd1RO12eX454i1qfuxmGqrnthMo4N8PGKHI3bwLiKQ5 927cjjBj9/J2KENCLEQJY+gHsB97cdInTGP2Eq5xRjZox5xk4q+CR1SbGNCeobT9DWxjUt5fW C8CmfqR8JQWtoJot6VLmTdkM50drq649qsbbOVlW2dn5QxI5Ox7ZbKJZts7yUoKOeZB2qKogd NPAoLFb8qxaqSi0u4ZY+0OUM6SBsW0VQiFuo5Zb7Nwyl627v8N31RmS/oRGydTxezcZk72Mq3 fipK82QdmRJoenrP4vZBonqDPGWol8FoL4wC+Ga2NT8vZpjIpUBieasCJ3KyZNMx7uvUlX64s YW7RrPmr2Ts4lakb54Nmd6rUapAkB0YvP6dIwtWBLh2o+5e0t0HKFzSgRCbsjnX2yMxYK3+9X gYD8/6ggk/l5Lo9kj+/NvwI2MVLhJ70s36ixoPrPSOUsooQEsIRpg+IL2exxSPV9OeiP5e2Ad QvWBCxXyXom5B/cRvX5B0BC0VQr1K4xnzKC6fdjC4/DbvK8U2eZoHpFmexhSOV7pVTNg1ivgm P8ogx10I7l9CE+hcko4Nac+Flwt6ncMULeRpyPqFU9Lj4buGoWolEnRg+E7i1n0RTjJ54QKGR 2Tq5jN86IFt0xlVax9b6anYPkf0sckndTF2CvfxmqSt85GAQWc= Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org > So it works, but you are complaining anyway? How serious do you interpret such information in the SmPL manual? >> https://github.com/coccinelle/coccinelle/blob/bf1c6a5869dd324f5faeeaa3a12d57270e478b21/docs/manual/cocci_syntax.tex#L50 >> >> “… >> Furthermore, @ should not be used in this code. … >> …” > > I guess the conclusion is that it woks in strings (which are pretty > universal) and not in comments (which are language specific). Would you like to achieve any safer data processing for potentially “reserved” characters? Regards, Markus