程序分析

程序分析读音为 chéng xù fēn xī。意思是：对计算机程序行为进行自动分析的过程，主要包括静态分析和动态分析两种策略。