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

Question

Splint遇到系统头文件的解析错误，该文件使用windows编译器似乎使用的大小指定后缀。因此，splint不能解析包含类似0xffui8的表达式的文件（其中ui8表示8位的无符号整数）。如何配置夹板以解决此问题？

更广泛的上下文：我正在尝试使用夹板来使用WinDDK 7600.16385.1。带示例的文件是intsafe.h。

Answer 1

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