C语言程序分析器6833-cflow的自动生成

程序的静态结构分析器是一种重要的软件工具。本文介绍了UNIX系统支持下开发的程序分析器自动生成系统GSPA的设计和实现,及用该生成器生成的C语言程序分析器6833-cflow。