It can be used to generate program analyses and transformations.

• 它能够被用来生成分析和转化程序。