Skip to content

Commit 86bc3f8

Browse files
committed
Format generated exclusion files
The format depends on the length of the package name so we format the generated file with the CLI instead of mirror the formating behavior in the template.
1 parent ebf64e6 commit 86bc3f8

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

76 files changed

+242
-76
lines changed

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

0 commit comments

Comments
 (0)