软安静兮SAST静态代码分析工具

帮助企业在软件编码和测试过程中低成本解决质量和安全问题

 

产品介绍

 

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

 

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

核心功能

 

检测代码中的质量

安全缺陷

 

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

检查代码是否符合

各类主流编码规范

 

检查软件代码是否符合各类国内外广泛使用的不同行业的编码规范。

 

助力企业和组织保持编码风格的规范和一致，并通过相关合规性认证。

 

 

检查项目代码度量

 

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

 

 

代码审计

 

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

 

创新地通过接入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大模型，底层引擎投喂代码片段、数据流、函数模型
•  生成智能缺陷误报真实性判断和智能修复建议，提升代码审计效率