Windows Store Apps: Depurando en IL2CPP Scripting Backend

Aunque IL2CPP no tiene un depurador C# en este momento, es posible depurar código C++ generado utilizando Visual Studio.

Nombramiento de clases y métodos en código C++ generado

Las clases de IL2CPP se ven así: ClassName_t>#number, donde ClassName> es un nombre plano de una clase, mientras #number es un tipo de número único. #number no está presente en algunos tipos core. Por ejemplo :

String_t
Object_t
Type_t
Char_t34
StringBuilder_t26
GuidParser_t1539

Los métodos IL2CPP se ven así: ClassName>_MethodName>_m#number, where ClassName> es el nombre de la clase del tipo declarado de los métodos, MethodName> es el nombre del método y #number es el número del método. Por ejemplo:

GuidParser_ParseHex_m10003
ConfigurationSection_DoDeserializeSection_m1275
String_Format_m4102
Mathf_Sqrt_m289
Thing_Start_m1

Las estructuras de los campos estáticos se nombran así: ClassName>_t#number_StaticFields, dónde la primera parte del nombre de la estructura es idéntica al tipo declarado, por ejemplo:

StringBuilder_t26_StaticFields
Thing_t24_StaticFields

Adicionalmente, encima de cada definición de clase/método hay un comentario C++ declarando el nombre completo de la clase/método. Por ejemplo:

// System.String
struct String_t : public Object_t
{
    // System.Int32 System.String::length
    int32_t **_length_0;
    // System.Char System.String::start_char
    uint16_t **_start_char_1;
};

// System.Text.StringBuilder
struct StringBuilder_t26  : public Object_t
{
    // System.Int32 System.Text.StringBuilder::_length
    int32_t ****length_1;
    // System.String System.Text.StringBuilder::_str
    String_t* ****str_2;
    // System.String System.Text.StringBuilder::_cached_str
    String_t* ****cached_str_3;
    // System.Int32 System.Text.StringBuilder::_maxCapacity
    int32_t ****maxCapacity_4;
};

// System.Void MyData::.ctor()
extern "C" void MyData**ctor_m0 (MyData_t2 * **this, const MethodInfo* method)
{
    ...
}

// Thing
struct Thing_t24 : public MonoBehaviour_t25
{
    // MyData Thing::m_Data
    MyData_t2 * **_m_Data_2;
    // System.Text.StringBuilder Thing::m_Builder
    StringBuilder_t26 * **_m_Builder_3;
};
struct Thing_t24_StaticFields
{
    // System.Int32 Thing::s_SomeStaticField
    int32_t **_s_SomeStaticField_4;
};

Observando valores de variable

Una de las partes más importantes de depurar es observar los valores de varias variables. Visual Studio permite hacerlo con relativa facilidad, ya sea mousing sobre la variable de añadirlo a la ventana de reloj. Por ejemplo:

Observar campos estáticos es un poco más difícil. En IL2CPP, los campos estáticos se almacenan en una instancia TypeInfo en sí. Por lo que para observar un campo estático, primero necesitamos un apuntador a la estructura TypeInfo de ese tipo. Estos apuntares están en el alcance de los métodos que lo utilizan, pero después de observarlo una vez, se mantendrá en la misma dirección de memoria por la duración de la ejecución de la aplicación. La estructura TypeInfo tiene el campo “static_fields”, el cual es un apuntador a un bloque de memoria que contiene campos estáticos para ese tipo en particular. Para mirar los valores en realidad, este apuntador tiene que ser emitido a la estructura apropiada de campos estáticos: cada tipo tiene su propio. Por ejemplo, observemos los campos estáticos de la clase Thing_t24:

Investigando excepciones

IL2CPP utiliza excepciones nativas de C++ para implementar excepciones .NET. Cuando cualquier excepción se supone que es lanzada, IL2CPP lanza un objeto Il2CppExceptionWrapper, que se define como el siguiente:

struct Il2CppExceptionWrapper
{
    Il2CppException* ex;

    Il2CppExceptionWrapper (Il2CppException* ex) : ex (ex) {}
};

Estos objetos de excepción fácilmente se pueden investigar en la ventana watch:

De último, puede ser beneficioso habilitar debugger-break en la excepciones para que la fuente de la excepción se pueda atrapar. Para hacer esto, oprima CTRL+ALT+E en Visual Studio, y asegúrese de que la casilla de verificación de C++ exceptions esté marcado e la ventana abierta:

Después de habilitar esta configuración, Visual Studio automáticamente parará la ejecución cuando una excepción es lanzada: