News for hackers. Stuff that matters.

A comment on Some Were Meant For C (2017) [pdf]. Parent comment

Re:Some Were Meant For C (2017) [pdf] by adrianN on Monday March 01, 2021 @11:50PM (#26312009)
UBSan is awesome, but you need an awesome test suite to really unlock its power.
[ Parent | on HN ]
Re:Some Were Meant For C (2017) [pdf] by rurban on Tuesday March 02, 2021 @06:48AM (#26314275)
If 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.
[ Parent | on HN ]