Static analysis




<theory, programming> A family of techniques of program analysis where the program is not actually executed (as opposed to dynamic analysis), but is analyzed by tools to produce useful information.

Static analysis techniques range from the most mundane (statistics on the density of comments, for instance) to the more complex, semantics-based techniques.

Qualities sought in static analysis techniques are soundness and completeness.



< Previous Terms Terms Containing static analysis Next Terms >
stateless
state machine
state transition diagram
State University of New York
statically typed
 SFLV
single static assignment
static analysis
 static database management system
static DBMS
static link
static nested scope
static nested scoping