[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2] automation/eclair: monitor rules 11.6, 17.2, 18.3, 21.11, 21.14-16
- To: Jan Beulich <jbeulich@xxxxxxxx>
- From: Dmytro Prokopchuk1 <dmytro_prokopchuk1@xxxxxxxx>
- Date: Wed, 23 Jul 2025 15:22:36 +0000
- Accept-language: en-US, uk-UA, ru-RU
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=epam.com; dmarc=pass action=none header.from=epam.com; dkim=pass header.d=epam.com; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=enabtvlus+OVXOW9sWGe+edlBZRhOo2+7YdleUR/VdY=; b=n/rHWKX9OYmzwGA0ZZz7luYXSaetal2Ci9e3v0fxIeJwmsYefUsc/ZGvB/uY1H9f0z91dhfi1ao5zY3oxYqH2G1bGnRy/uo6zdeJrNx/RrXxgEzutVQTfT3ZzH/nguFjdttdI0H/4HXSzQQ8qAF6SCH8WEwaaKLz72aBcJM38ZNpbULXoCFeg64Xu7+s7JewfRfkbLV09zchd/Ginb3wZ5HT8j+jc0MiQFgEdkvJiYpxdlcSS7jUiYXR67P/ADadwwt+D24z4V03o3Y0+Wu0LHTTKlTaVAqH5uG/W68Rnn7QyUZeaWwfn1wQuoX4H+f3PbhJQKfpVcvumvuUvYb1sQ==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=QgUwOJgUu47moQVUjbcFFWfHD8ACIB1Bez2uc71wM8NZEOfbk04E7/Dt01xeSPbYRC0gwO4vmRjup1Kgv4AmVxz+wrG+o+Bs3aZU+ujlehrYa2LOXamyuB+2iuh3TjG+UAYngQY5Y5LR2znWf0d0kLRX19OFQtsE1+iPS+LZCKme/LB+lBv4Tlfa9KuX5hn+nC/eE7uu3DPypWRIspuy2JpoP5/rfASKGNfpXJ4MQMX/zuFxeQFD56EtaPy2F06hK0pnx/YsJbXr2g9JB1qZTlL6iM9BEBjoaP7JFsijj5qg0ohBYsEqeqiOB19HIckZhUQiblZj9aOl08961E3avQ==
- Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=epam.com;
- Cc: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>, Doug Goldstein <cardoe@xxxxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>
- Delivery-date: Wed, 23 Jul 2025 15:22:48 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
- Thread-index: AQHb++OSR1IPVyyv8U2dW9yY4SuMsrQ/0S6AgAACRwA=
- Thread-topic: [PATCH v2] automation/eclair: monitor rules 11.6, 17.2, 18.3, 21.11, 21.14-16
On 7/23/25 18:14, Jan Beulich wrote:
> On 23.07.2025 17:07, Dmytro Prokopchuk1 wrote:
>> Add MISRA C rules to the monitored set.
>> All these rules are 'accepted' for XEN, have zero or few violations,
>> and should be enabled for the ECLAIR scan.
>>
>> Rule 17.2 is enabled to prevent accidental direct recursion.
>
> How does this "prevent" work? I see no deviations so far, despite there being
> a few cases of recursion. Hence if one had a need to introduce another
> variant,
> how would one go about doing so with no code usable as reference?
>
> Jan
I agree. Word "prevent" is inappropriate here.
Better to say "monitor" or "scan".
Dmytro.
|
