进程分析技术包括静态进程分析和动态分析技术。静态分析，如控制流分析、数据流分析、别名分析、程序切片等。动态分析包括插装等。

In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what It is supposed to do.