News for hackers. Stuff that matters.
Re:Undefined behavior in C is a reading error by gpderetta on Thursday May 20, 2021 @06:15PM (#27228099)
Obviously you wouldn't be able to catch many, or even most cases. Use-after-free is another case that would be very expensive to detect.
Re:Undefined behavior in C is a reading error by pjmlp on Friday May 21, 2021 @04:17AM (#27231638)
I was using it in 2000,

https://www.parasoft.com/products/parasoft-insure/

21 years later it is still an uphill battle to adopt such technology in C and C++ projects.