hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 10:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

JS: Further restrict receiver type inference

Browse Source
This commit is contained in:
Asger F
2019-09-10 14:08:30 +01:00
parent e724f92ee8
commit 71763af2d5
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
javascript/ql/src/semmle/javascript/dataflow/Nodes.qll
View File

@@ -706,7 +706,8 @@ class ClassNode extends DataFlow::SourceNode {
result = getAClassReference(t.continue()).getAnInstantiation()
or
t.start() and
result.(AnalyzedNode).getAValue() = getAbstractInstanceValue()
result.(AnalyzedNode).getAValue() = getAbstractInstanceValue() and
not result = any(DataFlow::ClassNode cls).getAReceiverNode()
or
t.start() and
result = getAReceiverNode()