From f873655336c497daea2e4f51ede8c2638b5eb0b1 Mon Sep 17 00:00:00 2001 From: Whisperity Date: Tue, 9 Jul 2024 19:44:51 +0200 Subject: [PATCH 1/2] chore(config): Apply "no `alpha` checker in production profiles" invariant from `label-tool` --- config/labels/analyzers/clangsa.json | 109 ++------------------------- 1 file changed, 8 insertions(+), 101 deletions(-) diff --git a/config/labels/analyzers/clangsa.json b/config/labels/analyzers/clangsa.json index 4c17138e01..7a4fcd9f1b 100644 --- a/config/labels/analyzers/clangsa.json +++ b/config/labels/analyzers/clangsa.json @@ -3,79 +3,58 @@ "labels": { "alpha.clone.CloneChecker": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-clone-clonechecker-c-c-objc", - "profile:extreme", "severity:LOW" ], "alpha.core.BoolAssignment": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-boolassignment-objc", - "profile:extreme", - "profile:sensitive", "severity:LOW" ], "alpha.core.C11Lock": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-c11lock", - "profile:extreme", "severity:HIGH" ], "alpha.core.CallAndMessageUnInitRefArg": [ "doc_url:https://releases.llvm.org/18.1.1/tools/clang/docs/analyzer/checkers.html#alpha-core-callandmessageuninitrefarg-c-c-objc", - "profile:extreme", "severity:HIGH" ], "alpha.core.CastSize": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-castsize-c", - "profile:extreme", - "profile:sensitive", "severity:LOW" ], "alpha.core.CastToStruct": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-casttostruct-c-c", - "profile:extreme", "severity:LOW" ], "alpha.core.Conversion": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-conversion-c-c-objc", - "profile:extreme", - "profile:sensitive", "severity:LOW" ], "alpha.core.DynamicTypeChecker": [ - "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-dynamictypechecker-objc", - "profile:extreme", - "profile:sensitive" + "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-dynamictypechecker-objc" ], "alpha.core.FixedAddr": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-fixedaddr-c", - "profile:extreme", "severity:LOW" ], "alpha.core.IdenticalExpr": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-identicalexpr-c-c", - "profile:extreme", "severity:LOW" ], "alpha.core.PointerArithm": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-pointerarithm-c", - "profile:extreme", "severity:LOW" ], "alpha.core.PointerSub": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-pointersub-c", - "profile:extreme", "severity:LOW" ], - "alpha.core.PthreadLockBase": [ - "profile:extreme" - ], + "alpha.core.PthreadLockBase": [], "alpha.core.SizeofPtr": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-sizeofptr-c", - "profile:extreme", - "profile:sensitive", "severity:LOW" ], "alpha.core.StackAddressAsyncEscape": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-stackaddressasyncescape-c", - "profile:extreme", "severity:HIGH" ], "alpha.core.StdVariant": [ @@ -83,226 +62,156 @@ ], "alpha.core.TestAfterDivZero": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-core-testafterdivzero-c", - "profile:extreme", - "profile:sensitive", "severity:MEDIUM" ], "alpha.cplusplus.ArrayDelete": [ "doc_url:https://releases.llvm.org/18.1.1/tools/clang/docs/analyzer/checkers.html#alpha-cplusplus-arraydelete-c", - "profile:extreme", - "profile:sensitive", "severity:HIGH" ], - "alpha.cplusplus.ContainerModeling": [ - "profile:extreme", - "profile:sensitive" - ], + "alpha.cplusplus.ContainerModeling": [], "alpha.cplusplus.DeleteWithNonVirtualDtor": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-cplusplus-deletewithnonvirtualdtor-c", - "profile:extreme", - "profile:sensitive", "severity:HIGH" ], "alpha.cplusplus.EnumCastOutOfRange": [ "doc_url:https://releases.llvm.org/17.0.1/tools/clang/docs/analyzer/checkers.html#alpha-cplusplus-enumcastoutofrange-c", - "profile:extreme", - "profile:sensitive", "severity:MEDIUM" ], "alpha.cplusplus.InvalidatedIterator": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-cplusplus-invalidatediterator-c", - "profile:extreme", - "profile:sensitive", "severity:HIGH" ], "alpha.cplusplus.IteratorModeling": [ - "profile:extreme", - "profile:sensitive", "severity:MEDIUM" ], "alpha.cplusplus.IteratorRange": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-cplusplus-iteratorrange-c", - "profile:extreme", - "profile:sensitive", "severity:MEDIUM" ], "alpha.cplusplus.MismatchedIterator": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-cplusplus-mismatchediterator-c", - "profile:extreme", - "profile:sensitive", "severity:MEDIUM" ], "alpha.cplusplus.MisusedMovedObject": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-cplusplus-misusedmovedobject-c" ], "alpha.cplusplus.PlacementNew": [ - "profile:extreme", - "profile:sensitive", "severity:HIGH" ], - "alpha.cplusplus.STLAlgorithmModeling": [ - "profile:extreme", - "profile:sensitive" - ], + "alpha.cplusplus.STLAlgorithmModeling": [], "alpha.cplusplus.SmartPtr": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-cplusplus-smartptr-c", - "profile:extreme", - "profile:sensitive", "severity:HIGH" ], "alpha.cplusplus.UninitializedObject": [ - "profile:extreme", - "profile:sensitive", "severity:MEDIUM" ], "alpha.deadcode.UnreachableCode": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-deadcode-unreachablecode-c-c", - "profile:extreme", "severity:LOW" ], "alpha.fuchsia.Lock": [ - "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-fuchsia-lock", - "profile:extreme" + "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-fuchsia-lock" ], "alpha.llvm.Conventions": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-llvm-conventions", - "profile:extreme", "severity:LOW" ], "alpha.nondeterminism.PointerIteration": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-nondeterminism-pointeriteration-c", - "profile:extreme", "severity:MEDIUM" ], "alpha.nondeterminism.PointerSorting": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-nondeterminism-pointersorting-c", - "profile:extreme", "severity:MEDIUM" ], "alpha.osx.cocoa.DirectIvarAssignment": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-osx-cocoa-directivarassignment-objc", - "profile:extreme", "severity:LOW" ], "alpha.osx.cocoa.DirectIvarAssignmentForAnnotatedFunctions": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-osx-cocoa-directivarassignmentforannotatedfunctions-objc", - "profile:extreme", "severity:LOW" ], "alpha.osx.cocoa.InstanceVariableInvalidation": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-osx-cocoa-instancevariableinvalidation-objc", - "profile:extreme", "severity:LOW" ], - "alpha.osx.cocoa.IvarInvalidationModeling": [ - "profile:extreme" - ], + "alpha.osx.cocoa.IvarInvalidationModeling": [], "alpha.osx.cocoa.MissingInvalidationMethod": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-osx-cocoa-missinginvalidationmethod-objc", - "profile:extreme", "severity:LOW" ], "alpha.osx.cocoa.localizability.PluralMisuseChecker": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-osx-cocoa-localizability-pluralmisusechecker-objc", - "profile:extreme", "severity:LOW" ], "alpha.security.ArrayBound": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-security-arraybound-c", - "profile:extreme", "severity:HIGH" ], "alpha.security.ArrayBoundV2": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-security-arrayboundv2-c", - "profile:extreme", "severity:HIGH" ], "alpha.security.MallocOverflow": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-security-mallocoverflow-c", - "profile:extreme", "severity:HIGH" ], "alpha.security.MmapWriteExec": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-security-mmapwriteexec-c", - "profile:extreme", - "profile:sensitive", "severity:MEDIUM" ], "alpha.security.ReturnPtrRange": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-security-returnptrrange-c", - "profile:extreme", - "profile:sensitive", "severity:HIGH" ], "alpha.security.cert.env.InvalidPtr": [ "doc_url:https://releases.llvm.org/17.0.1/tools/clang/docs/analyzer/checkers.html#alpha-security-cert-env-invalidptr", - "profile:default", - "profile:extreme", - "profile:sensitive", "severity:MEDIUM" ], "alpha.security.cert.pos.34c": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-security-cert-pos-34c", - "profile:default", - "profile:extreme", - "profile:sensitive", "severity:HIGH" ], "alpha.unix.Chroot": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-unix-chroot-c", - "profile:extreme", - "profile:sensitive", "severity:MEDIUM" ], "alpha.unix.Errno": [ "doc_url:https://releases.llvm.org/17.0.1/tools/clang/docs/analyzer/checkers.html#alpha-unix-errno-c", - "profile:extreme", - "profile:sensitive", "severity:HIGH" ], "alpha.unix.PthreadLock": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-unix-pthreadlock-c", - "profile:extreme", - "profile:sensitive", "severity:HIGH" ], "alpha.unix.SimpleStream": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-unix-simplestream-c", - "profile:extreme", "severity:MEDIUM" ], "alpha.unix.StdCLibraryFunctionArgs": [ "doc_url:https://releases.llvm.org/16.0.0/tools/clang/docs/analyzer/checkers.html#alpha-unix-stdclibraryfunctionargs", - "profile:extreme", "severity:HIGH" ], "alpha.unix.Stream": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-unix-stream-c", - "profile:default", - "profile:extreme", - "profile:sensitive", "severity:MEDIUM" ], "alpha.unix.cstring.BufferOverlap": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-unix-cstring-bufferoverlap-c", - "profile:extreme", "severity:HIGH" ], "alpha.unix.cstring.NotNullTerminated": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-unix-cstring-notnullterminated-c", - "profile:extreme", - "profile:sensitive", "severity:HIGH" ], "alpha.unix.cstring.OutOfBounds": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-unix-cstring-outofbounds-c", - "profile:extreme", - "profile:sensitive", "severity:HIGH" ], "alpha.unix.cstring.UninitializedRead": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-unix-cstring-uninitializedread-c", - "profile:extreme", "severity:HIGH" ], "alpha.webkit.ForwardDeclChecker": [ @@ -327,12 +236,10 @@ "severity:MEDIUM" ], "alpha.webkit.UncountedCallArgsChecker": [ - "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-webkit-uncountedcallargschecker", - "profile:extreme" + "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-webkit-uncountedcallargschecker" ], "alpha.webkit.UncountedLocalVarsChecker": [ - "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-webkit-uncountedlocalvarschecker", - "profile:extreme" + "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-webkit-uncountedlocalvarschecker" ], "alpha.webkit.UnretainedCallArgsChecker": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-webkit-unretainedcallargschecker", From 70f6698a95f928aeed7fb16dc899d3ec6469c570 Mon Sep 17 00:00:00 2001 From: bruntib Date: Tue, 3 Jun 2025 16:25:55 +0200 Subject: [PATCH 2/2] [cfg] Remove alpha checkers from all profiles --- config/labels/analyzers/clangsa.json | 7 ------- 1 file changed, 7 deletions(-) diff --git a/config/labels/analyzers/clangsa.json b/config/labels/analyzers/clangsa.json index 7a4fcd9f1b..11298f2c8e 100644 --- a/config/labels/analyzers/clangsa.json +++ b/config/labels/analyzers/clangsa.json @@ -221,18 +221,14 @@ ], "alpha.webkit.MemoryUnsafeCastChecker": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-webkit-memoryunsafecastchecker", - "profile:extreme", - "profile:security", "severity:HIGH" ], "alpha.webkit.NoUnretainedMemberChecker": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-webkit-nounretainedmemberchecker", - "profile:extreme", "severity:MEDIUM" ], "alpha.webkit.RetainPtrCtorAdoptChecker": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-webkit-retainptrctoradoptchecker", - "profile:extreme", "severity:MEDIUM" ], "alpha.webkit.UncountedCallArgsChecker": [ @@ -243,17 +239,14 @@ ], "alpha.webkit.UnretainedCallArgsChecker": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-webkit-unretainedcallargschecker", - "profile:extreme", "severity:MEDIUM" ], "alpha.webkit.UnretainedLambdaCapturesChecker": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-webkit-unretainedlambdacaptureschecker", - "profile:extreme", "severity:MEDIUM" ], "alpha.webkit.UnretainedLocalVarsChecker": [ "doc_url:https://clang.llvm.org/docs/analyzer/checkers.html#alpha-webkit-unretainedlocalvarschecker", - "profile:extreme", "severity:MEDIUM" ], "core.BitwiseShift": [