静的 せいてき解析 かいせきであれば
seitekikaisekideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 静的解析

1. If static analysis; Were static analysis

Ba Conditional
Computing