Проверка кода, который вызывает недоверенный код • София Дроссопулу • Bug Bash EU 2026

Проверка кода, который вызывает недоверенный код • София Дроссопулу • Bug Bash EU 2026 София Дроссопулу — профессор Имперского колледжа Лондона, лауреат премии Даля-Найгора (Dahl-Nygaard Prize) 2023 года ОРИГИНАЛЬНОЕ НАЗВАНИЕ ДОКЛАДА Спецификация и верификация устойчивых открытых систем: возможности (capabilities), эффекты и доверенное посредничество АННОТАЦИЯ Современное сложное программное обеспечение является открытым: доверенный внутренний код тесно переплетен с недоверенным внешним кодом, поведение которого может быть неизвестным или даже враждебным. Создание устойчивого внутреннего кода в таких условиях — непростая задача: программистам приходится учитывать потенциальные последствия вызовов внешнего кода, даже если этот код невозможно изучить или которому нельзя доверять. Влияние таких вызовов можно ограничить, если писать внутренний код в «оборонительном» стиле — контролируя внешние вызовы и гарантируя, что они могут приводить к каким-либо последствиям только при наличии определенных прав доступа (capabilities). [...]