You are here: irt.org | FOLDOC | 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
Nearby terms: State University of New York « static « statically typed « static analysis » static database management system » static DBMS » static link
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL
©2018 Martin Webb