Top-down LL(1) predict analysis is used in program static analyzer. It will focus on high level conceptive abstraction on grammars of original programming language. Getting the design intention from the source code in different levels and aspects and realizing platform independence. This system not only has advantages over traditional analytic tools, but also is of universal use.%采用自顶向下的LL(1)语法分析技术,设计一个程序静态分析器,对源文法进行高级概念化抽象.可以从不同层次不同方面来得到源程序的设计意图,实现语言平台的无关性.系统不仅优于传统的分析工具,而且具有良好的通用性.
展开▼