Program analysis

set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules

In computer science, a compiler-compiler or compiler generator is a programming tool that creates a parser, interpreter, or compiler from some form of formal description of a programming language and machine.

program analysis performed without actually executing programs

analysis of computer software that is performed by executing programs on a real or virtual processor

process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness

programming concept: multiple names for the same data location

approach to static program analysis

static code analysis technique

set of software engineering methods