3 ms·
This already mostly exists. It means building with asan/msan/tsan/ubsan enabled. And... you'll slow your code down by several factors.
by UncleMeat 3y ago
This already mostly exists. It means building with asan/msan/tsan/ubsan enabled. And... you'll slow your code down by several factors.
- sweetjuly 3y agoSanitizers are debugging tools; they don't guarantee you'll actually catch issues when you run into them.
- UncleMeat 3y agoRight. This is why I said "mostly" in my post. If you want guaranteed detection of all forms of UB you'll need even higher overheads. Like, I really don't know how you'd design a system that is guaranteed to detect all data races.