«Статический анализ» относится к программным инструментам (или их использованию) для анализа кода приложения на предмет произвольных свойств, таких как ошибки (неинициализированные переменные, возможная атака с использованием SQL-инъекций, является ли этот код мертвым, может ли аргумент иметь значение null, ... ) или структура (каков граф вызовов для этого кода? есть ли повторяющийся код? какая информация передается между компонентами?).