JS: Add a missing needsDefNode restriction

Previously this was implied by MkClassInstance but that's no longer
the case.
This commit is contained in:
Asger F
2025-11-25 14:09:13 +01:00
parent 369848a870
commit cae27c40be

View File

@@ -1532,6 +1532,7 @@ module API {
succ = MkDef(rhs)
or
exists(DataFlow::ClassNode cls |
needsDefNode(cls) and
cls.getAnInstanceReference().flowsTo(rhs) and
succ = MkClassInstance(cls)
)