Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit f6b412e

Browse files
committed
C++: Use hasQualifiedName.
1 parent d1e040e commit f6b412e

1 file changed

Lines changed: 3 additions & 6 deletions

File tree

cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -394,8 +394,7 @@ private Element interpretElement0(
394394
(
395395
// Non-member functions
396396
exists(Function func |
397-
func.getName() = name and
398-
func.getNamespace().getQualifiedName() = namespace and
397+
func.hasQualifiedName(namespace, name) and
399398
type = "" and
400399
matchesSignature(func, signature) and
401400
subtypes = false and
@@ -406,8 +405,7 @@ private Element interpretElement0(
406405
// Member functions
407406
exists(Class namedClass, Class classWithMethod, Function method |
408407
classWithMethod = method.getClassAndName(name) and
409-
namedClass.getNamespace().getQualifiedName() = namespace and
410-
namedClass.getName() = type and
408+
namedClass.hasQualifiedName(namespace, type) and
411409
matchesSignature(method, signature) and
412410
result = method
413411
|
@@ -425,8 +423,7 @@ private Element interpretElement0(
425423
exists(Class namedClass, Class classWithMember, MemberVariable member |
426424
member.getName() = name and
427425
member = classWithMember.getAMember() and
428-
namedClass.getNamespace().getQualifiedName() = namespace and
429-
namedClass.getName() = type and
426+
namedClass.hasQualifiedName(namespace, type) and
430427
result = member
431428
|
432429
// field declared in the named type or a subtype of it (or an extension of any)

0 commit comments

Comments
 (0)