Сертификация программного обеспечения. Статический анализ программного кода