The analysis of the source or object code of a program without executing the code. Typically the analysis is designed to detect errors.