程序分析 编辑
在计算机科学中，程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。
程序分析主要研究两大领域：程序的优化和正确性。前者研究如何提升程序性能并且降低程序的资源占用，后者研究如何确保程序完成预期的任务。
2
相关
静态程序分析是指在不执行计算机程序的条件下，进行程序分析的方法。有些程序分析需要在程序执行时才能进行，这种程序分析称为动态程序分析。大部分的静态程序分析的对象是针对特定版本的源代码，也有些静态程序分析的对象是目标代码。静态程序分析一词多半是指配合静态程序分析工具进行的分析，人工进行的分析一般称为程式理解或代码审查。
静态程序分析是指在不执行计算机程序的条件下，进行程序分析的方法。有些程序分析需要在程序执行时才能进行，这种程序分析称为动态程序分析。大部分的静态程序分析的对象是针对特定版本的源代码，也有些静态程序分析的对象是目标代码。静态程序分析一词多半是指配合静态程序分析工具进行的分析，人工进行的分析一般称为程式理解或代码审查。
静态程序分析是指在不执行计算机程序的条件下，进行程序分析的方法。有些程序分析需要在程序执行时才能进行，这种程序分析称为动态程序分析。大部分的静态程序分析的对象是针对特定版本的源代码，也有些静态程序分析的对象是目标代码。静态程序分析一词多半是指配合静态程序分析工具进行的分析，人工进行的分析一般称为程式理解或代码审查。
静态程序分析是指在不执行计算机程序的条件下，进行程序分析的方法。有些程序分析需要在程序执行时才能进行，这种程序分析称为动态程序分析。大部分的静态程序分析的对象是针对特定版本的源代码，也有些静态程序分析的对象是目标代码。静态程序分析一词多半是指配合静态程序分析工具进行的分析，人工进行的分析一般称为程式理解或代码审查。
静态程序分析是指在不执行计算机程序的条件下，进行程序分析的方法。有些程序分析需要在程序执行时才能进行，这种程序分析称为动态程序分析。大部分的静态程序分析的对象是针对特定版本的源代码，也有些静态程序分析的对象是目标代码。静态程序分析一词多半是指配合静态程序分析工具进行的分析，人工进行的分析一般称为程式理解或代码审查。
符号执行是一种计算机科学领域的程序分析技术，通过采用抽象的符号代替精确值作为程序输入变量，得出每个路径抽象的输出结果。这一技术在硬件、底层程序测试中有一定的应用，能够有效的发现程序中的漏洞。