从需求到运维

    打开 Markdown
    在地图上显示

    代码分析技术

    静态分析 · Static Analysis

    不运行目标程序,通过检查代码寻找可疑结构、规则违规和潜在缺陷。

    地图中的位置

    1. 验证
    2. 代码与模型分析

    相关实践