高级软件工程 静态代码的可信性分析概述4/45 不论是人工还是自动 都需要: 利用已有的缺陷知识查找某个特定程序 关于代码 你有什么样的先验知识? 如何形式化描述这些知识? 如何使用这些知识查找缺陷?高级软件工程 静态代码的可信性分析概述 4/45 关于代码 你有什么样的先验知识？ 如何形式化描述这些知识？ 如何使用这些知识查找缺陷？ 不论 是 人工 还是 自动 都需要： 利用 已有的缺陷知识查找 某个特定程序