Skip to content

Commit 3ad83cc

Browse files
committed
JS: Summarise store steps for type tracking
1 parent 7cd84c8 commit 3ad83cc

File tree

2 files changed

+3
-1
lines changed

2 files changed

+3
-1
lines changed

javascript/ql/lib/semmle/javascript/dataflow/internal/StepSummary.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -156,6 +156,9 @@ private module Cached {
156156
exists(string prop |
157157
param.getAPropertyRead(prop).flowsTo(fun.getAReturn()) and
158158
summary = LoadStep(prop)
159+
or
160+
fun.getAReturn().getALocalSource().getAPropertySource(prop) = param and
161+
summary = StoreStep(prop)
159162
)
160163
) and
161164
if param = fun.getAParameter()
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1 @@
1-
| summarize.js:30:14:30:26 | // track: obj | Failed to track obj here. |
21
| summarize.js:33:14:33:26 | // track: obj | Failed to track obj here. |

0 commit comments

Comments
 (0)