操作系统源码安全分析工具软件（XF-WSBX-2400510）采购公告
发布时间：2024-10-15 05:31:26阅读量：9 次

项目名称	操作系统源码安全分析工具软件	项目编号	XF-WSBX-2400510
公告开始日期	2024-10-15 05:31:26	公告截止日期	2024-10-22 07:00:00
采购单位	浙江大学	付款方式	货到付款，甲方在到货验收后15日内向乙方一次性支付本项目的总额
联系人	成交后在我参与的项目中查看	联系电话	成交后在我参与的项目中查看
签约时间要求	成交后14个工作日内	到货时间要求	成交后3个工作日内
预算总价	￥ 200,000.00 + + 未公布
收货地址	浙江大学玉泉校区网络空间安全学院科工楼
供应商资质要求	符合《政府采购法》第二十二条规定的供应商基本条件
公告说明

采购清单1

采购商品	采购数量	计量单位	所属分类
操作系统源码安全分析工具软件	1	套	其他计算机软件 无 无

品牌 品牌1
型号
品牌2
型号
品牌3
型号
预算单价	￥ 200,000.00
技术参数及配置要求	智能制造操作系统源码安全分析工具 采购针对操作系统的C/C++代码的安全分析工具，须具备面向核心组件源码的敏捷安全分析技术。该工具应针对操作系统源码级常见安全错误，提供操作系统源码级自动分析方法，可以发现操作系统软件缺陷。同时针对操作系统软件功能正确性验证，提供源码级敏捷验证方法，发现操作系统基本的功能缺陷。 技术要求： 1) 支持基于形式化验证技术的源代码分析与验证； 2) 支持操作系统函数级的代码安全性分析； 3) 支持基于前后置条件的操作系统函数功能正确性分析； 4) 提供敏捷式的形式化规约表达能力，支持基于C语言的形式化规约描述； 5) 提供操作系统源码分析的案例代码； 6) 支持内存相关的安全漏洞检查，包括内存泄露或重分配、释放错误，数组的越界引用或空指针的解引用； 7) 支持函数或变量声明定义与调用相关的安全检查，包括函数调用时的变量类型、数量与声明不一致，未初始化数据的读取或打印； 8) 支持运算过程中的溢出检查，包括位移运算溢出或整型、浮点型数据在类型转换或计算时发生溢出； 支持对除零错误进行检查； 模块提供报告详细错误报告，至少包括错误的类型描述、错误行数信息；
售后服务	质保期:1年;商品承诺:原厂全新未拆封正品;无;

浙江大学
2024-10-15 05:31:26

附件下载：