高级软件工程 静态代码的可信性分析概述5/45 内容 静态代码缺陷査找的角色 静态代码缺陷基本类别 静态代码缺陷查找的主要方法 四、静态代码缺陷査找的常见工具 五、理论基础:不动点高级软件工程 静态代码的可信性分析概述 5/45 内 容 一、静态代码缺陷查找的角色 二、静态代码缺陷基本类别 三、静态代码缺陷查找的主要方法 四、静态代码缺陷查找的常见工具 五、理论基础：不动点