软安科技 - 软安静兮产品介绍

软安静兮（StatiCode）是由软安科技自主研发的一款智能代码分析工具，基于多种先进检测技术，拥有?主可控的分析引擎和强?的规则库，能够深?剖析?研、外包和开源代码，精准识别其中的安全漏洞、代码缺陷、代码度量问题以及编码规范问题。结合AI大模型，将缺陷真实性智能判断和智能修复建议融入到缺陷审计的功能中，提升企业代码审计的效率和准确性。助?企业快速定位问题、及时修复，构建完善的安全软件管理体系，全?位保障软件质量。

 

软安静兮获得由国际知名认证机构TÜV北德颁发的ISO 26262＆IEC 61508认证证书，可以用于任何ASIL等级的开发过程，并提供包括但不限于MISRA、AUTOSAR、CWE、CERT、GJB等编码规范检查以及核心的运行时缺陷检测。

 

全维度的规则覆盖

• 16 种语言
• 7000+ 条规则

 

高精度的分析引擎

• 综合误报率低于15%
• 复杂的跨函数缺陷检出率80%以上

 

极速的分析效率

• 60分钟完成300-800万行代码分析
• 支持超过2000万行大型项目完整分析

 

 

核心功能

 

检测代码中的质量安全缺陷：分析软件代码中的可能会对软件的质量或安全造成威胁的缺陷，助力企业和组织提升软件质量安全等级。

 

检查代码是否符合各类主流编码规范：检查软件代码是否符合各类国内外广泛使用的不同行业的编码规范。助力企业和组织保持编码风格的规范和一致，并通过相关合规性认证。

 

检查项目代码度量：提供代码行数、注释率、缺陷密度、圈复杂度、函数扇入扇出、词汇复杂度、嵌套深度等度量指标检测，帮助研发团队观测项目代码可维护性。

 

代码审计：提供了项目级别的缺陷管理、追踪、审计、分配、报告生成等一系列功能。

创新地通过接入AI大模型，生成智能的缺陷真实性判断、智能修复建议，帮助企业提升代码审计效率，完成代码审计闭环。

 

产品优势

 

领先的规则库

• 支持C、C++、Java、JavaScript、TypeScript、Python、Golang、PHP等15 种语言
• 内置数百条软安核心质量缺陷/安全漏洞规则
• 支持MISRA C/C++ 2008/2023，AUTOSAR C++，CERT C/C++，GJB 5369/8114，GB/T 34944/34943等规则集

 

领先的检测精度

• 融合静态分析领域的前沿理念与创新方法，通过传统的抽象解释、符号执行、约束求解打造分析基座，以及多维漏洞溯源分析技术、自适应优化分析技术和启发式敏感信息检索算法等创新技术
• 具备强大的跨函数、跨文件分析能力，让软件缺陷无所遁形
• 综合误报率低于15%，复杂的跨函数缺陷检出率80%以上

 

领先的检测效率

• 推荐配置下（16核CPU，64GB内存），1小时完成150~200万行代码分析
• 支持超过1亿行大型项目完整分析

 

专业的技术服务

• 根据企业需求进行技术团队培训和方案设计，保障代码安全落到实处
• 7x24售后支持，快速响应

 

AI大模型保障高效率代码审计

• 接入AI大模型，底层引擎投喂代码片段、数据流、函数模型
• 生成智能缺陷误报真实性判断和智能修复建议，提升代码审计效率

 

 

软安静兮AI+

 

深度分析            →  AI智能助手

• 代码转换
• 值域分析
• 跨函数分析
• 统计分析
• 分析优化

 

效率提升

• 智能误报判断
• 智能修复建议