We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
TypeTrackerPrivate.qll
1 parent 489e1e9 commit 7178022Copy full SHA for 7178022
python/ql/src/experimental/typetracking/TypeTracker.qll
@@ -1,6 +1,6 @@
1
/** Step Summaries and Type Tracking */
2
3
-private import TypeTrackerPrivate
+private import TypeTrackerSpecific
4
5
/**
6
* Any string that may appear as the name of a piece of content. This will usually include things like:
python/ql/src/experimental/typetracking/TypeTrackerPrivate.qll renamed to python/ql/src/experimental/typetracking/TypeTrackerSpecific.qll
@@ -1,3 +1,7 @@
+/**
+ * Provides Python-specific definitions for use in the type tracker library.
+ */
+
private import python
private import semmle.python.dataflow.new.internal.DataFlowPublic as DataFlowPublic
7
private import semmle.python.dataflow.new.internal.DataFlowPrivate as DataFlowPrivate
0 commit comments