hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-14 11:19:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Port UnintentionalImport.ql

Browse Source 
No test changes.
This commit is contained in:
Taus
2026-02-26 14:42:40 +00:00
parent 330dba6ed7
commit 09fc9f0bf2
1 changed files with 9 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
python/ql/src/Imports/UnintentionalImport.ql
View File

@@ -13,23 +13,19 @@
*/
import python
private import LegacyPointsTo
private import semmle.python.dataflow.new.internal.ImportResolution
private import semmle.python.types.ImportTime
predicate import_star(ImportStar imp, ModuleValue exporter) {
exporter.importedAs(imp.getImportedModuleName())
predicate all_defined(Module exporter) {
exporter.(ImportTimeScope).definesName("__all__")
or
exporter.getInitModule().(ImportTimeScope).definesName("__all__")
}
predicate all_defined(ModuleValue exporter) {
exporter.isBuiltin()
or
exporter.getScope().(ImportTimeScope).definesName("__all__")
or
exporter.getScope().getInitModule().(ImportTimeScope).definesName("__all__")
}
from ImportStar imp, ModuleValue exporter
where import_star(imp, exporter) and not all_defined(exporter) and not exporter.isAbsent()
from ImportStar imp, Module exporter
where
exporter = ImportResolution::getModuleImportedByImportStar(imp) and
not all_defined(exporter)
select imp,
"Import pollutes the enclosing namespace, as the imported module $@ does not define '__all__'.",
exporter, exporter.getName()