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

C++: Use hasQualifiedName.

Browse Source
This commit is contained in:
Geoffrey White
2024-02-06 17:47:15 +00:00
parent d1e040e27c
commit f6b412e1c9
1 changed files with 3 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
View File

@@ -394,8 +394,7 @@ private Element interpretElement0(
(
// Non-member functions
exists(Function func |
func.getName() = name and
func.getNamespace().getQualifiedName() = namespace and
func.hasQualifiedName(namespace, name) and
type = "" and
matchesSignature(func, signature) and
subtypes = false and
@@ -406,8 +405,7 @@ private Element interpretElement0(
// Member functions
exists(Class namedClass, Class classWithMethod, Function method |
classWithMethod = method.getClassAndName(name) and
namedClass.getNamespace().getQualifiedName() = namespace and
namedClass.getName() = type and
namedClass.hasQualifiedName(namespace, type) and
matchesSignature(method, signature) and
result = method
|
@@ -425,8 +423,7 @@ private Element interpretElement0(
exists(Class namedClass, Class classWithMember, MemberVariable member |
member.getName() = name and
member = classWithMember.getAMember() and
namedClass.getNamespace().getQualifiedName() = namespace and
namedClass.getName() = type and
namedClass.hasQualifiedName(namespace, type) and
result = member
|
// field declared in the named type or a subtype of it (or an extension of any)