From d15d74691a9d30f3825c9e2f20f81051f64db715 Mon Sep 17 00:00:00 2001 From: Daniel Krupp Date: Tue, 6 Apr 2021 15:21:49 +0200 Subject: [PATCH] Removing noisy checkers from the sei-cert guideline --- config/checker_guideline_map.json | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/config/checker_guideline_map.json b/config/checker_guideline_map.json index 9858758af6..20f313fd4b 100644 --- a/config/checker_guideline_map.json +++ b/config/checker_guideline_map.json @@ -6,9 +6,6 @@ "alpha.core.CastSize": { "sei-cert": ["mem35-c", "str38-c"] }, - "alpha.core.CastToStruct": { - "sei-cert": ["exp36-c"] - }, "alpha.core.Conversion": { "sei-cert": ["flp36-c", "int30-c"] }, @@ -24,10 +21,7 @@ "alpha.cplusplus.DeleteWithNonVirtualDtor": { "sei-cert": ["oop52-cpp"] }, - "alpha.cplusplus.InvalidatedIterator": { - "sei-cert": ["ctr51-cpp"] - }, - "alpha.cplusplus.PlacementNew": { + "cplusplus.PlacementNew": { "sei-cert": ["mem54-cpp"] }, "alpha.security.ArrayBound": {