LINUX.ORG.RU

ClearView автоматически отслеживает нарушения работы программы и создает для нее бинарные патчи

 


0

0

Эта программа создана под руководством Martin C. Rinard, профессора MIT. ClearView не нуждается в исходном коде программы. Работа ClearView состоит из следующих стадий:

  • Обучение — наблюдая за нормальной работой приложения создается модель работы программы. Модель — это набор утверждений (инвариантов) о состоянии регистров и памяти.
  • Мониторинг — с помощью подключаемых мониторов (в проекте использовались Heap Guard & Determina Memory Firewall) выявляются нарушения функционирования (типа срыва стэка).
  • Идентификация связанных инвариантов — в случае нарушения функционирования устанавливаются бинарные патчи недалеко от точки нарушения, которые выявляют связанные с нарушением инварианты.
  • Генерация бинарных патчей — кандидатов на починку. Патчи меняют функционирование программы только при нарушении связанных инвариантов.
  • Проверка того, что патч-кандидат решает проблему и выбор одного из кандидатов.

Таким образом программа может продолжать работать до внесения исправления в исходники.

>>> pdf с описанием принципов работы

Звучит интересно, конечно, но работает ли?

smh ★★★
()

Хех. Да это же идеальный механизм для автоматического взлома всевозможных программных защит - главное ему правильно объяснить, какое состояние программы нежелательно, и (судя по описанию) оно воткнет куда надо goto, чтобы в это состояние не попадать :)

mick_vav
()

Опенсорскапец? Теперь, чтобы исправить глюки приложения не нужны ни исходники, ни прогеры? Хватит сабжа и бинарника?

prishel_potrollit
()

генератор костылей

если по русски, то это генератор костылей, чтобы программа могла хромать дальше, а не запускала эксплойты

да, и тормоза при подключении внешних защит существенные, лучше бы они занялись компилятором, который вкомпилирует эти защиты внутрь, чтобы снижение производительности было хотя бы не больше 50%

но идея интересная

www_linux_org_ru ★★★★★
() автор топика
Ответ на: комментарий от shty

> после хип коррапшен поведение программы не определено... и что будет делать-то этот костыль?

Ну, как, что! CV наблюдала же за прогой, пока та работала? Теперь CV её откатит и попробует снова, авось в этот раз прога не сбойнет :) А если снова накроется, так CV будет повторять до тех пор, пока той не надоест хип корежить :)

(прям, как в анекдоте про оффтопик "а вы уверены, что хотите, точно уверены?... - ага, испугался!")

gag ★★★★★
()

Чего только не придумают, лишь бы кактус пожевать.

dikiy ★★☆☆☆
()

интересная концепция.

Вот так вот и начнется война роботов и людей ;)

Genuine ★★★
()

А чего. Мысль занимательная. То что программа может работать после краша - это фигня. Важно что можно смоделировать все возможные варианты воспроизведения баги, а значит отладка будет проще.

eXOR ★★★★★
()
Ответ на: комментарий от anonymous

>Для начала потребуется рабочий скайнет для обучения ClearView
Не, для начала потребуется примитивный глючный и бажный скайнет. Затем он будет отлаживаться "до внесения изменений в исходники". Потом рестарт матрицы и так далее.

fractaler ★★★★★
()
Ответ на: комментарий от ubuntulover

>В теории всё интересно, но на практике я бы не трогал и десятиметровой палкой
Главное, чтобы при развитии эта прога сама не начала тыкать тебя десятиметровой палкой!

fractaler ★★★★★
()
Ответ на: комментарий от eXOR

Правильное замечание. Еще бы можно было проигрывать последовательность внешних воздействий которые привели к крашу - не придется выяснять у пользователей что они делали.

anonymous
()

Кто-то перепутал 1 ноября с 1 апреля?

void_ptr ★★★★
()
Ответ на: комментарий от Fredy

Fredy> Интересно, а ведь с помощью него, наверно, можно поставить на поток клепание тех же noCD.

Можно попробовать. С диском поиграть, создать модель работы программы, затем диск извлечь...

Quasar ★★★★★
()

Если ему скормить винду, то на выходе получится что-нибудь юниксо-подобное.

anonymous
()
Ответ на: комментарий от chiptunmaybeup

а так как обычно долгая и счастливая эволюционная цепь по "дедушке Дарвину" от "сего" до скайнета,,, сорри, искусственного интеллекта

chiptunmaybeup
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.