These techniques involve checking the software without executing code to identify errors early:

: Analyzers that evaluate code or documentation without execution.