this post was submitted on 08 Jun 2024
1068 points (98.5% liked)

Programmer Humor

19589 readers
554 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 1 points 5 months ago (1 children)

Well, threadsanitizer catches them in runtime. Not sure about GCC static analyser and other SA tools.

[–] 5C5C5C 3 points 5 months ago* (last edited 5 months ago) (1 children)

I use thread sanitizer and address sanitizer in my CI, and they have certainly helped in some cases, but they don't catch everything. In fact it's the cases that they miss which are by far the most subtle instances of undefined behavior of all.

They also slow down execution so severely that I can't use them when trying to recreate issues that occur in production.

[–] [email protected] 1 points 5 months ago

They caught lock inversion, that helped to fix obscure hangs, that I couldn't reproduce on my machine, but were constantly happening on machine with more cores.