[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Misra rule 10.3 violations report script


  • To: Stefano Stabellini <sstabellini@xxxxxxxxxx>
  • From: Luca Fancellu <Luca.Fancellu@xxxxxxx>
  • Date: Fri, 29 Sep 2023 07:33:55 +0000
  • Accept-language: en-GB, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=JqAO5OIhOuqvoJAZN3fDVXFBtyrR9lVW0pffhrRBATM=; b=HXGGubNU0AMyUf2NuyA7KtpHKnSJ/8L5HfP6Mx/Lge7SyJdWhnW81vG1vA+zXODoFSg5iPQSQfquAqVi8mAJ6sq2dBYow8whjCIGNASpHZBk6XeKUL26Qrfn4s6gjAWTRjI0fad0PL0wjNYBigF3AgpDLPqvmdmoDT3rDvQ39cxsr/95zoQdNxMrU+p141k7FZFiuRVXp+8pxdLCKxz56CkaRW77WUyzBBIrh7qkL6EZBCFfKwvEPBEg/wNO4/YfhABODPD7MQrfgq2FoC33MoBfRRE4geOH6PBnr/2B5c8JB1ib6F75K/x9yaBKYh0tVh7QYjA2IbNYp8CcHyn+Bg==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Ck+Q/kss4jy04+Z4fvJr9skcFjFoV6bf51kYZIr2uT7pL9CYenDIpyKogebWS0vuhkyUGVxMqJKNvoQq0PYa+DbHcNLnLoSrpvW7EUtLMDECBbFS9p8dS0pdWJ5DgQg6B9BR/NFrbtxHmdnPoBRSCmWVQ/UBz1Bgqgrnj/tQ3+8NLz+PfmI22ln1IsdOfAb4jOQSzC5BYC/wZAUc2DISZbAaYBDMTvWToLLWfBlq4SvxjuMy9Xj0z3D99UQxktVNQOl/4BazVU5nlpuuJbBtwVIr3xt6ZZ0Rzk97HL6ROYIblYZ+VOWW39G81mB3xoYuTSbbNlgzuQN5P/gaSpTONw==
  • Authentication-results-original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
  • Cc: Xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>, "andrew.cooper3@xxxxxxxxxx" <andrew.cooper3@xxxxxxxxxx>, George Dunlap <george.dunlap@xxxxxxxxxx>, Jan Beulich <jbeulich@xxxxxxxx>, Julien Grall <julien@xxxxxxx>, Bertrand Marquis <Bertrand.Marquis@xxxxxxx>, "nicola.vetrini@xxxxxxxxxxx" <nicola.vetrini@xxxxxxxxxxx>, "simone.ballarin@xxxxxxxxxxx" <simone.ballarin@xxxxxxxxxxx>, "federico.serafini@xxxxxxxxxxx" <federico.serafini@xxxxxxxxxxx>
  • Delivery-date: Fri, 29 Sep 2023 07:34:39 +0000
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
  • Nodisclaimer: true
  • Original-authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
  • Thread-index: AQHZ8eai6IW78bNFI0CROv/LSYbjorAw4NCAgACJ7wA=
  • Thread-topic: Misra rule 10.3 violations report script


> On 29 Sep 2023, at 00:20, Stefano Stabellini <sstabellini@xxxxxxxxxx> wrote:
> 
> On Thu, 28 Sep 2023, Luca Fancellu wrote:
>> Hi all,
>> 
>> In the last MISRA meeting Stefano told me about the Rule 10.3 and that we 
>> have a lot of violations,
>> but GCC has a way to list them as written in rules.rst.
>> 
>> So the issue was just that we have a lot of violations, most of them coming 
>> from headers and the
>> Developer might feel a bit lost since the number is very high, so I’ve 
>> developed this script to take
>> the GCC build log and create a list of unique occurrences of the violations 
>> sorted in descending
>> order, so that who has a bit of time can try to fix some of those and maybe 
>> can start from the top
>> of the list to fix as many as possible occurrences.
>> 
>> I attach the script as patch file.

Hi Stefano,

> 
> Thanks Luca! Actually I think this is great! The script makes it much
> easier to use the GCC output to address 10.3 violations. I think we
> should have it in the xen.git tree.

Ok I can refine it a bit in that case and push it to the ML.

> 
> Thanks to the script I was able to quickly address the top violation in
> bitmap.h.

I’m wondering if we need to remove from the list the excluded files, in this
first shot I didn’t do that but should be easy.



 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.