static checking (静的チェック)

コードのセマンティクスに基づいてバグを捕捉できる、コンパイル中に行われる自動チェックです。