Profile picture
CopperheadOS @CopperheadOS
, 5 tweets, 2 min read Read on Twitter
Post to LKML from a Google engineer about Clang-compiled kernels as shipped in production on the Pixel 2 and soon on Chromebooks: lkml.org/lkml/2017/11/2….
Android Open Source Project / Android moved to Clang for userspace and the NDK (third party apps). Clang-compiled kernels are the end of the road for GCC in the Android ecosystem.
Clang-compiled kernels will provide KMSan (GCC doesn't have MSan), improved UBSan and the opportunity to share work on mitigations with userspace both for Google (likely CFI and SafeStack) and for us downstream (small current features like -fsanitize=local-init and more to come).
A prominent example for UBSan is that the integer sanitizer works reliably in Clang and can be used in trapping mode for production which Android is doing. There's a good chance of Google adopting it in the kernel now but CFI / SafeStack will likely be first. @johnregehr @wdtz
GCC integer sanitizer has false positives so it's unusable beyond finding bugs and be quite annoying for that. Rest of the UBSan implementation has similar issues and MSan / SafeStack / CFI / other features are completely missing. Lacks any pros to make up for those cons too.
Missing some Tweet in this thread?
You can try to force a refresh.

Like this thread? Get email updates or save it to PDF!

Subscribe to CopperheadOS
Profile picture

Get real-time email alerts when new unrolls are available from this author!

This content may be removed anytime!

Twitter may remove this content at anytime, convert it as a PDF, save and print for later use!

Try unrolling a thread yourself!

how to unroll video

1) Follow Thread Reader App on Twitter so you can easily mention us!

2) Go to a Twitter thread (series of Tweets by the same owner) and mention us with a keyword "unroll" @threadreaderapp unroll

You can practice here first or read more on our help page!

Did Thread Reader help you today?

Support us! We are indie developers!


This site is made by just three indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member and get exclusive features!

Premium member ($3.00/month or $30.00/year)

Too expensive? Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal Become our Patreon

Thank you for your support!