C#: Extend TrivialProperty to also include CIL::TrivialProperty

Author: calumgrant

csharp/ql/src/semmle/code/csharp/Property.qll

@@ -7,6 +7,7 @@ import Member
 import Stmt
 private import semmle.code.csharp.ExprOrStmtParent
 private import dotnet
+private import cil
 
 /**
  * A declaration that may have accessors. Either an event (`Event`), a property
@@ -495,6 +496,8 @@ class TrivialProperty extends Property {
     isAutoImplemented()
     or
     getGetter().trivialGetterField() = getSetter().trivialSetterField()
+    or
+    exists(CIL::TrivialProperty prop | this.matchesHandle(prop))
   }
 }
 

csharp/ql/test/library-tests/cil/dataflow/TrivialProperties.expected

@@ -0,0 +1,9 @@
+| System.Collections.DictionaryEntry.Key |
+| System.Collections.DictionaryEntry.Value |
+| System.Reflection.AssemblyName.CodeBase |
+| System.Reflection.AssemblyName.CultureInfo |
+| System.Reflection.AssemblyName.HashAlgorithm |
+| System.Reflection.AssemblyName.KeyPair |
+| System.Reflection.AssemblyName.Name |
+| System.Reflection.AssemblyName.Version |
+| System.Reflection.AssemblyName.VersionCompatibility |

csharp/ql/test/library-tests/cil/dataflow/TrivialProperties.ql

@@ -0,0 +1,8 @@
+import csharp
+
+from TrivialProperty prop
+where
+  prop.getDeclaringType().hasQualifiedName("System.Reflection.AssemblyName")
+  or
+  prop.getDeclaringType().hasQualifiedName("System.Collections.DictionaryEntry")
+select prop.getQualifiedName()