静态分析工具是专为软件工程师、测试工程师打造,用于对C/C++/Java项目工程源码进行编码标准符合性检查、代码质量度量分析、程序控制流可视化分析等。支持GJB8114、GJB5369、MISRAC-2012、GB/T-28169、阿里巴巴Java编码规范和GB T 34944-2017等标准规范,内置50余个代码质量度量元,涵盖了数据异常分析、接口一致性分析、表达式分析等;对于问题列表允许用户快速定位到代码具体位置,还可以根据项目需求生成不同格式的测试报告。同类国外产品Klocwork、Fortify、Coverity、C++test静态,Testbed静态。

产品简介

EagleEye利用语法分析、类型检查、数据流分析等技术可对1000余条安全规则进行自动检查,能够适用于数十万行的程序。支持的规则类型包括声明定义类、版面书写类、类型转换类、分支控制类、函数调用类、循环控制类、比较判断类、运算处理类、指针使用类、初始化类、构造和析构函数类、内存释放类、异常处理类等。

全面支持国产标准的代码安全规则检查

可视化代码结构分析。

EagleEye利用源代码静态分析技术为用户提供了代码结构分析和可视化功能,辅助用户进行高效的代码审查。主要包括程序控制流图和函数调用关系图。

产品功能

可复用的自定义规则集配置

提供规则集配置功能,方便用户可根据个性化需求创建不同的规则集,支持对规则集的编辑和修改。

支持C/C++混合度量

被检测项目中同时包含C和C++语言时,EagleEye可根据被测文件的实际语言类型自动使用不同计算模型进行质量度量。

全方位代码质量度量分析

EagleEye内置30余种不同类型度量指标,度量指标总数57个。支持项目级、模块级、函数级多种度量场景。

多种C/C++语法的支持

EagleEye支持标准C、GNU C、C99、C11等语法,在不需编译的情况下或出现编译错误时仍然能够进行代码规则检查。

  • 回到顶部
  • 010-80750213
  • 微信公众号二维码

产品亮点

EagleEye内置了GJB8114、GJB5369、MISRA C 2012、CMSE2007、SJ21141规则集,覆盖了军工、汽车、航空航天、船舶制造等领域。支持的规则类型包括声明定义类、版面书写类、类型转换类、分支控制类、函数调用类、循环控制类、比较判断类、运算处理类、指针使用类、初始化类、构造和析构函数类、内存释放类、异常处理类等。同时用户可以根据自己的实际需求,规则集进行自由组合配置。对于检查结果中的问题项可快速定位到问题代码所在行。

01

可用于软件开发、测试、发布阶段,工具采用C端架构,支持集成至Eclipse开发环境,允许作为开发工具使用,静态分析过程不依赖编译器,同时允许用户针对项目开发环境指定编译器。

适用范围

EyeEagleEye支持对C、C++语言的项目进行代码质量度量分析,对于C和C++代码同时存在的项目支持混合度量分析,内置30余种不同类型的度量指标,指标总数达到57个,如代码行数、注释行数、注释率、类和函数的圈复杂度、类和函数的扇入扇出、可执行路径数等。提供项目级、模块级、函数级度量场景,支持多项目同时度量、文件夹级、单文件级度量,度量范围自由可控,全方位的覆盖了项目代码质量多维度、多角度的深度分析。

02

程序流程图的设计是在处理流程图的基础上,通过对输入输出数据和处理过程的详细分析,将计算机的主要运行步骤和内容标识出来。程序流程图是进行程序设计的最基本依据,它的质量直接关系到程序设计的质量。

03

EagleEye针对编码规则检查和代码质量度量结果提供可定制的、可独立分发的中文测试报告,极大程度地满足用户个性化文档工作的需求。支持的格式包括:HTML、PDF、Word和XML。

04