3 ms·
UBSan is awesome, but you need an awesome test suite to really unlock its power.
by adrianN 6y ago
UBSan is awesome, but you need an awesome test suite to really unlock its power.
- rurban 6y agoIf you are too lazy to write tests, either formally verify it (cbmc or satabs) or fuzz it. Libfuzzer works great finding ubsan and asan bugs fast.