静态程序分析 编辑
静态程序分析是指在不执行计算机程序的条件下，进行程序分析的方法。有些程序分析需要在程序执行时才能进行，这种程序分析称为动态程序分析。大部分的静态程序分析的对象是针对特定版本的源代码，也有些静态程序分析的对象是目标代码。静态程序分析一词多半是指配合静态程序分析工具进行的分析，人工进行的分析一般称为程式理解或代码审查。
2
相关
自修改代码是指程序在执行期修改自身指令。可能的用途有：电脑病毒利用此方法逃避杀毒软件的查杀，反静态程序分析，反盗版 ，单芯片程序升级。
Polyspace是静态程序分析的工具，利用抽象释义的方式进行大规模的分析，可以侦测C语言、C++或是Ada程式的源代码中，是否有特定类型的执行期错误，或是证明没有这类的错误。此工具也可以检查源代码是否符合特定的代码标准。
Cppcheck是一种用于C语言和C++ 编程语言的静态程序分析工具。 它是一个多功能工具，可以检查非标准代码。 创始人和首席开发人员是DanielMarjamäki。

在电脑科学中，lint是一种工具程式的名称，它用来标记源代码中，某些可疑的、不具结构性的段落。它是一种静态程序分析工具，最早适用于C语言，在UNIX平台上开发出来。后来它成为通用术语，可用于描述在任何一种计算机程序语言中，用来标记源代码中有疑义段落的工具。
自修改代码是指程序在执行期修改自身指令。可能的用途有：电脑病毒利用此方法逃避杀毒软件的查杀，反静态程序分析，反盗版 ，单芯片程序升级。
自修改代码是指程序在执行期修改自身指令。可能的用途有：电脑病毒利用此方法逃避杀毒软件的查杀，反静态程序分析，反盗版 ，单芯片程序升级。
自修改代码是指程序在执行期修改自身指令。可能的用途有：电脑病毒利用此方法逃避杀毒软件的查杀，反静态程序分析，反盗版 ，单芯片程序升级。
自修改代码是指程序在执行期修改自身指令。可能的用途有：电脑病毒利用此方法逃避杀毒软件的查杀，反静态程序分析，反盗版 ，单芯片程序升级。