Следите за последними материалами, объяснениями и связанными технологическими историями.
David Chisnall объясняет, как архитектура CHERI использует аппаратные возможности для защиты указателей и установления границ памяти и разрешений, обеспечивая пространственную и временную безопасность программного обеспечения, написанного на C и C++, без масштабной переработки. В докладе этот механизм связывается с возможностью построения точной изоляции между компонентами системы при непосредственном совместном использовании структур данных вместо полной зависимости от традиционных механизмов RPC.
Google заявляет, что внедрение Rust в Android снизило плотность уязвимостей, связанных с безопасностью памяти, более чем в 1000 раз по сравнению с кодом на C и C++, при этом изменения на Rust демонстрируют более низкие показатели отката и требуют меньше времени на проверку кода. В анализе также рассматривается расширение Rust на ядро, прошивки и приложения Google, а также уроки, полученные из уязвимости, которая едва не попала в публичный выпуск.