• Developers
    • Developers Price. Buy. Download. Try.
    Subnavigation

    代码缺陷分析

    检查源代码是否存在可能的运行时错误

    Axivion Static Code Analysis 的代码缺陷分析会检查源代码是否存在潜在的运行时错误。分析包括可扩展数据和控制流检查。这样就能在软件开发的早期阶段检测出诸如越界访问或除零等错误。

    内存和指针

    • 空指针解引用
    • 局部变量地址逃逸
    • new/malloc分配内存后没有delete/free导致内存泄漏
    • 资源分配/释放不匹配
    • 同时用于读写的资源
    • 资源禁止操作
    • 双重释放/释放后使用
    • 比较指针/减去无关指针
    • 数组访问越界
    • 缓冲区溢出
    • 副作用
    • 数据污染分析
    • 竞态条件分析

    异常

    • 堆栈展开过程中的异常
    • 违反异常规范
    • 未捕获的异常
    • 无效catch块

    数值错误

    • 除零运算
    • 算术运算溢出
    • enum类型变量赋值错误

    逻辑错误和自定义规则

    • 禁止参数值
    • 未初始化变量
    • 未使用的定义
    • 常数条件

    对于 Axivion Static Code Analysis，“缺陷代码”集中在运行时错误。当然，该工具还涵盖 API 使用、语法错误等。

    请联系我们了解更多信息。

    联系我们

    请求演示

    联系我们

    下载手册

    下载

    成功案例

    阅读更多

    Axivion Static Code Analysis

    阅读更多