操作系统源码安全分析工具软件采购

内容
 
发送至邮箱

操作系统源码安全分析工具软件采购


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

项目名称操作系统源码安全分析工具软件项目编号XF-WSBX-*
公告开始日期2024-10-15 13:31:26公告截止日期2024-10-22 15:00:00
采购单位浙江大学付款方式货到付款，*方在到货验收后15日内向*方一次性支付本项目的总额
联系人成交后在我参与的项目中查看联系电话成交后在我参与的项目中查看
签约时间要求成交后14个工作日内到货时间要求成交后3个工作日内
预算总价￥ *.00
发票要求增值税普通发票
收货地址浙江大学 (略) 络 (略) 科工楼
供应商资质要求

符合《政府采购法》第二十二条规定的供应商基本条件




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

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

浙江大学

2024-10-15 13:31:26


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

项目名称操作系统源码安全分析工具软件项目编号XF-WSBX-*
公告开始日期2024-10-15 13:31:26公告截止日期2024-10-22 15:00:00
采购单位浙江大学付款方式货到付款，*方在到货验收后15日内向*方一次性支付本项目的总额
联系人成交后在我参与的项目中查看联系电话成交后在我参与的项目中查看
签约时间要求成交后14个工作日内到货时间要求成交后3个工作日内
预算总价￥ *.00
发票要求增值税普通发票
收货地址浙江大学 (略) 络 (略) 科工楼
供应商资质要求

符合《政府采购法》第二十二条规定的供应商基本条件




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

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

浙江大学

2024-10-15 13:31:26

    
查看详情》
相关推荐
 

招投标大数据

查看详情

收藏

首页

搜索

最近搜索

无

热门搜索

无