Better detection of typedefs in C++

cpg-language-cxx/src/main/kotlin/de/fraunhofer/aisec/cpg/frontends/cxx/DeclarationHandler.kt

@@ -242,18 +242,20 @@ class DeclarationHandler(lang: CXXLanguageFrontend) :
      */
     private val IASTSimpleDeclaration.isTypedef: Boolean
         get() {
-            return if (this.rawSignature.contains("typedef")) {
-                if (this.declSpecifier is CPPASTCompositeTypeSpecifier) {
-                    // we need to make a difference between structs that have typedefs and structs
-                    // that are typedefs themselves
-                    this.declSpecifier.toString() == "struct" &&
-                        this.rawSignature.trim().startsWith("typedef")
+            return if (this.declSpecifier is IASTCompositeTypeSpecifier) {
+                if (this.declSpecifier.rawSignature.contains("typedef")) {
+                    // This is very stupid. For composite type specifiers, we need to make sure that
+                    // we do not match simple because our declarations contain a typedef.
+                    // The problem is that we cannot correctly detect the case where both our "main"
+                    // declaration and our sub declarations contain a typedef :(
+                    (this.declSpecifier as IASTCompositeTypeSpecifier).getDeclarations(true).none {
+                        it.rawSignature.contains("typedef")
+                    }
                 } else {
-
-                    true
+                    false
                 }
             } else {
-                false
+                this.declSpecifier.rawSignature.contains("typedef")
             }
         }
 

cpg-language-cxx/src/test/kotlin/de/fraunhofer/aisec/cpg/enhancements/types/TypedefTest.kt

@@ -187,7 +187,7 @@ internal class TypedefTest : BaseTest() {
     fun testArbitraryTypedefLocation() {
         val tu =
             analyzeAndGetFirstTU(
-                listOf(topLevel.resolve("typedefs.cpp").toFile()),
+                listOf(topLevel.resolve("weird_typedefs.cpp").toFile()),
                 topLevel,
                 true
             ) {

cpg-language-cxx/src/test/kotlin/de/fraunhofer/aisec/cpg/frontends/cxx/CXXLanguageFrontendTest.kt

@@ -1777,4 +1777,40 @@ internal class CXXLanguageFrontendTest : BaseTest() {
 
         assertEquals(label, goto.targetLabel)
     }
+
+    @Test
+    fun testTypedefStructCPP() {
+        val file = File("src/test/resources/cxx/typedef_struct.cpp")
+        val tu =
+            analyzeAndGetFirstTU(listOf(file), file.parentFile.toPath(), true) {
+                it.registerLanguage<CPPLanguage>()
+                it.inferenceConfiguration(builder().enabled(false).build())
+            }
+        with(tu) {
+            val me = tu.memberExpressions
+            me.forEach { assertNotNull(it.refersTo) }
+
+            val test = tu.records.singleOrNull()
+            assertNotNull(test)
+            assertLocalName("test", test)
+        }
+    }
+
+    @Test
+    fun testTypedefStructC() {
+        val file = File("src/test/resources/c/typedef_struct.c")
+        val tu =
+            analyzeAndGetFirstTU(listOf(file), file.parentFile.toPath(), true) {
+                it.registerLanguage<CLanguage>()
+                it.inferenceConfiguration(builder().enabled(false).build())
+            }
+        with(tu) {
+            val me = tu.memberExpressions
+            me.forEach { assertNotNull(it.refersTo) }
+
+            val test = tu.records.singleOrNull()
+            assertNotNull(test)
+            assertLocalName("test", test)
+        }
+    }
 }

cpg-language-cxx/src/test/resources/c/typedef_struct.c

@@ -0,0 +1,13 @@
+typedef struct test {
+  int a;
+  int b;
+} S;
+
+int structs() {
+  S s;
+  S t;
+  S* p=&s;
+  s.a=1;
+  s.b=2;
+  printf("%d %d\n", s.a, s.b);
+ }

cpg-language-cxx/src/test/resources/cxx/typedef_struct.cpp

@@ -0,0 +1,15 @@
+typedef struct test {
+  int a;
+  int b;
+} S;
+
+int structs() {
+  S s;
+  S t;
+  S* p=&s;
+  s.a=1;
+  s.b=2;
+  printf("%d %d\n", s.a, s.b);
+ }
+
+ long typedef bla;

cpg-language-cxx/src/test/resources/typedefs/weird_typedefs.cpp

@@ -0,0 +1,14 @@
+// typedef can be used anywhere in the decl-specifier-seq
+// more conventionally spelled "typedef unsigned long long int ullong;"
+unsigned long typedef long int ullong;
+
+// also possible with structs
+struct bar {
+  int a;
+  int b;
+} typedef baz;
+
+// just some type that contains a typedef for more confusion
+struct foo {
+  typedef const int a;
+};