JS: Localize MkModuleImport

This commit is contained in:
Asger F
2025-10-10 10:03:03 +02:00
parent 3110e5a8ac
commit a2a9518d2a

View File

@@ -740,9 +740,8 @@ module API {
MkRoot() or
MkModuleDef(string m) { exists(MkModuleExport(m)) } or
MkModuleUse(string m) { exists(MkModuleImport(m)) } or
MkModuleImport(string m) {
imports(_, m)
MkModuleExport(string m) { isDeclaredPackageName(m) } or
MkModuleImport(string m) { isImportedPackageName(m) } or
or
any(TypeAnnotation n).hasUnderlyingType(m, _)
} or
@@ -1959,3 +1958,9 @@ overlay[local]
private predicate isDeclaredPackageName(string m) {
m = any(PackageJson pkg).getDeclaredPackageName()
}
overlay[local]
private predicate isImportedPackageName(string m) {
m = any(Import imprt).getImportedPathString() and
m.regexpMatch("[^./].*")
}