Fix AV Rule 76

2026-04-28 10:15:14 +02:00 · 2022-11-02 22:50:25 +01:00
parent 46631d6eaf
commit 3317223e19
4 changed files with 103 additions and 3 deletions
--- a/cpp/ql/src/jsf/4.10
+++ b/cpp/ql/src/jsf/4.10
@@ -38,9 +38,9 @@ predicate hasNontrivialDestructor(Class c) {
 from Class c
 where
  (hasPointerMember(c) or hasNontrivialDestructor(c)) and
-  not (
-    c.getAMemberFunction() instanceof CopyConstructor and
-    c.getAMemberFunction() instanceof CopyAssignmentOperator
+  (
+    c.hasImplicitCopyAssignmentOperator() or
+    c.hasImplicitCopyConstructor()
  ) and
  not c instanceof Struct
 select c,