高级软件工程 静态代码的可信性分析概述2/45 从静态代码分析动态特性: 机能完整? 易生何病? 什么性格? 道德水准?高级软件工程 静态代码的可信性分析概述 2/45 机能完整? 易生何病? 什么性格? 道德水准? 从静态代码分析动态特性：