Сегодня 22 мая, среда

Какой рейтинг вас больше интересует?

получить код

Главная / Каталог блогов / Cтраница блогера Хабрахабр: Коллективные / Блоги / Захабренные / Запись в блоге

	Хабрахабр: Коллективные / Блоги / Захабренные Голосов: 10 Адрес блога: http://habrahabr.ru/blog/ Добавлен: 2007-10-24 18:05:40 блограйдером Robin_Bad

Информационная безопасность / [Перевод] Виртуальная машина KLEE для символьного выполнения кода

2011-07-08 16:45:25 (читать в оригинале)

В этом посте мы попробуем применить технику символьного выполнения на примере символьной ВМ KLEE для решения простого ASCII-лабиринта. Как вы думаете, сколько верных решений мы сможем найти?

Читать дальше →

Тэги: execution, klee, llvm, symbolic

Блограйдеров
14490

Блогов
219904
(+0 сегодня)

Сообществ
1309
(+0 сегодня)

Рыбалка
по среднему баллу (5.00) в категории «Спорт»

Категория «Программисты»

Взлеты Топ 5


+129	132	Bagdad
+113	131	QoSyS
+108	135	{dimaka}
+97	143	Yaroslav Starovirets
+77	137	ProgBook - книги и учебники по программированию

Падения Топ 5


-2	6	Robin_Bad
-9	3	livenebo
-11	43	Илья
-15	4	V_exeR
-16	2	Блог интернет-разработчика

Загрузка...

BlogRider.ru не имеет отношения к публикуемым в записях блогов материалам. Все записи
взяты из открытых общедоступных источников и являются собственностью их авторов.