Of course, but even the presence of CVEs does not make software worthless, it just makes it worth less.
You don't seem to understand what I'm talking about.
bad axiom -> worthless theorem.
bad unsafe section -> verified safe section is actually not safe.
alt Hacker News
You don't seem to understand what I'm talking about.
bad axiom -> worthless theorem.
bad unsafe section -> verified safe section is actually not safe.