OpCodes.Ret의 주소는 어디에 저장되어 있습니까? 그것을 바꿀 수 있습니까?

Question

주소를 변경할 수있는 방법이 있습니까? OpCodes.Ret가 점프합니까? 일리노이 메서드는 C#에서 사용하는 호출 스택을 변경할 수 있습니까?

내가 아는 한 C++에서는 스택의 값에 액세스하고 리턴 주소를 변경할 수 있습니다. 일리노이에서 "InvalidProgramException"예외로 현재 메소드를 넘어서 스택에 액세스하려고 시도한 모든 것이 실패합니다.

내 예제 코드 :

public static void Test2() 
    { 
     var ma = typeof(Program).GetMethod("Test2"); 
     DynamicMethod meth = new DynamicMethod("", null, null, ma.Module, true); 
     ILGenerator il = meth.GetILGenerator(); 



     il.EmitWriteLine("Start to run the IL method"); 

     var t = il.DeclareLocal(typeof(int)); 



     //take the top of the stack (from the caller method) and put it into the variable t 
     //this seems to be not possible? 
     il.Emit(OpCodes.Stloc, t); 

     //print the value from the stack 
     il.EmitWriteLine(t); 

     //load the value back from the field onto the stack to allow everything to preceed normally 
     il.Emit(OpCodes.Ldloc, t); 

     //return 
     il.Emit(OpCodes.Ret); 

     Action a = (Action)meth.CreateDelegate(typeof(Action)); 

     a(); 
    } 

Answer 1

음은 OpCodes.Ret IL 명령은 정말 어떤 점프를하지 않습니다. 대신 IL 코드는 CLR에 의해 기본 기계 코드로 컴파일되고 은이 실행됩니다. 일부 IL 코드에 대해 생성되는 머신 코드는 아키텍처 (x86, ARM, ...)에 따라 다르며 CLR의 구현 세부 사항입니다.

ret IL 명령어는 ret x86 명령어로 컴파일되지만, 예를 들어 전체 메소드가 인라인 될 수 있다고 가정하는 것이 좋습니다.

이렇게하려면 포인터를 사용하여 스택을 수정하십시오. 그 이유는 x86 ret 주소가 저장되기 때문입니다.하지만 이렇게하면 매우 위험합니다 (잘못된 메모리를 쉽게 수정할 수 있음). 쉽게 변경할 수있는 스택의 레이아웃에 의존). 내가 Ctrl 키를 사용하여 디버그 모드에서 내 컴퓨터에이 를 실행하면 + F5는, 그것은 인쇄

using System; 

static class Program 
{ 
    static void Main() 
    { 
     A(); 
    } 

    static void A() 
    { 
     Console.WriteLine("A before"); 
     B(); 
     Console.WriteLine("A after"); 
    } 

    static void B() 
    { 
     Console.WriteLine("B before"); 
     C(); 
     Console.WriteLine("B after"); 
    } 

    static unsafe void C() 
    { 
     int local; 

     int* localPointer = &local; 

     localPointer[2] = localPointer[4]; 
    } 
} 

:

A before 
B before 
A after 
A after 

예를 들어

다음 코드를 보면

이것은 호출 스택을 Main → A → B으로 변경 한 것을 보여줍니다. → C ~ Main → A → A → C.

그러나 내가이 얼마나 깨지기 쉬운 보여 B 또는 C에 로컬 변수를 추가 할 때 F5를 사용하여 실행하거나, 릴리스 모드에서 실행할 때 작동을 멈 춥니 다.

그럼, 수행 할 수 있지만 (교육용 제외) 절대해서는 안됩니다.