170

I like the clarification:

Let me also touch this subject while talking security problems. This bug, the oldest so far in curl history, was a plain logic error and would not have been avoided had we used another language than C.

Otherwise, about 40% of all security problems in curl can be blamed on us using C instead of a memory-safe language. 50% of the high/critical severity ones.

Almost all of those C mistakes were done before there even existed a viable alternative language – if that even exists now.

you are viewing a single comment's thread
view the rest of the comments
[-] solrize@lemmy.world 4 points 2 weeks ago

I wonder whether some careful specifications and model checking could have found this.

[-] Blue_Morpho@lemmy.world 3 points 2 weeks ago

As the article says, the problem was the logic. They had thousands of hours of model checking.

[-] solrize@lemmy.world 7 points 2 weeks ago

They had 1000s of hours of fuzz testing. Model checking means something different.

this post was submitted on 13 Dec 2024
170 points (97.8% liked)

Technology

60130 readers
2751 users here now

This is a most excellent place for technology news and articles.


Our Rules


  1. Follow the lemmy.world rules.
  2. Only tech related content.
  3. Be excellent to each another!
  4. Mod approved content bots can post up to 10 articles per day.
  5. Threads asking for personal tech support may be deleted.
  6. Politics threads may be removed.
  7. No memes allowed as posts, OK to post as comments.
  8. Only approved bots from the list below, to ask if your bot can be added please contact us.
  9. Check for duplicates before posting, duplicates may be removed

Approved Bots


founded 2 years ago
MODERATORS