• uis@lemm.ee
    link
    fedilink
    arrow-up
    1
    ·
    5 months ago

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

    • 5C5C5C@programming.dev
      link
      fedilink
      arrow-up
      3
      ·
      edit-2
      5 months ago

      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.

      • uis@lemm.ee
        link
        fedilink
        arrow-up
        1
        ·
        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.