Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 375da38

Browse files
yoffyoff
committed
Python: Minimal compilation of shared dataflow
1 parent 5e021c2 commit 375da38

15 files changed

Lines changed: 7302 additions & 8 deletions

‎config/identical-files.json‎

Lines changed: 13 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
{
2-
"DataFlow Java/C++/C#": [
2+
"DataFlow Java/C++/C#/Python": [
33
"java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl.qll",
44
"java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl2.qll",
55
"java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl3.qll",
@@ -18,15 +18,18 @@
1818
"csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll",
1919
"csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll",
2020
"csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll",
21-
"csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll"
21+
"csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll",
22+
"python/ql/src/semmle/code/python/dataflow/internal/DataFlowImpl.qll",
23+
"python/ql/src/semmle/code/python/dataflow/internal/DataFlowImpl2.qll"
2224
],
23-
"DataFlow Java/C++/C# Common": [
25+
"DataFlow Java/C++/C#/Python Common": [
2426
"java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll",
2527
"cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll",
2628
"cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll",
27-
"csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll"
29+
"csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll",
30+
"python/ql/src/semmle/code/python/dataflow/internal/DataFlowImplCommon.qll"
2831
],
29-
"TaintTracking::Configuration Java/C++/C#": [
32+
"TaintTracking::Configuration Java/C++/C#/Python": [
3033
"cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll",
3134
"cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingImpl.qll",
3235
"cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingImpl.qll",
@@ -37,13 +40,15 @@
3740
"csharp/ql/src/semmle/code/csharp/dataflow/internal/tainttracking4/TaintTrackingImpl.qll",
3841
"csharp/ql/src/semmle/code/csharp/dataflow/internal/tainttracking5/TaintTrackingImpl.qll",
3942
"java/ql/src/semmle/code/java/dataflow/internal/tainttracking1/TaintTrackingImpl.qll",
40-
"java/ql/src/semmle/code/java/dataflow/internal/tainttracking2/TaintTrackingImpl.qll"
43+
"java/ql/src/semmle/code/java/dataflow/internal/tainttracking2/TaintTrackingImpl.qll",
44+
"python/ql/src/semmle/code/python/dataflow/internal/tainttracking1/TaintTrackingImpl.qll"
4145
],
42-
"DataFlow Java/C++/C# Consistency checks": [
46+
"DataFlow Java/C++/C#/Python Consistency checks": [
4347
"java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplConsistency.qll",
4448
"cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplConsistency.qll",
4549
"cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplConsistency.qll",
46-
"csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplConsistency.qll"
50+
"csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplConsistency.qll",
51+
"python/ql/src/semmle/code/python/dataflow/internal/DataFlowImplConsistency.qll"
4752
],
4853
"C++ SubBasicBlocks": [
4954
"cpp/ql/src/semmle/code/cpp/controlflow/SubBasicBlocks.qll",

‎python/ql/src/semmle/code/python/dataflow/DataFlow.qll‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
/**
2+
* Provides classes for performing local (intra-procedural) and
3+
* global (inter-procedural) data flow analyses.
4+
*/
5+
6+
import python
7+
8+
module DataFlow {
9+
import semmle.code.python.dataflow.internal.DataFlowImpl
10+
}

‎python/ql/src/semmle/code/python/dataflow/DataFlow2.qll‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
/**
2+
* Provides classes for performing local (intra-procedural) and
3+
* global (inter-procedural) data flow analyses.
4+
*/
5+
6+
import python
7+
8+
module DataFlow2 {
9+
import semmle.code.python.dataflow.internal.DataFlowImpl2
10+
}

‎python/ql/src/semmle/code/python/dataflow/TaintTracking.qll‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
/**
2+
* Provides classes for performing local (intra-procedural) and
3+
* global (inter-procedural) taint-tracking analyses.
4+
*/
5+
6+
import python
7+
8+
module TaintTracking {
9+
import semmle.code.python.dataflow.internal.tainttracking1.TaintTrackingImpl
10+
}

0 commit comments

Comments
 (0)