Skip to content

Commit 6aee03e

Browse files
committed
Suppress dataflow deprecation warning
In CodeQL CLI 2.14 it is not possible to include deprecation warnings in test files because the paths are absolute, and so are not portable between different systems. We avoid the deprecation warning for now by copying the relevant parts of the dataflow library and removing the deprecation warning. This workaround can be removed when we upgrade to 2.15, as the deprecation warning has been fixed to not use absolute paths.
1 parent c5dc05b commit 6aee03e

File tree

177 files changed

+220
-466
lines changed

Some content is hidden

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

177 files changed

+220
-466
lines changed

c/cert/src/rules/ARR37-C/DoNotUsePointerArithmeticOnNonArrayObjectPointers.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313

1414
import cpp
1515
import codingstandards.c.cert
16-
import semmle.code.cpp.dataflow.DataFlow
16+
import codingstandards.cpp.dataflow.DataFlow
1717
import DataFlow::PathGraph
1818

1919
/**

c/cert/src/rules/ARR39-C/DoNotAddOrSubtractAScaledIntegerToAPointer.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@
1414
import cpp
1515
import codingstandards.c.cert
1616
import codingstandards.c.Pointers
17-
import semmle.code.cpp.dataflow.TaintTracking
17+
import codingstandards.cpp.dataflow.TaintTracking
1818
import DataFlow::PathGraph
1919

2020
/**

c/cert/src/rules/CON30-C/CleanUpThreadSpecificStorage.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@
1515
import cpp
1616
import codingstandards.c.cert
1717
import codingstandards.cpp.Concurrency
18-
import semmle.code.cpp.dataflow.TaintTracking
19-
import semmle.code.cpp.dataflow.DataFlow
18+
import codingstandards.cpp.dataflow.TaintTracking
19+
import codingstandards.cpp.dataflow.DataFlow
2020

2121
class TssCreateToTssDeleteDataFlowConfiguration extends DataFlow::Configuration {
2222
TssCreateToTssDeleteDataFlowConfiguration() { this = "TssCreateToTssDeleteDataFlowConfiguration" }

c/cert/src/rules/CON34-C/AppropriateThreadObjectStorageDurations.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@
1515
import cpp
1616
import codingstandards.c.cert
1717
import codingstandards.cpp.Concurrency
18-
import semmle.code.cpp.dataflow.TaintTracking
19-
import semmle.code.cpp.dataflow.DataFlow
18+
import codingstandards.cpp.dataflow.TaintTracking
19+
import codingstandards.cpp.dataflow.DataFlow
2020
import semmle.code.cpp.commons.Alloc
2121

2222
from C11ThreadCreateCall tcc, StackVariable sv, Expr arg, Expr acc

c/cert/src/rules/CON34-C/ThreadObjectStorageDurationsNotInitialized.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -16,8 +16,8 @@
1616
import cpp
1717
import codingstandards.c.cert
1818
import codingstandards.cpp.Concurrency
19-
import semmle.code.cpp.dataflow.TaintTracking
20-
import semmle.code.cpp.dataflow.DataFlow
19+
import codingstandards.cpp.dataflow.TaintTracking
20+
import codingstandards.cpp.dataflow.DataFlow
2121

2222
from TSSGetFunctionCall tsg, ThreadedFunction tf
2323
where

c/cert/src/rules/DCL30-C/AppropriateStorageDurationsFunctionReturn.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313

1414
import cpp
1515
import codingstandards.c.cert
16-
import semmle.code.cpp.dataflow.DataFlow
16+
import codingstandards.cpp.dataflow.DataFlow
1717

1818
class Source extends StackVariable {
1919
Source() { not this instanceof Parameter }

c/cert/src/rules/ERR30-C/FunctionCallBeforeErrnoCheck.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@
1414
import cpp
1515
import codingstandards.c.cert
1616
import codingstandards.c.Errno
17-
import semmle.code.cpp.dataflow.DataFlow
17+
import codingstandards.cpp.dataflow.DataFlow
1818

1919
/**
2020
* A call to an `OutOfBandErrnoSettingFunction`

c/cert/src/rules/EXP30-C/DependenceOnOrderOfFunctionArgumentsForSideEffects.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,8 +14,8 @@
1414
import cpp
1515
import codingstandards.c.cert
1616
import codingstandards.cpp.SideEffect
17-
import semmle.code.cpp.dataflow.DataFlow
18-
import semmle.code.cpp.dataflow.TaintTracking
17+
import codingstandards.cpp.dataflow.DataFlow
18+
import codingstandards.cpp.dataflow.TaintTracking
1919
import semmle.code.cpp.valuenumbering.GlobalValueNumbering
2020

2121
/** Holds if the function's return value is derived from the `AliasParamter` p. */

c/cert/src/rules/EXP36-C/DoNotCastPointerToMoreStrictlyAlignedPointerType.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,8 +14,8 @@
1414
import cpp
1515
import codingstandards.c.cert
1616
import codingstandards.cpp.Alignment
17-
import semmle.code.cpp.dataflow.DataFlow
18-
import semmle.code.cpp.dataflow.DataFlow2
17+
import codingstandards.cpp.dataflow.DataFlow
18+
import codingstandards.cpp.dataflow.DataFlow2
1919
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
2020
import DataFlow::PathGraph
2121

c/cert/src/rules/EXP37-C/DoNotCallFunctionPointerWithIncompatibleType.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313

1414
import cpp
1515
import codingstandards.c.cert
16-
import semmle.code.cpp.dataflow.DataFlow
16+
import codingstandards.cpp.dataflow.DataFlow
1717
import DataFlow::PathGraph
1818

1919
/**

0 commit comments

Comments
 (0)