|
19 | 19 | "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll",
|
20 | 20 | "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll",
|
21 | 21 | "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll",
|
22 |
| - "python/ql/src/experimental/dataflow/internal/DataFlowImpl.qll", |
23 |
| - "python/ql/src/experimental/dataflow/internal/DataFlowImpl2.qll", |
24 |
| - "python/ql/src/experimental/dataflow/internal/DataFlowImpl3.qll", |
25 |
| - "python/ql/src/experimental/dataflow/internal/DataFlowImpl4.qll" |
| 22 | + "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImpl.qll", |
| 23 | + "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImpl2.qll", |
| 24 | + "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImpl3.qll", |
| 25 | + "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImpl4.qll" |
26 | 26 | ],
|
27 | 27 | "DataFlow Java/C++/C#/Python Common": [
|
28 | 28 | "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll",
|
29 | 29 | "cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll",
|
30 | 30 | "cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll",
|
31 | 31 | "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll",
|
32 |
| - "python/ql/src/experimental/dataflow/internal/DataFlowImplCommon.qll" |
| 32 | + "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImplCommon.qll" |
33 | 33 | ],
|
34 | 34 | "TaintTracking::Configuration Java/C++/C#/Python": [
|
35 | 35 | "cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll",
|
|
43 | 43 | "csharp/ql/src/semmle/code/csharp/dataflow/internal/tainttracking5/TaintTrackingImpl.qll",
|
44 | 44 | "java/ql/src/semmle/code/java/dataflow/internal/tainttracking1/TaintTrackingImpl.qll",
|
45 | 45 | "java/ql/src/semmle/code/java/dataflow/internal/tainttracking2/TaintTrackingImpl.qll",
|
46 |
| - "python/ql/src/experimental/dataflow/internal/tainttracking1/TaintTrackingImpl.qll", |
47 |
| - "python/ql/src/experimental/dataflow/internal/tainttracking2/TaintTrackingImpl.qll", |
48 |
| - "python/ql/src/experimental/dataflow/internal/tainttracking3/TaintTrackingImpl.qll", |
49 |
| - "python/ql/src/experimental/dataflow/internal/tainttracking4/TaintTrackingImpl.qll" |
| 46 | + "python/ql/src/semmle/python/dataflow/new/internal/tainttracking1/TaintTrackingImpl.qll", |
| 47 | + "python/ql/src/semmle/python/dataflow/new/internal/tainttracking2/TaintTrackingImpl.qll", |
| 48 | + "python/ql/src/semmle/python/dataflow/new/internal/tainttracking3/TaintTrackingImpl.qll", |
| 49 | + "python/ql/src/semmle/python/dataflow/new/internal/tainttracking4/TaintTrackingImpl.qll" |
50 | 50 | ],
|
51 | 51 | "DataFlow Java/C++/C#/Python Consistency checks": [
|
52 | 52 | "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplConsistency.qll",
|
53 | 53 | "cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplConsistency.qll",
|
54 | 54 | "cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplConsistency.qll",
|
55 | 55 | "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplConsistency.qll",
|
56 |
| - "python/ql/src/experimental/dataflow/internal/DataFlowImplConsistency.qll" |
| 56 | + "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImplConsistency.qll" |
57 | 57 | ],
|
58 | 58 | "SsaReadPosition Java/C#": [
|
59 | 59 | "java/ql/src/semmle/code/java/dataflow/internal/rangeanalysis/SsaReadPositionCommon.qll",
|
|
0 commit comments