CIL Anweisungen: Überprüfen Sie, ob eine Getter-Methode aufgerufen wird?

Question

Im Parsing durch einen Typ mit Mono.Cecil. Wie kann ich prüfen, ob der Typ im Parsing auf Getter-Methoden anderer Klassen zugreift?

Für die Felder direkt Zugriff Ich habe eine Lösung gefunden:

foreach (MethodDefinition method in type.Methods) 
      { 
       foreach (Instruction instruction in method.Body.Instructions) 
       { 

        if (instruction.OpCode == OpCodes.Ldfld) 
        { 
         FieldReference field = instruction.Operand as FieldReference; 



         if (fields.Contains(field.ToString()) && !accesses.Contains(field.ToString())) 
         { 
          accesses.Add(field.ToString()); 
          Console.WriteLine("Class " + type.Name + " accesses field " + field.Name + " of a foreign class."); 
         } 

        } 
       } 
      } 

Aber wie kann ich das Problem lösen, wenn das Feld einer anderen Klasse durch eine Getter-Methode zugegriffen wird?

Oder um die Frage zu vereinfachen: Wie kann ich feststellen, ob eine Methode eine Getter-Methode mit CIL-Anweisungen ist? und wie kann ich erkennen, welches Feld zurückgegeben wird?

Answer 1

Wie Donnie in den Kommentaren vorschlägt, sind Getter und Setter genau wie alle anderen Methoden. Sie können so ziemlich alles zurückgeben, was sie wollen, so komplex sein, wie sie wollen, usw. Also, was immer Sie tun werden, ist bestenfalls eine fundierte Vermutung.

Zunächst können Sie sich die semantischen Attribute der MethodDefinition ansehen. Wenn es besagt, dass die Methode ein Getter oder ein Setter ist, wissen Sie zumindest, ob es an eine Eigenschaft angehängt ist.

Jetzt können Sie auch die IL analysieren, um ein bestimmtes Muster zu finden, wie ich es in meinem Blogpost über retrieving the backing field of a property getan habe. Sie müssten den Code anpassen, um Mono.Cecil anstelle von Mono.Reflection zu verwenden, aber das sollte keine große Sache sein.