Skip to content

Commit 2dcb5fb

Browse files
committed
Ensure props are included in MkMemberLabel
1 parent 3eb4e39 commit 2dcb5fb

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

javascript/ql/lib/semmle/javascript/ApiGraphs.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1536,7 +1536,9 @@ module API {
15361536
prop = any(CanonicalName c).getName() or
15371537
prop = any(DataFlow::PropRef p).getPropertyName() or
15381538
exists(Impl::MkTypeUse(_, prop)) or
1539-
exists(any(Module m).getAnExportedValue(prop))
1539+
exists(any(Module m).getAnExportedValue(prop)) or
1540+
PreCallGraphStep::loadStep(_, _, prop) or
1541+
PreCallGraphStep::storeStep(_, _, prop)
15401542
} or
15411543
MkLabelUnknownMember() or
15421544
MkLabelParameter(int i) {

0 commit comments

Comments
 (0)