[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
deviations tagging
- To: <fusa-sig@xxxxxxxxxxxxxxxxxxxx>
- From: Stefano Stabellini <stefano.stabellini@xxxxxxxxxx>
- Date: Tue, 14 Jun 2022 15:47:12 -0700
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass (sender ip is 149.199.62.198) smtp.rcpttodomain=lists.xenproject.org smtp.mailfrom=xilinx.com; dmarc=pass (p=none sp=none pct=100) action=none header.from=xilinx.com; dkim=none (message not signed); 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=y0jKsRRMPrgWxSfkTSKIQdlLszcTwUb2fwV+w5oEbIc=; b=M0q7fIB+nQXxmkGklDRA8I9n36egCxZlwzCHxxJySwS682txA4L1jQi0VhwddV8j58h6nNNPHMfa/kvFrAo/VDMj74sBaxAO0vrNET17VwXxJ0Dvq7cbhcpQFAySzpPuKRUlaDlWolJqTAVjbHshV5ehAZlFOn7WaXLOQT2x0HTdajOpTVv6ykvHsF1X5yScLVpIXpsd+GyY6S/1VCdN4ITL/o9ft5hPEDZrb3GopcUPSTh78LUa7fCSnIuHRCKxwAtDvkfnOZlnNFz9k7rR9CzyyeisymGehA2meAc/Kf/cmfeYuP8rZPrYLoI67xu031+PbHN/EXnd79NHJSdnFg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Zc9J3Wn7THtHPWSu45GOVyREAtxXEZ05VKfToMlTamJF43fpRDWLQ6cTNaVVEZf7P3RvmisnrttkucIgTKRGEgfnKGrd0WyILAX+RmEhRT0REDEmlwtmlRSkdMx+Hd9uM4X2+GmGuOeXdJM21Tsbxfq3z3J2j8+k6ANsuOzdkKrKSAA9MYE/7HSZh5nHdetr0kxxVvJyAhBAmUoE5rg28YTIvNSgMXTWrfKhHAnerX53rIgng4bsVGn92OHcJzgaThNJBX1QCkg4zQmdgPxlEjvYuHcTgVqdIpVUkghyTZ5LJcEdt4lyE0SpZtUtQAyUEzUisPbPJjOOgl+aJTVRFw==
- Cc: <stefanos@xxxxxxxxxx>, <roberto.bagnara@xxxxxxxxxxx>, <jbeulich@xxxxxxxx>, <andrew.cooper3@xxxxxxxxxx>, <roger.pau@xxxxxxxxxx>, <julien@xxxxxxx>, <Bertrand.Marquis@xxxxxxx>, <Artem_Mygaiev@xxxxxxxx>
- Delivery-date: Tue, 14 Jun 2022 22:47:29 +0000
- List-id: This is a discussion list for members of the Xen Project FuSa SIG <fusa-sig.lists.xenproject.org>
Hi all,
Roberto was suggesting to use the following different categories for
tagging deviations. We could pick any "TAG" we like for the in-code
comments (or other tagging systems).
I am also CCing the MISRA C team to give them early visibility on this.
Feel free to provide early feedback if you have any. The plan is to
discuss it further during the next fusa-sig call and come up with a more
detailed proposal (including the actual tags, how to use them and more)
for xen-devel next.
Cheers,
Stefano
adopted
The report should be considered originated by adopted code without any
contribution of native code to the report.
safe
The report is correct but the specific behavior is safe under every
aspect assumed to be covered by the guideline.
relied
The report is correct but the rule concerns exclusively "developer
confusion" or readability matters that are not relevant for adopted code,
which is assumed to work as is and it is not meant to be read, reviewed
or modified by human programmers. To be used for adopted code only.
false-positive
In the opinion of the developer the violation report is not correct
and the problem has been notified to the tool provider.
To be used only for violation reports.
compliant
The developer can prove that the possible non-compliance shown by
caution report cannot happen in any situation and can motivate such
claim. To be used only for caution reports.
false-negative
The developer has found a non-compliance not shown by the tool and the
problem has been notified to the tool provider.
|
