Skip to content

Commit 3b776e7

Browse files
committed
JS: Restrict entry point edges to those in scope
1 parent c900baf commit 3b776e7

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

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

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1039,7 +1039,8 @@ module API {
10391039
base = MkRoot() and
10401040
exists(EntryPoint e |
10411041
lbl = Label::entryPoint(e) and
1042-
ref = e.getASource()
1042+
ref = e.getASource() and
1043+
S::inScope(ref)
10431044
)
10441045
or
10451046
// property reads

0 commit comments

Comments
 (0)