hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 03:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Rename TypeTrackerPrivate.qll

Browse Source
This commit is contained in:
Taus
2021-04-21 11:53:13 +00:00
committed by GitHub
parent 489e1e94e4
commit 71780228ae
2 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/src/experimental/typetracking/TypeTracker.qll
View File

@@ -1,6 +1,6 @@
/** Step Summaries and Type Tracking */
private import TypeTrackerPrivate
private import TypeTrackerSpecific
/**
* Any string that may appear as the name of a piece of content. This will usually include things like:

4
python/ql/src/experimental/typetracking/TypeTrackerPrivate.qll → python/ql/src/experimental/typetracking/TypeTrackerSpecific.qll
View File

@@ -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
private import semmle.python.dataflow.new.internal.DataFlowPrivate as DataFlowPrivate