对计算机程序行为进行自动分析的过程，主要包括静态分析和动态分析两种策略。