4 ms·
Is it related to https://github.com/microsoft/checkedc-clang https://github.com/microsoft/checkedc-clang ? Another interesting link is https://support.apple.co
by vbezhenar 5y ago
Is it related to https://github.com/microsoft/checkedc-clang https://github.com/microsoft/checkedc-clang ?
Another interesting link is https://support.apple.com/guide/security/memory-safe-iboot-implementation-sec30d8d9ec1/web https://support.apple.com/guide/security/memory-safe-iboot-i... : Apple modified C compiler to improve iBoot security. I never found this particular implementation, I guess it's proprietary.
- opnitro 5y agoYes it is an attempt at being a formal model of that language.
- exikyut 5y agoAt the end of the day I honestly can't see how keeping this secret improves security overall. Something'll give eventually. It might be in something protected by these modifications, it might not, you have no way of knowing, so it's not like Apple is actually winning anything by being protective of This One Specific Corner. If anything releasing the modifications would carry significant weight and might even kick the tires sufficiently enough to see some coherent coordination and actual traction. I mean Apple clearly have the knowhow, what with LLVM and all! :v