静的 コンパイル時 安定 解析可能