[SAI_Peregrinus]

But it matters for detection time, because there's a lot more "normal" use of any given piece of code than intentional attempts to break it. If a bug can't be triggered unintentionally it'll never get detected through normal use, which can lead to it staying hidden for longer.

[staticassertion]

That's not really contested? The statement was that longer detection time indicates lower severity.