如何在 c 源代码中自动将类型转换添加到 printf 样式函数？

Question

我正在将一个大型 c 项目从 Windows 移植到 Unix，源代码包含数千个对 logprint 函数的调用，声明如下：

VOID logprint(DWORD level, LPCSTR format, ...);

现在这是我的两个问题：

1.) 使用的格式类型说明符不可移植

代码将%lu 用于ULONG 变量。在 Windows 上这很好，因为 ULONG 是 unsigned long 的 typedef。但是，在移植代码时，我无法重现此 typedef，因为根据 [MS-DTYP]，ULONG 必须始终是 32 位的（注意：对于 Microsoft 的 c 编译器，unsigned long 始终是 32 位）。 所以我创建了一个 Windows 类型头文件wtypes.h，它在stdint.h 和limits.h 的帮助下定义了基本的Windows 数据类型。 当然，如果系统 unsigned long 是 64 位而我的 ULONG 是 32 位，那么现在这会导致无效读取，因为 %lu 说明符。所以我还必须为所有ULONG logprint 参数添加一个(unsigned long) 强制转换。 ULONG 当然只是一个例子......

2.) 使用了无效的格式类型说明符

此外，该代码使用了大量无效的格式说明符。例如。 %d 用于 DWORD 参数。

当然很容易解决：

1. 识别所有日志打印调用
2. 确定每个参数的类型
3. 验证是否使用了正确的格式说明符
4. 为参数添加正确的类型转换

例子：

替换：

ULONG ulMin, ulMax;
...
logprint(FATAL, "specified interval is invalid %ld..%u out of range",
                 ulMin, ulMax);

与：

logprint(FATAL, "specified interval is invalid %lu..%lu",
                 (unsigned long) ulMin, (unsigned long) ulMax);

但这至少需要我两个星期，然后我的大脑就会乱码。

所以我的实际问题：

是否有任何自动化工具可以进行此类更改？

作为最低要求，该工具必须能够识别参数的类型并在它们前面加上类型转换。一旦有类型转换，我就可以轻松编写一个修复格式说明符的 python 脚本。

Answer 1

logprint 的来源是否可访问？如果是，最好的方法似乎是直接更改它。它必须包含va_arg 的类型转换代码，例如：

ul = va_arg(argp, ULONG);

然后根据需要更改ULONG。

如果不是，只需创建您自己的包装函数，例如 logprint64 执行类似任务，但根据需要转换参数的类型。用logprint64 替换logprint 需要不到一个小时，我猜。

或者，您可以重写logprint。根据您的帖子和回复，logprint 似乎是以下形式：

#include <stdio.h>
#include <stdarg.h>

enum ErrCode { FATAL, MILD };
typedef unsigned short ULONG;

#define MAX 100
char Buf[MAX];

void logprint(enum ErrCode code, char *fmt, ...)
{
    va_list aptr;  
    va_start(aptr, fmt);
    vsprintf(Buf, fmt, aptr);
    va_end(aptr);
}

int main()
{
    ULONG ulMin = 97, ulMax = 99;

    logprint(FATAL,"interval is invalid %c..%c", ulMin, ulMax);
    printf("%s\n", Buf);

    return(0);
}

您可以将其替换为模拟vsprintf的以下定义：

void logprint(enum ErrCode code, const char *fmt, ...)
{   // add your types as needed
    ULONG         h;
    unsigned long u;
    long          d;
    int           i;

    const char   *p;
    char       *buf;
    va_list    argp;
    va_start(argp, fmt);
    for (p = fmt, buf = Buf; *p != '\0'; p++) {
        if (*p != '%') {
            buf += sprintf(buf, "%c", *p); continue;
        }
        switch (*++p) { // change the type casting as needed
            case 'l':
                switch (*++p) {
                    case 'u':
                        u = (unsigned long) va_arg(argp, ULONG);
                        buf += sprintf(buf, "%lu", u); continue;
                    case 'd':
                        d = va_arg(argp, long);
                        buf += sprintf(buf, "%ld", d); continue;
                }
            case 'c':
                u = va_arg(argp, unsigned long);
                buf += sprintf(buf, "%lu", u); continue;
            case 'd':
                i = va_arg(argp, int);
                buf += sprintf(buf, "%d", i); continue;
        }
    }
    va_end(argp);
}

希望这会有所帮助。