获取夹板以使用win32整数后缀

Question

Splint遇到系统头文件的解析错误，该文件使用窗口编译器似乎使用的尺寸指定后缀。因此，夹板无法解析包含像0xffui8这样的表达式的文件（其中ui8表示无符号的8位整数）。我如何配置藤条来解决这个问题？

更广阔的背景下：我试图让夹板与WinDDK 7600.16385.1一起工作。例如文件是intsafe.h。

Answer 1

我做的极其蹩脚的解决方案是将有问题的文件复制到另一个目录，编辑它们以消除夹板问题，然后配置夹板以在WinDDK ... \ inc目录中使用它们。