I have several low priority UBSan questions...
(1) Is there a way for UBSan to print its output to a file that the user specified (e.g. via option) instead of dumping everything on stderr?
(2) Out of curiosity, why is the name of the option for printing the stacktrace spelled
"UBSAN_OPTIONS=print_stacktrace=1", though the allowed value is 1?
Since the only one value is accepted, maybe it's more practical (and intuitive) to spell it
(4) Do you know if there is better (i.e. more complete) documentation for UBSan somewhere?
This one is pretty good, but it doesn't talk about many things. E.g. it doesn't describe the runtime options that are possible to pass to UBSan (like the one that I talked about earlier).
This page below doesn't seems to mention UBSan at all (unlike the others most commonly used sanitizers). Is it done on purpose? Or it's a work in progress?