You wouldn't use the compiler to build you programs, you'd just use it to detect UB. It would be especially useful if you could specify your entry point(s), an

You wouldn't use the compiler to build you programs, you'd just use it to detect UB. It would be especially useful if you could specify your entry point(s), and let it find all cases where user inputs could cause UB. I think it would be especially helpful for checking the output of compile-to-c languages.