SpecialMemberFunction from GoogleTest as entry pts

Author: rak3-sh

cpp/autosar/test/rules/M0-1-10/UnusedSplMemberFunction.expected

@@ -1,3 +1,2 @@
 | test.cpp:71:5:71:16 | ANestedClass | Special member function ANestedClass is never called. |
 | test.cpp:82:5:82:22 | AnotherNestedClass | Special member function AnotherNestedClass is never called from a main function or entry point. |
-| test.cpp:155:1:157:37 | ~sample_test_called_from_google_test_function_Test | Special member function sample_test_called_from_google_test_function_Test::~sample_test_called_from_google_test_function_Test is never called. |

cpp/autosar/test/rules/M0-1-10/test.cpp

@@ -152,10 +152,8 @@ int called_from_google_test_function(
   return something;
 }
 
-TEST(
-    sample_test,
-    called_from_google_test_function) // COMPLIANT - False positive!
-                                      // ~sample_test_called_from_google_test_function_Test
+TEST(sample_test,
+     called_from_google_test_function) // COMPLIANT - Google Test function
 {
   bool pass = false;
   if (called_from_google_test_function(0) >= 10)

cpp/common/src/codingstandards/cpp/EncapsulatingFunctions.qll

@@ -3,6 +3,7 @@
  */
 
 import cpp
+import codingstandards.cpp.Class
 
 /** A function which represents the entry point into a specific thread of execution in the program. */
 abstract class MainLikeFunction extends Function { }
@@ -29,19 +30,22 @@ class MainFunction extends MainLikeFunction {
 class GoogleTestFunction extends MainLikeFunction {
   GoogleTestFunction() {
     // A GoogleTest function is named "TestBody" and
-    this.hasName("TestBody") and
+    (
+      this.hasName("TestBody") or
+      this instanceof SpecialMemberFunction
+    ) and
     // it's parent class inherits a base class
     exists(Class base |
       base = this.getEnclosingAccessHolder().(Class).getABaseClass+() and
-      // with a name "Test" inside a namespace called "testing"
       (
+        // with a name "Test" inside a namespace called "testing"
         base.hasName("Test") and
         base.getNamespace().hasName("testing")
+        or
+        // or at a location in a file called gtest.h (or gtest-internal.h,
+        // gtest-typed-test.h etc).
+        base.getDefinitionLocation().getFile().getBaseName().regexpMatch("gtest*.h")
       )
-      or
-      // or at a location in a file called gtest.h (or gtest-internal.h,
-      // gtest-typed-test.h etc).
-      base.getDefinitionLocation().getFile().getBaseName().regexpMatch("gtest*.h")
     )
   }
 }