The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

Открыт код McSema, фреймворка для преобразования машинного кода в биткод LLVM

12.08.2014 23:52

Компания Trail of Bits объявила об открытии под лицензией BSD исходных текстов фреймфорка McSema (MC-Semantics), предназначенного для анализа и преобразования машинного кода в промежуточный биткод LLVM (RISC-подобные виртуальные инструкции LLVM IR). Фреймворк поддерживает машинный код архитектуры x86, включая целочисленные вычисления, операции с плавающей запятой (FPU) и векторные инструкции (SSE). Проект разработан при поддержке Агентства по перспективным оборонным научно-исследовательским разработкам США (DARPA).

В качестве основных областей применения McSema отмечаются анализ и обратный инжиниринг программ. Например, становится возможным применение инструментов отладки и анализа (KLEE, PAGAI, LLBMC), поддерживающих LLVM IR. При этом преобразование машинного кода в промежуточное представление LLVM открывает такие потенциальные возможности, как обеспечение запуска на других аппаратных архитектурах и трансляция в более понятные для разбора исходные тексты на высокоуровневых языках. McSema также позволяет упростить сложные схемы трансформации кода с сохранением изначальной функциональности. Например, полученный биткод LLVM при помощи компилятора Emscripten можно преобразовать в представление на языке JavaScript, пригодное для выполнения внутри браузера.

В состав McSema входит несколько доступных для обособленного использования субпроектов, выполняющих функции восстановления управляющего потока, трансляции инструкций, разбора бинарных файлов и тестирования. На первом этапе при помощи программы bin_descend производится восстановления управляющего потока и построение графа структуры программы, определяющего базовые блоки кода и информацию о внешних вызовах с сохранением семантики инструкций оригинальной архитектуры. Граф с информацией об управляющем потоке сериализируется с использованием протокола Google Protocol Buffer и передаётся для обработки программе cfg_to_bc, которая выполняет преобразование инструкций и формирует биткод LLVM.

Из других открытых проектов, занимающихся решением задачи преобразования исполняемых файлов в промежуточное представление LLVM можно отметить Dagger, Fracture и libbeauty, но они пока не выходят за рамки экспериментальных разработок и подходят в для трансляции простейших программ.

  1. Главная ссылка к новости (https://news.ycombinator.com/i...)
  2. OpenNews: Новая версия набора компиляторов LLVM 3.4
  3. OpenNews: Представлен Portable Native Client для запуска платформонезависимых C/C++ программ в браузере
  4. OpenNews: Представлен Dagger, декомпилятор исполняемых файлов в промежуточное представление LLVM
Лицензия: CC-BY
Тип: Программы
Короткая ссылка: https://opennet.ru/40375-llvm
Ключевые слова: llvm, binary
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение (21) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Аноним (-), 01:49, 13/08/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Так все же можно будет транслировать x86 в, к примеру, arm, или нет?
     
     
  • 2.3, Аноним (-), 10:14, 13/08/2014 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Qemu это и сейчас умеет. Только оптимальность всего этого далеко не 1 к 1.
     
     
  • 3.9, Аноним (-), 13:22, 13/08/2014 [^] [^^] [^^^] [ответить]  
  • +1 +/
    С оптимизационными возможностями llvm этот коэффициент улучшится очень сильно.
     
     
  • 4.11, Аноним (-), 13:47, 13/08/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Спасибо, я видел как этот ваш LLVM работает. Там скорее коэффициент глючности улучшится очень сильно.
     
  • 2.22, x0r (??), 22:57, 16/08/2014 [^] [^^] [^^^] [ответить]  
  • +/
    это вам к товарищу mamaih - он игры с x86 на arm портирует успешно
     

  • 1.4, beerseller (ok), 10:21, 13/08/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Если бы это работало, то по идее можно будет сделать какой скайп под x86_64
     
     
  • 2.5, Comrade_Flammpanzer (?), 10:54, 13/08/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Это просто замечательно!

    Да какой там скайп, вот бы хорошо всякие Middleware для токенов заинжинирить, драйвера, вот это всё.

    Всякие старые, но годные игры тоже. Да много чего ещё.. Только бы Winelib научить ещё с LLVM работать ))

     
     
  • 3.12, Аноним (-), 13:49, 13/08/2014 [^] [^^] [^^^] [ответить]  
  • +3 +/
    > Да какой там скайп, вот бы хорошо всякие Middleware для токенов заинжинирить,
    > драйвера, вот это всё.

    Вам так хочется чтобы проприетарные кидалова и бэкдоры работали и у вас? :)

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

     
     
  • 4.23, Comrade_Flammpanzer (?), 11:22, 19/08/2014 [^] [^^] [^^^] [ответить]  
  • +/
    Дело не в доверии, а в заказчике, который анально ограничил использование VPN именно при помощи алладиновских. Предлагал рутокен, отказались.

    Но это всё равно прогресс, так как раньше использовались смарт-карты вообще без драйверов под линукс. Был только вариант опенсорсной прошивки , но опять-же, ключь таким образом затирается, а безопасники заказчика, записывающие ключ на токен, не будут ставить драйвера поддержки для опен-сорсного варианта.

    К сожалению, в корпоративном секторе не всегда всё так гладко.

     

  • 1.6, Аноним (-), 11:09, 13/08/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Люди, *имея* на руках исходный код, чешут репу над тем, как заставить его работать на разных архитектурах, а тут уже который
     
     
  • 2.7, Аноним (-), 11:09, 13/08/2014 [^] [^^] [^^^] [ответить]  
  • +/
    ... который раз рекламируют счастье для дураков.
     
     
  • 3.13, Аноним (-), 13:50, 13/08/2014 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > ... который раз рекламируют счастье для дураков.

    А Фабрис уже давно свой транслятор сделал. Без лишних пoнтов и маркетингового булшита. Так что если хочется прозрачно запустить ARMовый бинарь в х86 системе - это можно...

     
  • 2.10, Аноним (-), 13:29, 13/08/2014 [^] [^^] [^^^] [ответить]  
  • +/
    > Люди, *имея* на руках исходный код, чешут репу над тем, как заставить его работать на разных архитектурах

    Ну так люди и не должны писать код раз у них такое гoвно получается. Код должны писать программисты, так как при наличии минимальной квалификации он получается замечательно портабельным, тем более что усилий для этого прилагать почти не надо.

    > который раз рекламируют счастье для дураков

    Это правда, ибо только дурак будет пользоваться проприетарщиной которую без таких костылей на другой архитектуре не запустить. Однако тебе что, жалко? Переписывать это всё равно никто не будет, а привязка к архитектуре мешает внедрению новых более эффективных архитектур, того-же ARM. Хотя и уменьшает шансы что проприетарщине будет написан f/oss аналог.

     
     
  • 3.18, freehck (ok), 22:39, 13/08/2014 [^] [^^] [^^^] [ответить]  
  • +/
    > Ну так люди и не должны писать код раз у них такое гoвно получается. Код должны писать программисты, так как при наличии минимальной квалификации он получается замечательно портабельным, тем более что усилий для этого прилагать почти не надо.

    Вот хороший вопрос: минимальная квалификация - это какая?

     

  • 1.8, Аноним (-), 11:13, 13/08/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    по сути это дизассемблер, а как известно дизассемблировать в автоматическом режиме можно мало чего, не зря всякие IDA придумали.
     
     
  • 2.14, Аноним (-), 13:51, 13/08/2014 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > по сути это дизассемблер, а как известно дизассемблировать в автоматическом режиме можно
    > мало чего, не зря всякие IDA придумали.

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

     
     
  • 3.20, папа (?), 10:32, 14/08/2014 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Ошибаетесь. Проблема распознать где данные а где код - именно это IDA перекладывает на человека. Вообщем правильно будет конвертировать далеко не 100% программ
     

  • 1.15, arisu (ok), 16:34, 13/08/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    чего только не сделают пользователи проприетарщины, когда исходников нет…

    гвозди бы из них делать.

     
  • 1.17, Аноним (-), 18:21, 13/08/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Ждем DirectX для свободных операционных систем.
     
  • 1.19, Аноним (-), 07:42, 14/08/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    хм ... скачал сорцы, а оно под винду :( и на вход, судя по доке, берет только виндовые бинарники.
     
  • 1.21, Zenitarka (?), 16:36, 14/08/2014 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Прочитал "преобразование машинного кода в биткоин". :(
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Спонсоры:
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2020 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру