程
序
分
析
chéng xù fēn xī
基本释义
对计算机程序行为进行自动分析的过程，主要包括静态分析和动态分析两种策略。
英文翻译
Program analysis