Skip to content

Commit e23f3e4

Browse files
committed
unified: Don't step into declaration sites
1 parent d30b7a0 commit e23f3e4

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

unified/ql/lib/codeql/unified/internal/StaticNameBinding.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -134,6 +134,7 @@ predicate readStep(NameBindingNode node1, string name, NameBindingNode node2) {
134134
)
135135
or
136136
exists(PotentialLocalNameAccess access |
137+
not access.isDeclarationSite() and
137138
name = access.getName() and
138139
node1 = getNodeFromUncertainScope(LocalNameBindingOutput::getAnUncertainScope(access, name)) and
139140
node2.isIdentifier(access)
@@ -182,6 +183,7 @@ predicate valueStep(NameBindingNode node1, NameBindingNode node2) {
182183
node1.isIdentifier(access) and
183184
node2.isLocalName(access.getLocalName())
184185
or
186+
not access.isDeclarationSite() and
185187
node1.isLocalName(access.getLocalName()) and
186188
node2.isIdentifier(access)
187189
)

0 commit comments

Comments
 (0)