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

Question

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

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

现在这是我的两个问题:

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

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

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

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

当然很容易解决:

1. 识别所有 logprint 调用
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);
}

希望这对您有所帮助。