UBSan support in just-released Linux kernel http://lwn.net/Articles/673317/ …
-
-
@RichFelker@johnregehr@ch3root ask@dvyukov and@kayseesee about UB in the kernel! Fun times ;-) -
@jfbastien@RichFelker@johnregehr@ch3root@kayseesee Poorly. I've turned it off on my fuzzers. Signed int overflows are legal (due to... -
@jfbastien@RichFelker@johnregehr@ch3root@kayseesee compiler flag). But they still can be real bugs, so you need to filter manually... -
@jfbastien@RichFelker@johnregehr@ch3root@kayseesee Shift by 65 bits. Legal if you are in arch/x86 dir. Scary enough it is... -
@jfbastien@RichFelker@johnregehr@ch3root@kayseesee user-triggerable from BPF programs. Response: we expect it to do what hardware does. -
@dvyukov@jfbastien@RichFelker@ch3root@kayseesee not cool! and there's no -fno-strict-shifts flag
End of conversation
New conversation -
-
-
@RichFelker UBSan does not detect close to every kind of UB, so it's not necessary a contradiction.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.