Переопределенных операторов

Все эти нововведения помогают создавать более безопасный код. Рассмотрим теперь особенности Java,

Вынуждающие писать безопасный код.

По мере развития Java развивалась и система безопасности. BJDK 1.0 (Java Development Kit) основу системы

Безопасности составляли три компонента - Verifier (верификатор), ClassLoader (загрузчик классов) и

SecurityManager (менеджер безопасности). Эта модель известна под названием sandbox (песочница), в ней

выполняются Java-приложения, загруженные из сети (рис. 10.1).

Для полноценного функционирования модели безопасности каждый ее компонент должен работать

Безошибочно, поскольку только четкая совместная работа компонентов обеспечивает контроль над

Приложением во время загрузки и исполнения кода.

Первый рубеж обороны - верификатор, проверяющий загружаемый байт-код па корректность, так как у нас

Нет никакой гарантии, что загружаемый код был получен в результате работы компилятора Java, а не

Подправлен

вручную или не сгенерирован специальным <враждебным> компилятором. После того как код прошел

Верификацию, гарантируется, что файл класса имеет корректный формат, параметры всех операций имеют пра-

Вильный тип, в коде не происходит некорректных преобразований типов (например, целого числа в указатель),