JS: Set promisified=true after promisification

asgerf · asgerf · commit f8b819760fc4 · 2025-10-21T10:19:20.000+02:00
diff --git a/javascript/ql/lib/semmle/javascript/ApiGraphs.qll b/javascript/ql/lib/semmle/javascript/ApiGraphs.qll
@@ -1309,7 +1309,7 @@ module API {
       |
         promisificationBigStep(prev, result) and
         validPromisificationState(prevPromisified, prevProp) and
-        promisified = prevPromisified and
+        promisified = true and
         boundArgs = prevBoundArgs and
         prop = prevProp
         or

Original file line number	Diff line number	Diff line change
`@@ -1309,7 +1309,7 @@ module API {`
`1309`	`1309`	`\|`
`1310`	`1310`	`promisificationBigStep(prev, result) and`
`1311`	`1311`	`validPromisificationState(prevPromisified, prevProp) and`
`1312`		`- promisified = prevPromisified and`
	`1312`	`+ promisified = true and`
`1313`	`1313`	`boundArgs = prevBoundArgs and`
`1314`	`1314`	`prop = prevProp`
`1315`	`1315`	`or`