Such an analysis is typically performed without executing the program, hence the qualifier static.

• 这样的分析以不需要运行程序为特色，限定词静态由此而来。