カバレッジで埋まらない防御分岐は「到達不能」と「壊れるから書けない」を区別する / PaPut