JS: Summarise store steps for type tracking

This commit is contained in:
Asger F
2024-02-28 22:02:07 +01:00
parent 7cd84c8f0a
commit 3ad83cc098
2 changed files with 3 additions and 1 deletions

View File

@@ -156,6 +156,9 @@ private module Cached {
exists(string prop |
param.getAPropertyRead(prop).flowsTo(fun.getAReturn()) and
summary = LoadStep(prop)
or
fun.getAReturn().getALocalSource().getAPropertySource(prop) = param and
summary = StoreStep(prop)
)
) and
if param = fun.getAParameter()

View File

@@ -1,2 +1 @@
| summarize.js:30:14:30:26 | // track: obj | Failed to track obj here. |
| summarize.js:33:14:33:26 | // track: obj | Failed to track obj here. |