| 一种用于静态分析的规约语言设计与实现 |
| |
| 引用本文： | 石佳钦. 一种用于静态分析的规约语言设计与实现[J]. 现代计算机, 2008, 0(12) |
| |
| 作者姓名： | 石佳钦 |
| |
| 作者单位： | 北京航空航天大学计算机学院,北京100083 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 介绍一种用于程序静态分析检测的规约语言的设计与实现，对该语言的理论基础、要素、语法等进行了详细阐述，并通过对实验结果的对比分析，证明该语言的可靠性和实用性。
|
| 关 键 词： | 规约语言（SPECL） 静态分析 有限状态机 |
Design and Implement of a Specification Language for Static Analysis |
| |
| SHI Jia-qin. Design and Implement of a Specification Language for Static Analysis[J]. Modem Computer, 2008, 0(12) |
| |
| Authors: | SHI Jia-qin |
| |
| Affiliation: | SHI Jia-qin(College of Computer,Beijing University of Aeronautics , Astronautics,Beijing 100083) |
| |
| Abstract: | Introduces the design and implement of a specification language for program static analysis,describes the theoretical basis,grammar,elements of the language in details. Base on the comparison and analysis of testing results,it is proved that the language is reasonable and practical. |
| |
| Keywords: | Specification Language Static Analysis Finite State Machine |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
