CodeSense
CodeSense(源代码缺陷分析平台)采用传统静态分析技术和新兴值流图分析技术,实现了流/值敏感分析,可以发现深层次的软件安全与质量缺陷,结合独有的智慧减负与黑白名单技术,高效地协助安全部门或研发团队为软件的安全与质量保驾护航。
*姓名
*公司名称
*电话
*邮箱
*验证码
*选择试用产品
iUnit
智能单元测试平台InterruptSafe
中断缺陷检测工具InterFaceTest
接口及协议测试平台INFDA
软件变更影响域分析平台CodeSense
源代码缺陷分析平台BinSearch
二进制代码同源分析平台UniSCA Enterprise
软件供应链安全管理平台XFuzz
软件智能模糊测试平台UniSCA Search
代码成分搜索云平台CodeAnt
开发安全云平台VHawk
HDL代码缺陷检查管理平台VTurbo
芯片配套开发加速工具VShark
Verilog功能仿真工具InfinitPro
多FPGA原型验证系统CodeSense(源代码缺陷分析平台)采用传统静态分析技术和新兴值流图分析技术,实现了流/值敏感分析,可以发现深层次的软件安全与质量缺陷,结合独有的智慧减负与黑白名单技术,高效地协助安全部门或研发团队为软件的安全与质量保驾护航。
CodeSense 通过了银河麒麟飞腾 OS 系统兼容性认证。核心代码均为自研,产品全部模块自主代码率84%,拥有自主知识产权。
对17个重要开源项目开展了分析(包含 LINUX,OPENSSL 等重要项目),共检测到75个实际缺陷,其中61个被开发者确认或修复。
团队近5年累计发表学术论文百余篇,包含大陆首篇CAV论文,两次获得COMPSAC会议唯一最佳论文。
NASAC2018代码漏洞检测工具一等奖,NASAC2018整数缺陷自动修复工具优秀奖,NASAC2018 API分析工具三等奖,工信部首届“鼎信杯”应用创新软件,泰尔实验室静态应用安全测试(SAST)系统成熟度认证,CWE兼容性认证。