程序静态分析技术与工具
| Data(s) |
2004
|
|---|---|
| Resumo |
静态分析对于保证程序质量,提高软件生产率有重要的意义.本文综述了静态分析常用的策略,介绍了当前静态分析的研究现状,比较了目前已有的静态程序分析工具. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
杨宇; 张健.程序静态分析技术与工具,计算机科学,2004,31(2):171-174 |
| Palavras-Chave | #程序正确性 #静态分析 |
| Tipo |
期刊论文 |
