Допустимый шаблон в ассемблере для аргументов с переменным числом аргументов

Я думаю, что мой вопрос может показаться немного странным, но вот оно. Я пытаюсь создать программу динамически на С++ (в основном для удовольствия, но также и по программной причине), и это не так сложно, как может показаться. Чтобы сделать это, вы должны использовать сборку во время выполнения следующим образом:

byte * buffer = new byte[5];
*buffer = '0xE9'; // Code for 'jmp'
*(uint*)(buffer + 1) = 'address destination'; // Address to jump to

Это намного проще, чем может показаться, потому что я ориентируюсь только на одну платформу и компилятор; GCC с Linux 32bit (а также только односоглашение о вызовах, cdecl). Итак, я пытаюсь создать динамическую функцию сборки для перенаправления вызовов от триггеров, поэтому я могу использовать методы класса в качестве обратных вызовов (даже с библиотеками C API (конечно, с cdecl)). Мне это нужно только для поддержки указателей и собственных типов (char, int, short и т. д.).

ANYTHING MyRedirect(ANY AMOUNT ARGUMENTS)
{
    return MyClassFunc('this', ANY AMOUNT ARGUMENTS);
}

Приведенную выше функцию я хочу создать на чистом ассемблере (в памяти с помощью C++). Поскольку функция очень проста, ее ASM также прост (в зависимости от аргументов).

55                      push   %ebp
89 e5                   mov    %esp,%ebp
83 ec 04                sub    $0x4,%esp
8b 45 08                mov    0x8(%ebp),%eax
89 04 24                mov    %eax,(%esp)
e8 00 00 00 00          call   

c9                      leave
c3                      ret  

Итак, в своей программе я создал генератор шаблонов ASM (поскольку я не очень хорошо знаю ASM, я ищу шаблоны). Эта функция может генерировать ассемблерный код (в байтах, как раз для описанного выше случая, т. е. функцию, которая перенаправляет и возвращает), указав количество аргументов, необходимых функции. Это фрагмент моего кода на C++.

std::vector detourFunc(10 + stackSize, 0x90); // Base is 10 bytes + argument size

// This becomes 'push %ebp; move %esp, %ebp'
detourFunc.push_back(0x55);     // push %ebp
detourFunc.push_back(0x89);     // mov
detourFunc.push_back(0xE5);     // %esp, %ebp

// Check for arguments
if(stackSize != 0)
{
    detourFunc.push_back(0x83);     // sub
    detourFunc.push_back(0xEC);     // %esp
    detourFunc.push_back(stackSize);    // stack size required

    // If there are arguments, we want to push them
    // in the opposite direction (cdecl convention)
    for(int i = (argumentCount - 1); i >= 0; i--)
    {
        // This is what I'm trying to implement
        // ...
    }

    // Check if we need to add 'this'
    if(m_callbackClassPtr)
    {

    }
}

// This is our call operator
detourFunc.push_back(0xE8);     // call

// All nop, this will be replaced by an address
detourFunc.push_back(0x90);     // nop
detourFunc.push_back(0x90);     // nop
detourFunc.push_back(0x90);     // nop
detourFunc.push_back(0x90);     // nop

if(stackSize == 0)
{
    // In case of no arguments, just 'pop'
    detourFunc.push_back(0x5D); // pop %ebp
}

else 
{
    // Use 'leave' if we have arguments
    detourFunc.push_back(0xC9); // leave    
}

// Return function
detourFunc.push_back(0xC3);     // ret

Если я укажу ноль в качестве stackSize, это будет вывод:

55                      push   %ebp
89 e5                   mov    %esp,%ebp
e8 90 90 90 90          call   

5d                      pop    %ebp
c3                      ret   

Как видите, это полностью допустимый 32-битный ASM, и он будет действовать как «MyRedirect», если он имеет ноль аргументов и нет необходимости в указателе this.Проблема в том, что я хочу реализовать часть, где он генерирует код ASM, в зависимости от количества аргументов, которые я указываю, которые получит функция «перенаправление». Я успешно сделал это в своей маленькой программе на С++ (взломал шаблон).

#include 
#include 

int main(int argc, char * argv[])
{
    int val = atoi(argv[1]);

    printf("\tpush %%ebp\n");
    printf("\tmov %%esp,%%ebp\n");

    if(val == 0)
    {
        printf("\tcall 
\n");
        printf("\tpop %%ebp\n");
    }

    else
    {
        printf("\tsub $0x%x,%%esp\n", val * sizeof(int));

        for(int i = val; i > 0; i--)
        {
            printf("\tmov 0x%x(%%ebp),%%eax\n", i * sizeof(int) + sizeof(int));
            printf("\tmov %%eax,0x%x(%%esp)\n", i * sizeof(int) - sizeof(int));
        }

        printf("\tcall 
\n");
        printf("\tleave\n");
    }

    printf("\tret\n");
    return 0;
}

Эта функция выводит точно такой же шаблон, как и код ASM, сгенерированный с помощью 'objdump'. Итак, мой вопрос; будет ли это действительным во всех случаях, если я толькохочу функцию перенаправления, как указано выше, независимо от аргументов, если это только под Linux 32bit, или есть какие-то подводные камни, о которых мне нужно знать? Например; будет ли сгенерированный ASM отличаться от «shorts» или «chars» или это будет работать (я тестировал только целые числа), а также если я вызову функцию, которая возвращает «void» (как это повлияет на ASM)?

Возможно, я объяснил все немного нечетко, поэтому, пожалуйста, спрашивайте, чтобы не было недопонимания :)

ПРИМЕЧАНИЕ. Я не хочу знать альтернативы, мне нравится моя текущая реализация, и я думаю, что она очень интересна, я бы просто высоко ценю вашу помощь по этому вопросу.

РЕДАКТИРОВАТЬ: В случае интереса, вот несколько дампов для приведенного выше кода C++: ссылка