Online Computer Dictionary
Browse words
|
Based on
FOLDOC
Queried for: static analysis
Definition:
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.
Browse through top 20 categories or see more ...
- programming (659)
- application (76)
- networking (823)
- language (1034)
- operating_system (420)
- mathematics (228)
- graphics (155)
- compiler (21)
- library (41)
- World-Wide_Web (133)
- cryptography (36)
- database (166)
- algorithm (132)
- logic (61)
- software (72)
- audio (27)
- virtual_reality (10)
- communications (329)
- file system (28)
- filename_extension (25)