JS: relax instantiation requirement for .prototype field

2026-04-24 08:15:14 +02:00 · 2019-03-05 17:23:22 +00:00
parent 96f1d91150
commit f21871d275
2 changed files with 5 additions and 1 deletions
--- a/javascript/ql/src/semmle/javascript/dataflow/internal/AbstractPropertiesImpl.qll
+++ b/javascript/ql/src/semmle/javascript/dataflow/internal/AbstractPropertiesImpl.qll
@@ -49,7 +49,6 @@ AbstractValue getAnInitialPropertyValue(DefiniteAbstractValue baseVal, string pr
  or
  // `f.prototype` for functions `f` that are instantiated
  propertyName = "prototype" and
-  baseVal = any(NewExpr ne).getCallee().analyze().getALocalValue() and
  result = TAbstractInstance(baseVal)
 }