Skip to content

Commit 7bd2818

Browse files
authored
Merge pull request github#12151 from jketema/remove-experimental-dataflow
C++: Remove experimental copy of the use-use IR dataflow library
2 parents 8522edd + 5f33827 commit 7bd2818

40 files changed

+954
-27032
lines changed

config/identical-files.json

Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -17,10 +17,6 @@
1717
"cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll",
1818
"cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll",
1919
"cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll",
20-
"cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll",
21-
"cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll",
22-
"cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll",
23-
"cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll",
2420
"csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll",
2521
"csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll",
2622
"csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll",
@@ -45,7 +41,6 @@
4541
"java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll",
4642
"cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll",
4743
"cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll",
48-
"cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll",
4944
"csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll",
5045
"go/ql/lib/semmle/go/dataflow/internal/DataFlowImplCommon.qll",
5146
"python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImplCommon.qll",
@@ -58,9 +53,6 @@
5853
"cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingImpl.qll",
5954
"cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingImpl.qll",
6055
"cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingImpl.qll",
61-
"cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingImpl.qll",
62-
"cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingImpl.qll",
63-
"cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingImpl.qll",
6456
"csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll",
6557
"csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking2/TaintTrackingImpl.qll",
6658
"csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking3/TaintTrackingImpl.qll",
@@ -82,7 +74,6 @@
8274
"java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplConsistency.qll",
8375
"cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplConsistency.qll",
8476
"cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplConsistency.qll",
85-
"cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImplConsistency.qll",
8677
"csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplConsistency.qll",
8778
"python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImplConsistency.qll",
8879
"ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplConsistency.qll",

cpp/ql/lib/experimental/semmle/code/cpp/dataflow/ProductFlow.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
import experimental.semmle.code.cpp.ir.dataflow.DataFlow
2-
import experimental.semmle.code.cpp.ir.dataflow.DataFlow2
1+
import semmle.code.cpp.ir.dataflow.DataFlow
2+
import semmle.code.cpp.ir.dataflow.DataFlow2
33

44
module ProductFlow {
55
abstract class Configuration extends string {

cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/DataFlow.qll

Lines changed: 0 additions & 26 deletions
This file was deleted.

cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/DataFlow2.qll

Lines changed: 0 additions & 16 deletions
This file was deleted.

cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/DataFlow3.qll

Lines changed: 0 additions & 16 deletions
This file was deleted.

cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/DataFlow4.qll

Lines changed: 0 additions & 16 deletions
This file was deleted.

cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/ResolveCall.qll

Lines changed: 0 additions & 23 deletions
This file was deleted.

cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/TaintTracking.qll

Lines changed: 0 additions & 23 deletions
This file was deleted.

cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/TaintTracking2.qll

Lines changed: 0 additions & 15 deletions
This file was deleted.

cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/TaintTracking3.qll

Lines changed: 0 additions & 15 deletions
This file was deleted.

0 commit comments

Comments
 (0)