修补C / C ++函数以仅返回而不执行

Question

我想避免在大型项目中执行一个系统功能。 重新定义它或添加一些ifdef逻辑是不可能的。 所以我想将代码修补为仅ret操作。

这些功能是：

void __cdecl _wassert(const wchar_t *, const wchar_t *, unsigned);

和：

void __dj_assert(const char *, const char *, int, const char *) __attribute__((__noreturn__));

因此，我需要在Visual C++编译器上修补第一个，在GCC编译器上修补第二个。

我可以直接在x86 / x64的_wassert / __dj_assert函数的地址处直接写ret指令吗？

更新：

我只想这样修改函数体：

*_wassert = `ret`;

或者也许复制另一个函数体，如下所示：

void __cdecl _wassert_emptyhar_t *, const wchar_t *, unsigned)
{
}

for (int i = 0; i < sizeof(void*); i++) {
    ((char*)_wassert)[i] = ((char*)_wassert_empty
}

更新2：

我真的不明白为什么对沉默asserts如此反对。 实际上，在RELEASE模式下没有断言，但是没有人在乎。 我只希望能够在DEBUG模式下打开/关闭断言。

Answer 1

您需要了解特定处理器ISA和系统ABI的调用约定 。 见这适用于x86和x86-64的调用约定。

有些调用约定在结语中要求的不只是单个ret机器指令，因此您必须加以考虑。 顺便说一句，某些功能的代码通常驻留在只读 代码段中 ，并且您将需要一些肮脏的技巧对其进行修补和编写。

您可以编译具有相同签名的no-op函数，并要求编译器显示发出的汇编代码（例如，如果使用GCC ...，则使用gcc -O -Wall -fverbose-asm -S ）。

在Linux上，您可以使用动态链接器LD_PRELOAD技巧 。 如果使用最新的GCC，您可能会考虑使用MELT对其进行自定义，但是对于您的特殊情况，我认为这不值得...

但是， 您显然有一些assert失败。 如果没有任何未定义的行为 ，程序很可能无法继续运行。 因此，实际上，您的程序很可能会因建议的“修复”而在其他地方崩溃，并且您将失去更多的时间。 最好花足够的时间来纠正原始错误，并改善开发过程。 您的方式是推迟进行关键的错误更正，并且您极有可能花费更多的时间来避免该错误修复，而不是按照应有的方式正确处理（ 现在就找到它，而不是稍后找到）。 避免增加您的技术负担 ，并使您的代码库更加漏洞百出。

我的感觉是，修补二进制文件以避免使用assert -s的方法无处可寻（除非出现重大故障）。 您应该找出违规的原因，并改进代码（删除过时的assert ，或者对其进行改进，或者更正assert所检测到的其他错误）。

Answer 2

在Gnu / Linux上，您可以使用--wrap选项，如下所示：

gcc source.c -Wl,--wrap,functionToPatch -o prog

并且您的源必须添加包装函数：

void *__wrap_functionToPatch () {} // simply returns

函数所需的参数和返回值。