I didn't look at the community and was expecting to see a decade old woodlouse.
Technology
This is a most excellent place for technology news and articles.
Our Rules
- Follow the lemmy.world rules.
- Only tech related content.
- Be excellent to each another!
- Mod approved content bots can post up to 10 articles per day.
- Threads asking for personal tech support may be deleted.
- Politics threads may be removed.
- No memes allowed as posts, OK to post as comments.
- Only approved bots from the list below, to ask if your bot can be added please contact us.
- Check for duplicates before posting, duplicates may be removed
Approved Bots
Technically, it exists, just in pieces. You probably have ingested some of those pieces.
When looking at the CVE itself, it seems like a bug that only gets triggered on a very specific corner case that neither the client or website alone can trigger.
Of course, it's good that it gets reported and fixed, but I'm pretty sure these kind of bugs can only get caught by people randomly stumbling on them
Someone earned a tidy 540 bucks stumbling onto this one. Not bad.
I wonder whether some careful specifications and model checking could have found this.
As the article says, the problem was the logic. They had thousands of hours of model checking.
They had 1000s of hours of fuzz testing. Model checking means something different.