Address/Undefined Sanitizer (-fsanitize=undefined) will detect many undefined behaviours (but at runtime).