Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Commit 86bc3f8

Browse filesBrowse files
rvermeulenrvermeulen
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
Copy full SHA for 86bc3f8

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
Dismiss banner
Expand file treeCollapse file tree

76 files changed

+242
-76
lines changed
Open diff view settings
Collapse file

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

Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/Banned.qll
+3-1Lines 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
Collapse file

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

Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/Concurrency1.qll
+3-1Lines 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
Collapse file

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

Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/Concurrency2.qll
+3-1Lines 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
Collapse file

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

Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/Concurrency3.qll
+3-1Lines 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
Collapse file

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

Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/Contracts1.qll
+3-1Lines 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
Collapse file

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

Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/Declarations1.qll
+3-1Lines 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
Collapse file

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

Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/Expressions.qll
+3-1Lines 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
Collapse file

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

Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/IO1.qll
+3-1Lines 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
Collapse file

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

Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/IO2.qll
+3-1Lines 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
Collapse file

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

Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/IO3.qll
+3-1Lines 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 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.