免责声明

本静态分析工具旨在通过对用户定制代码进行验证，协助用户在使用编程框架定制化开发时减少对DPU卡损坏的风险，并督促用户遵循相关的接口函数用法规范。然而，该工具所能检测的问题类型和范围具有一定局限性，无法覆盖所有可能存在的代码缺陷或潜在风险。工具的分析结果仅作为提示和参考，不能作为判定代码绝对安全、无误的唯一依据。

对于用户因代码存在缺陷、未被本工具检测出的错误、或接口不当使用而导致的任何系统故障、数据丢失或其他损失，华为不承担法律责任。建议用户结合其他测试手段（如单元测试、代码审查等）共同保障代码质量和产品安全。

本工具对分析结果的准确性和完整性不作任何明示或暗示的担保。使用本工具即表示您已知悉并接受本免责声明的全部条款。

verifier具体检查内容详见附录verifier检查规则清单。