 |
|
|
ru.linux- RU.LINUX --------------------------------------------------------------------- From : Aleksey Barabanov 2:5020/400 01 Jun 2006 18:56:56 To : Oleg Drokin Subject : Re: есть такое в природе ? -------------------------------------------------------------------------------- Oleg Drokin wrote: > Hello! > > Aleksey Barabanov <abb@wessen.ru> wrote: > AB> Предполагаю, что миф о секюрности Ады против С примерно того же плана, > как и AB> миф о безопасности линукса против виндов. > > Hу там же тоже наверняка компилер умеет проверять arry index out of bounds > и прочее подобное. Только для статических данных. Для динамических это встраивается в машину, но скорее всего отключается на этапе оптимизации. Вот из-за его такой въедливости этот язык и не используют в серьезных работах ;) Вообще секьюрность прямо противоположна юзабилити. И как только теоретически супернадежную вещь начинают как-то использовать в массовом порядке, то в нее внесятся модификации, начисто снимающие всякую защиту. И такой способ вовсе не является национальным русским открытием - хотели как лучше, получилось как всегда. Если покопаться то подобное можно найти везде. А на счет строгой статической проверки типов, так лишь ее сделают, как немедленно возникают аналогичные проблемы из-за слабой верификации входных данных и ... история идет по кругу. Теперь в отношении компиляторов: любая программа имеет фазу старта ее виртуальной машины. Для С это набор модулей crt-блах-блах-блах, а для языков с более сложной виртуальной машиной и эти модули будут более сложные. Плюс к этому динамическая линковка средствами ОС, а не языковой теоретической машины. Вот с них то и станет ломаться всякая Ада и проч. Модула, поскольку динамический линковщик связывает не Ада-типы и классы, а просто символы. Знаете почему вирусу пофиг на каком языке скомпилирован некий ELF модуль? Ответ очевиден. И аналогично, если некая супернадежная Ада-программа будет использовать дырявый стек ОС или кривую коммуникационную библиотеку, то что проку в Аде? -- Bye. Aleksey Barabanov <alekseybb at mail.ru> Отправлено через сервер Форумы@mail.ru - http://talk.mail.ru --- ifmail v.2.15dev5.3 * Origin: home (2:5020/400) Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
Архивное /ru.linux/7824ed2834cc.html, оценка из 5, голосов 10
|
|
|