Skip to content

Commit 1d4b947

Browse files
committed
Address incorrect format exclusion files
1 parent 8738fe1 commit 1d4b947

24 files changed

+24
-72
lines changed

cpp/common/src/codingstandards/cpp/exclusions/c/Banned.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -24,9 +24,7 @@ newtype BannedQuery =
2424
TOctalConstantsUsedQuery() or
2525
TRestrictTypeQualifierUsedQuery()
2626

27-
predicate isBannedQueryMetadata(
28-
Query query, string queryId, string ruleId, string category
29-
) {
27+
predicate isBannedQueryMetadata(Query query, string queryId, string ruleId, string category) {
3028
query =
3129
// `Query` instance for the `doNotCallSystem` query
3230
BannedPackage::doNotCallSystemQuery() and

cpp/common/src/codingstandards/cpp/exclusions/c/Concurrency1.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,7 @@ newtype Concurrency1Query =
88
TRaceConditionsWhenUsingLibraryFunctionsQuery() or
99
TDoNotCallSignalInMultithreadedProgramQuery()
1010

11-
predicate isConcurrency1QueryMetadata(
12-
Query query, string queryId, string ruleId, string category
13-
) {
11+
predicate isConcurrency1QueryMetadata(Query query, string queryId, string ruleId, string category) {
1412
query =
1513
// `Query` instance for the `preventDataRacesWithMultipleThreads` query
1614
Concurrency1Package::preventDataRacesWithMultipleThreadsQuery() and

cpp/common/src/codingstandards/cpp/exclusions/c/Concurrency2.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,9 +7,7 @@ newtype Concurrency2Query =
77
TDeadlockByLockingInPredefinedOrderQuery() or
88
TWrapFunctionsThatCanSpuriouslyWakeUpInLoopQuery()
99

10-
predicate isConcurrency2QueryMetadata(
11-
Query query, string queryId, string ruleId, string category
12-
) {
10+
predicate isConcurrency2QueryMetadata(Query query, string queryId, string ruleId, string category) {
1311
query =
1412
// `Query` instance for the `deadlockByLockingInPredefinedOrder` query
1513
Concurrency2Package::deadlockByLockingInPredefinedOrderQuery() and

cpp/common/src/codingstandards/cpp/exclusions/c/Concurrency3.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,7 @@ newtype Concurrency3Query =
99
TPreserveSafetyWhenUsingConditionVariablesQuery() or
1010
TWrapFunctionsThatCanFailSpuriouslyInLoopQuery()
1111

12-
predicate isConcurrency3QueryMetadata(
13-
Query query, string queryId, string ruleId, string category
14-
) {
12+
predicate isConcurrency3QueryMetadata(Query query, string queryId, string ruleId, string category) {
1513
query =
1614
// `Query` instance for the `doNotAllowAMutexToGoOutOfScopeWhileLocked` query
1715
Concurrency3Package::doNotAllowAMutexToGoOutOfScopeWhileLockedQuery() and

cpp/common/src/codingstandards/cpp/exclusions/c/Contracts1.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,9 +7,7 @@ newtype Contracts1Query =
77
TDoNotModifyTheReturnValueOfCertainFunctionsQuery() or
88
TEnvPointerIsInvalidAfterCertainOperationsQuery()
99

10-
predicate isContracts1QueryMetadata(
11-
Query query, string queryId, string ruleId, string category
12-
) {
10+
predicate isContracts1QueryMetadata(Query query, string queryId, string ruleId, string category) {
1311
query =
1412
// `Query` instance for the `doNotModifyTheReturnValueOfCertainFunctions` query
1513
Contracts1Package::doNotModifyTheReturnValueOfCertainFunctionsQuery() and

cpp/common/src/codingstandards/cpp/exclusions/c/Declarations1.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,9 +11,7 @@ newtype Declarations1Query =
1111
TMacroIdentifiersNotDistinctQuery() or
1212
TMacroIdentifierNotDistinctFromParameterQuery()
1313

14-
predicate isDeclarations1QueryMetadata(
15-
Query query, string queryId, string ruleId, string category
16-
) {
14+
predicate isDeclarations1QueryMetadata(Query query, string queryId, string ruleId, string category) {
1715
query =
1816
// `Query` instance for the `declareIdentifiersBeforeUsingThem` query
1917
Declarations1Package::declareIdentifiersBeforeUsingThemQuery() and

cpp/common/src/codingstandards/cpp/exclusions/c/Expressions.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,7 @@ newtype ExpressionsQuery =
99
TCallPOSIXOpenWithCorrectArgumentCountQuery() or
1010
TDoNotUseABitwiseOperatorWithABooleanLikeOperandQuery()
1111

12-
predicate isExpressionsQueryMetadata(
13-
Query query, string queryId, string ruleId, string category
14-
) {
12+
predicate isExpressionsQueryMetadata(Query query, string queryId, string ruleId, string category) {
1513
query =
1614
// `Query` instance for the `doNotCallFunctionPointerWithIncompatibleType` query
1715
ExpressionsPackage::doNotCallFunctionPointerWithIncompatibleTypeQuery() and

cpp/common/src/codingstandards/cpp/exclusions/c/IO1.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,7 @@ newtype IO1Query =
1212
TUndefinedBehaviorAccessingAClosedFileQuery() or
1313
TFileUsedAfterClosedQuery()
1414

15-
predicate isIO1QueryMetadata(
16-
Query query, string queryId, string ruleId, string category
17-
) {
15+
predicate isIO1QueryMetadata(Query query, string queryId, string ruleId, string category) {
1816
query =
1917
// `Query` instance for the `excludeUserInputFromFormatStrings` query
2018
IO1Package::excludeUserInputFromFormatStringsQuery() and

cpp/common/src/codingstandards/cpp/exclusions/c/IO2.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,7 @@ newtype IO2Query =
99
TDoNotCallGetcAndPutcWithSideEffectsQuery() or
1010
TOnlyUseValuesForFsetposThatAreReturnedFromFgetposQuery()
1111

12-
predicate isIO2QueryMetadata(
13-
Query query, string queryId, string ruleId, string category
14-
) {
12+
predicate isIO2QueryMetadata(Query query, string queryId, string ruleId, string category) {
1513
query =
1614
// `Query` instance for the `doNotCopyAFileObject` query
1715
IO2Package::doNotCopyAFileObjectQuery() and

cpp/common/src/codingstandards/cpp/exclusions/c/IO3.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,9 +11,7 @@ newtype IO3Query =
1111
TPointerToAFileObjectDereferencedQuery() or
1212
TEofShallBeComparedWithUnmodifiedReturnValuesQuery()
1313

14-
predicate isIO3QueryMetadata(
15-
Query query, string queryId, string ruleId, string category
16-
) {
14+
predicate isIO3QueryMetadata(Query query, string queryId, string ruleId, string category) {
1715
query =
1816
// `Query` instance for the `doNotPerformFileOperationsOnDevices` query
1917
IO3Package::doNotPerformFileOperationsOnDevicesQuery() and

0 commit comments

Comments
 (0)