程序分析在软件测试和软件维护方面均有着重要作用。为实现软件程序的自动分析, 基于有限自动机理论, 提出一种实现软件静态信息识别的程序分析技术, 根据程序设计语言的语法规则对程序语句进行了分类, 针对每类语句设计了对应的识别自动机, 在此基础上设计并实现了一个程序分析原型系统。系统应用结果表明, 利用这一技术可以有效的提取出程序的控制流和数据流信息, 能够为软件质量的定量分析和软件维护工作奠定良好基础。