JS: Localize MkClassInstance

This commit is contained in:
Asger F
2025-10-10 10:03:21 +02:00
parent a2a9518d2a
commit 385bb32710

View File

@@ -742,10 +742,11 @@ module API {
MkModuleUse(string m) { exists(MkModuleImport(m)) } or
MkModuleExport(string m) { isDeclaredPackageName(m) } or
MkModuleImport(string m) { isImportedPackageName(m) } or
MkClassInstance(DataFlow::SourceNode cls) {
cls = any(Function f).flow()
or
any(TypeAnnotation n).hasUnderlyingType(m, _)
cls = any(ClassDefinition c).flow()
} or
MkClassInstance(DataFlow::ClassNode cls) or
MkDef(DataFlow::Node nd) {
nd = any(DataFlow::PropWrite w).getRhs()
or