Why don't CreateGenericInstMethodSig

[CreateAndInject]

dnlib/src/DotNet/Importer.cs

Lines 490 to 491 in 0b2dc95

	if (methodBase.ContainsGenericParameters)
	return method; // Declaring type is instantiated but method itself is not

This code is from #466 by @wwh1004
@wtfsck @wwh1004 Is it buggy? Why don't CreateGenericInstMethodSig here?

[ElektroKill]

This is not a bug. ContainsGenericParameters returns true if the method contains unspecified generic parameters. If these generic parameters are unspecified, it means that no instantiation signature is provided. Therefore we don’t need to create a GenericInstMethodSig.
https://learn.microsoft.com/en-us/dotnet/api/system.reflection.methodbase.containsgenericparameters?view=net-8.0

[CreateAndInject]

Do you mean we can use MethodDef/MemberRef rather than MethodSpec as operand of call instruction when the called method is generic method?
If that, show a code to see how compiler build such thing.

[wwh1004]

Why do you think the MethodBase existing in reflection must be used as the operand of call? For whatever reason, there is a MethodBase which declaring type that is instantiated but the method itself does not get instantiated. It also cannot be used as the call operand in reflection. Why import as MethodSpec in this case?

#466 has undergone very strict testing to ensure that objects existing in reflection can be mapped to dnlib objects with equivalent semantics. You can retrieve test cases in this PR. It covers all GAC assemblies and very complex generic nested cases that I constructed manually, which includes the situation you mentioned.

foreach (var method in moduleDef.Enumerate<MemberRef>(t => t.IsMethodRef).Cast<IMethod>().Concat(moduleDef.Enumerate<MethodSpec>()).Concat(moduleDef.Enumerate<MethodDef>()))

[CreateAndInject]

For whatever reason, there is a MethodBase which declaring type that is instantiated but the method itself does not get instantiated. It also cannot be used as the call operand in reflection.

@wwh1004 CreateInstance<T>() here IsGenericButNotGenericMethodDefinition, and ContainsGenericParameters, why did you say it cannot be used as operand?

class My<T>
{
    public static void Test()
    {
        Activator.CreateInstance<T>();
    }
}

[wwh1004]

This is a MethodSpec :-)

[CreateAndInject]

Yes, but your code import it as MethodDef/MemberRef

[wwh1004]

I can't get this operand in reflection if I don't provide closed types.

[CreateAndInject]

DynamicTest.zip

I made an example, your code import a generic method as MemberRef, old dnlib work fine:

[wwh1004]

It is not a valid dynamic method. If you invoke it, you will get "InvalidProgramException: Common Language Runtime detected an invalid program". In this case, it is inherently invalid so dnlib is not required to give a valid output.

[wwh1004]

You should check "FCIMPL5(ReflectMethodObject*, ModuleHandle::GetDynamicMethod, ReflectMethodObject *pMethodUNSAFE, ReflectModuleBaseObject *pModuleUNSAFE, StringObject *name, U1Array *sig, Object *resolver)" in coreclr's runtimehandles.cpp. It just copy method body from managed side to unmanaged side. You can even fill in any invalid bytes in DynamicILInfo and GetMethodDescriptor will not throw an exception until you actually compile the method.

[CreateAndInject]

It is not a valid dynamic method. If you invoke it, you will get "InvalidProgramException: Common Language Runtime detected an invalid program". In this case, it is inherently invalid so dnlib is not required to give a valid output.

Let's asssume we want to make an unpacker for a DynamicMethod obfusction, we don't have instantiated generic type, every method is like this, we can't support instantiated type in our unpacker :

[wwh1004]

I think this question is off topic. If you do not pass the required generic parameters, the dynamic method is incomplete and invalid, whcih cannot be compiled by the JIT compiler. Then dnlib does not need support it.

As my last comment said, you can populate any invalid code via DynamicILInfo. How does dnlib give correct import results when the code is invalid? Your example does not mean that the MethodSpec containing open generic arguments that can be represented in System.Reflection api.

[CreateAndInject]

Don't agree, dnlib.DotNet.Emit.DynamicMethodBodyReader is used to decrypt DynamicMethod's code, rather than execute a DynamicMethod, your code will cause DynamicMethodBodyReader no longer work.

[wwh1004]

Then your needs are not related to the original topic. Why does dnlib create a MethodSpec when there are no generic method arguments?

[CreateAndInject]

Many protectors based on DynamicMethod will encrypt all methods like this, so how can we make unpacker for those? Do you think we must support correct generic types for all methods?
dnlib is a reverse lib, and DynamicMethodBodyReader is powerful and designed for decryption porpose rather than emulator, it work fine many years, but your code let it lose efficacy, so what's the meaning of DynamicMethodBodyReader now in dnlib?

class My1<T, U> where T : new()
{
    public static void Test()
    {
        new DynamicMethod("", typeof(void), Type.EmptyTypes).Invoke(null, null);
    }
}

class My2<T, U> where T : Stream, ICloneable
{
    public static void Test()
    {
        new DynamicMethod("", typeof(void), Type.EmptyTypes).Invoke(null, null);
    }
}

class My3<T, U> where T : My1<int, T>
{
    public static void Test()
    {
        new DynamicMethod("", typeof(void), Type.EmptyTypes).Invoke(null, null);
    }
}