Skip to content

Commit 82f37e9

Browse files
tausbntausbn
authored
Merge pull request github#4595 from tausbn/python-promote-dataflow-libraries
Python: Promote experimental data-flow libraries
2 parents 25e88ed + 69d2d71 commit 82f37e9

File tree

108 files changed

+2357
-2350
lines changed

Some content is hidden

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

108 files changed

+2357
-2350
lines changed

‎config/identical-files.json

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -19,17 +19,17 @@
1919
"csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll",
2020
"csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll",
2121
"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"
2626
],
2727
"DataFlow Java/C++/C#/Python Common": [
2828
"java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll",
2929
"cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll",
3030
"cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll",
3131
"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"
3333
],
3434
"TaintTracking::Configuration Java/C++/C#/Python": [
3535
"cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll",
@@ -43,17 +43,17 @@
4343
"csharp/ql/src/semmle/code/csharp/dataflow/internal/tainttracking5/TaintTrackingImpl.qll",
4444
"java/ql/src/semmle/code/java/dataflow/internal/tainttracking1/TaintTrackingImpl.qll",
4545
"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"
5050
],
5151
"DataFlow Java/C++/C#/Python Consistency checks": [
5252
"java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplConsistency.qll",
5353
"cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplConsistency.qll",
5454
"cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplConsistency.qll",
5555
"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"
5757
],
5858
"SsaReadPosition Java/C#": [
5959
"java/ql/src/semmle/code/java/dataflow/internal/rangeanalysis/SsaReadPositionCommon.qll",

‎python/ql/src/Security/CWE-022/ChainedConfigs12.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,10 +6,10 @@
66
*/
77

88
import python
9-
import experimental.dataflow.DataFlow
10-
import experimental.dataflow.DataFlow2
11-
import experimental.dataflow.TaintTracking
12-
import experimental.dataflow.TaintTracking2
9+
import semmle.python.dataflow.new.DataFlow
10+
import semmle.python.dataflow.new.DataFlow2
11+
import semmle.python.dataflow.new.TaintTracking
12+
import semmle.python.dataflow.new.TaintTracking2
1313

1414
/**
1515
* A `DataFlow::Node` that appears as a sink in Config1 and a source in Config2.

‎python/ql/src/Security/CWE-022/PathInjection.ql

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -37,12 +37,12 @@
3737
*/
3838

3939
import python
40-
import experimental.dataflow.DataFlow
41-
import experimental.dataflow.DataFlow2
42-
import experimental.dataflow.TaintTracking
43-
import experimental.dataflow.TaintTracking2
44-
import experimental.semmle.python.Concepts
45-
import experimental.dataflow.RemoteFlowSources
40+
import semmle.python.dataflow.new.DataFlow
41+
import semmle.python.dataflow.new.DataFlow2
42+
import semmle.python.dataflow.new.TaintTracking
43+
import semmle.python.dataflow.new.TaintTracking2
44+
import semmle.python.Concepts
45+
import semmle.python.dataflow.new.RemoteFlowSources
4646
import ChainedConfigs12
4747

4848
// ---------------------------------------------------------------------------

‎python/ql/src/Security/CWE-078/CommandInjection.ql

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,10 +15,10 @@
1515
*/
1616

1717
import python
18-
import experimental.dataflow.DataFlow
19-
import experimental.dataflow.TaintTracking
20-
import experimental.semmle.python.Concepts
21-
import experimental.dataflow.RemoteFlowSources
18+
import semmle.python.dataflow.new.DataFlow
19+
import semmle.python.dataflow.new.TaintTracking
20+
import semmle.python.Concepts
21+
import semmle.python.dataflow.new.RemoteFlowSources
2222
import DataFlow::PathGraph
2323

2424
class CommandInjectionConfiguration extends TaintTracking::Configuration {

‎python/ql/src/Security/CWE-079/ReflectedXss.ql

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -13,10 +13,10 @@
1313
*/
1414

1515
import python
16-
import experimental.dataflow.DataFlow
17-
import experimental.dataflow.TaintTracking
18-
import experimental.semmle.python.Concepts
19-
import experimental.dataflow.RemoteFlowSources
16+
import semmle.python.dataflow.new.DataFlow
17+
import semmle.python.dataflow.new.TaintTracking
18+
import semmle.python.Concepts
19+
import semmle.python.dataflow.new.RemoteFlowSources
2020
import DataFlow::PathGraph
2121

2222
class ReflectedXssConfiguration extends TaintTracking::Configuration {

‎python/ql/src/Security/CWE-089/SqlInjection.ql

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -12,10 +12,10 @@
1212
*/
1313

1414
import python
15-
import experimental.dataflow.DataFlow
16-
import experimental.dataflow.TaintTracking
17-
import experimental.semmle.python.Concepts
18-
import experimental.dataflow.RemoteFlowSources
15+
import semmle.python.dataflow.new.DataFlow
16+
import semmle.python.dataflow.new.TaintTracking
17+
import semmle.python.Concepts
18+
import semmle.python.dataflow.new.RemoteFlowSources
1919
import DataFlow::PathGraph
2020

2121
class SQLInjectionConfiguration extends TaintTracking::Configuration {

‎python/ql/src/Security/CWE-094/CodeInjection.ql

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,10 +15,10 @@
1515
*/
1616

1717
import python
18-
import experimental.dataflow.DataFlow
19-
import experimental.dataflow.TaintTracking
20-
import experimental.semmle.python.Concepts
21-
import experimental.dataflow.RemoteFlowSources
18+
import semmle.python.dataflow.new.DataFlow
19+
import semmle.python.dataflow.new.TaintTracking
20+
import semmle.python.Concepts
21+
import semmle.python.dataflow.new.RemoteFlowSources
2222
import DataFlow::PathGraph
2323

2424
class CodeInjectionConfiguration extends TaintTracking::Configuration {

‎python/ql/src/Security/CWE-502/UnsafeDeserialization.ql

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -12,10 +12,10 @@
1212
*/
1313

1414
import python
15-
import experimental.dataflow.DataFlow
16-
import experimental.dataflow.TaintTracking
17-
import experimental.semmle.python.Concepts
18-
import experimental.dataflow.RemoteFlowSources
15+
import semmle.python.dataflow.new.DataFlow
16+
import semmle.python.dataflow.new.TaintTracking
17+
import semmle.python.Concepts
18+
import semmle.python.dataflow.new.RemoteFlowSources
1919
import DataFlow::PathGraph
2020

2121
class UnsafeDeserializationConfiguration extends TaintTracking::Configuration {

‎python/ql/src/experimental/dataflow/internal/tainttracking1/TaintTrackingParameter.qll

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

‎python/ql/src/experimental/dataflow/internal/tainttracking2/TaintTrackingParameter.qll

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

0 commit comments

Comments
 (0)