我对 Windows 硬件实验室套件的静态工具徽标测试有疑问。问题是驱动程序测试将失败，因为 x64.Semmle.Summary 行上的 DVL 文件格式不正确。但我无法编辑此行更改输入，因为 DVL 文件是哈希文件。下面显示了 HLK 管理器中的错误屏幕截图
该行的输入是 CodeQL。我已经更改了 CodeQL 的版本，但这并没有检查结果。
当生成的输入文件不正确时，如何通过静态工具徽标测试？有什么想法吗？如果需要，我可以提供更多信息。
我也遇到了类似的问题，我这边的错误如下：
操作系统架构“x64”的驱动程序“xxx”缺少 Semmle DVL 日志内容。
您的情况有进展吗？
