Gigahorse: Gigahorse — Gigahorse

nevillegrech / gigahorse-toolchain: бинарный механизм подъема и анализа для смарт-контрактов Ethereum

Примечание: вам необходимо клонировать это репо с помощью флага --recursive , поскольку это репо имеет подмодули, например, git clone git @ github. com:nevillegrech/gigahorse-toolchain.git --recursive

Бинарный подъемник (и связанная с ним структура) от кода EVM низкого уровня до трехадресного представления на основе функций более высокого уровня, аналогичного LLVM IR или Jimple.

Краткое руководство

Сначала убедитесь, что в вашей системе установлено следующее:

• Boost библиотеки (могут быть установлены в Debian с apt install libboost-all-dev )

• Python 3.8 (см. Стандартную документацию)

• Souffle 2.0.2 (Мы тестируем только релизные версии, более поздние разрабатываемые версии могут работать, но не протестированы нами. Обратитесь к документации Souffle. Самый простой способ установить это — использовать релиз с https: // github.com / souffle-lang / souffle / Release / tag / 2.0.2)

Теперь установите пользовательские функторы Суфле. Просто перейдите в папку суфле-аддон :

И запустите make для установки:

  $ make # собирает все, устанавливает libfunctors. so как ссылку на libsoufflenum.so
  

Теперь вы готовы запустить Gigahorse.

Бегущий гигантский конь

Сценарий gigahorse.py может быть запущен для контракта индивидуально или для набора файлов байт-кода контракта в указанном каталоге, и он будет запускать бинарный подъемник, реализованный в logic / main.dl по каждому контракту, необязательно с последующим дополнительным анализом клиента, указанным пользователем с использованием флага -C . Конвейер Gigahorse также включает несколько этапов встраивания небольших функций, чтобы помочь последующим клиентским библиотекам получить более высокоуровневые выводы. Функциональность встраивания можно отключить с помощью --disable_inline .

Ожидаемый формат файла для каждого контракта — это шестнадцатеричный формат.

Пример (индивидуальный договор):

 ./gigahorse.py примеры / long_running.hex
  

Контракты, анализ которых занимает слишком много времени, будут пропущены после настраиваемого тайм-аута.

Результаты декомпиляции помещаются в каталог .temp , тогда как метаданные о выполнении, например, метрики помещаются в файл results.json в виде списка троек в форме:

[имя файла, свойства, флаги]

Здесь свойства — это список обнаруженных проблем с контрактом в имени файла, где любые выходные отношения в файлах журнала данных, которые не являются пустыми, будут иметь свои имя отношения, помещенное в этот список. flags — это список, указывающий вспомогательную или исключительную информацию. Это может включать «ERROR» и «TIMEOUT» , которые не требуют пояснений.

gigahorse.py --help для получения инструкций по вызову.

Пример (с клиентским анализом):

  ./gigahorse.py -j <количество заданий> -C clients / visualizeout.py 
  

Gigahorse также можно использовать в режиме «массового анализа», заменив его каталогом, заполненным контрактами.

Текстовое изображение поднятого ИР

Анализ клиентов. clients / visualizeout.py можно использовать для предоставления красивого текстового представления IR, созданного Gigahorse. Красиво напечатанный текстовый файл называется contract.tac и будет помещен в папку out / для каждого проанализированного контракта. Например, вывод для ./gigahorse.py -C clients / visualizeout.py examples / long_running.hex будет помещен в .temp / long_running / out / contract.tac .

Блок, отображаемый в contract.tac , выглядит так:

  Начальный блок 0x3e
    prev = [0xb], succ = [0x10ee, 0x49]
    =================================
    0x3f: v3f (0xf42fdfb) = ПОСТОЯННЫЙ
    0x44: v44 = EQ v3f (0xf42fdfb), v32
    0x10c7: v10c7 (0x10ee) = ПОСТОЯННО
    0x10c8: JUMPI v10c7 (0x10ee), v44
  

Имейте в виду, что красиво напечатанные идентификаторы переменных не соответствуют своим идентификаторам в базовых фактах журнала данных.

Запуск Gigahorse вручную (в целях разработки)

Чтобы использовать этот фреймворк в целях разработки (например,g., написание анализов безопасности), будет полезно понимание конвейера анализа. В этом разделе описывается один распространенный вариант использования — визуализация CFG поднятого IR. Конвейер будет состоять из ручного выполнения следующих трех шагов:

1. Создание фактов
2. Запустите main.dl с использованием Souffle
3. Визуализировать результаты

Чтобы продолжить, убедитесь, что установлены LD_LIBRARY_PATH и LIBRARY_PATH :

  $ cd суфле-аддон
$ export LD_LIBRARY_PATH = `pwd` # или куда вы хотите поместить результирующие libfunctors.так
$ export LIBRARY_PATH = `pwd` # или куда вы хотите поместить получившийся libfunctors.so
  

Мы предлагаем добавить LD_LIBRARY_PATH и LIBRARY_PATH в ваш файл .bashrc

Теперь давайте вручную запустим конвейер выше:

  $ . /generatefacts <контракт> факты # генерация фактов (переводит байт-код EVM в реляционный формат)
$ souffle -F fact logic / main.dl # запускает основной шаг декомпиляции (написан как программа Datalog)
$ clients / visualizeout.py # визуализирует IR и выходы (все выходы программ Datalog находятся в реляционном формате)
  

Написание клиентских анализов

Анализ клиентов может быть написан на любом языке путем чтения реляционных файлов, записанных на этапе декомпиляции ( main.dl ). Однако эта структура обеспечивает льготный режим для клиентов, работающих в Datalog. Наиболее ярким примером клиентского анализа для фреймворка Gigahorse является MadMax. При этом используются несколько «клиентских библиотек анализа» из clientlib.Эти библиотеки включают настраиваемый анализ потока данных, моделирование памяти, реконструкцию структуры данных и другие.

Распространенным шаблоном для клиентского анализа декомпилированного байт-кода является создание файла журнала данных суфле, который включает clientlib / decompiler_imports. dl , например:

  #include "clientlib / decompiler_imports.dl"

.выход ...
  

Использование гигахорса

Набор инструментов Gigahorse изначально был опубликован как

• Греч Н., Брент, Л., Шольц, Б., Смарагдакис, Ю. (2019), Gigahorse: тщательная, декларативная декомпиляция смарт-контрактов. На 41-й Международной конференции ACM / IEEE по программной инженерии.

Кроме того, на основе Gigahorse были разработаны другие инструменты исследования, в том числе:

• Греч Н., Конг М., Юришевич А., Брент Л., Шольц Б., Смарагдакис Ю. (2018), MadMax: выживание в условиях отсутствия газа в смарт-контрактах Ethereum. Труды ACM по языкам программирования (OOPSLA).

• Брент, Л., Греч, Н., Лагувардос, С., Шольц, Б., Смарагдакис, Ю. (2020), Ethainter: Анализатор безопасности смарт-контрактов для составных уязвимостей. На 41-й конференции ACM SIGPLAN по проектированию и реализации языков программирования.

• Лагувардос, С., Греч, Н., Цатирис, И., и Смарагдакис, Ю. (2020) Точное статическое моделирование «памяти» Эфириума. Труды ACM на языках программирования (OOPSLA).

• Греч Н., Конг, М., Юришевич, А., Брент, Л., Шольц, Б., Смарагдакис, Ю. (2020), Анализ рынка смарт-контрактов без газа. Коммуникации ACM.

Фреймворк Gigahorse также поддерживает инструмент декомпиляции и анализа в реальном времени на сайте contract-library.com.

Машины из «Безумного Макса: Дорога ярости»

Фантастический фильм «Безумный Макс: Дорога ярости» получил шесть «Оскаров» на 88-й церемонии вручения премии «Оскар».Фильм, щедро вознагражденный за дизайн, дизайн костюмов, макияж и прически, редактирование звуковых эффектов и микширование звука, а также монтаж фильма, по сути, представляет собой одну непрерывную сцену погони. Поэтому неудивительно, что его автомобили — настоящие персонажи, которые чуть не украли фильм.

Директор Джордж Миллер и его конструкторы-постановщики сознательно пошли по старой школе. Их франкенштейновский конвой психобилли-хотродов был собран по старинке: не из пикселей, а из жира, пота и мускулов.

Возвращение воина дороги

Том Харди играет главную роль в четвертом фильме франшизы Джорджа Миллера «Безумный Макс», взяв на себя роль Мела Гибсона в триллере 1979 года «Безумный Макс».

Для «Безумного Макса: Дорога ярости», действие которого происходит в постапокалиптической пустоши, управляемой тираническим военачальником, было создано 150 автомобилей, которые не только напоминают футуристический сеттинг хэви-метала, но и могут выдержать (насколько это возможно) суровые условия съемок в пустыне Намибии.

Перехватчик

Фирменный черный XB Ford Falcon Coupe 1974 года Макса Рокатански был брошен умирать в конце «Воина дороги» (1982). Как выразился художник-постановщик Колин Гибсон: «Легенда, обнаруженная в сточной канаве, проржавевшая и грохочущая из-за слишком большого количества ремонтов и слишком малого количества оригинальных деталей».

Перехватчик

Перехватчик Макса возвращается в новом фильме, собранный в пустыне и переработанный: с двойным наддувом, усиленным полным приводом и, конечно же, вооруженным.

Военная установка

Этот король конвоя — незаконнорожденный дитя чехословацких автомобилей Tatra и Chevy Fleetmaster, соединенных в двухцилиндровый 18-колесный двигатель V8. К корпусу прикреплены корпуса VW Bug и кабина грузовика, которые служат мобильными фортами для War Boys.

Военная установка

«Военная установка — это явное присутствие в фильме, поэтому мы потратили огромное количество времени на ее создание», — предлагает режиссер Джордж Миллер. «Он покрыт смолой и смолой. На него надели шипы и скелеты, чтобы держать людей подальше и вызывать чувство страха у любого, кто захочет на него напасть. Он должен быть очень функциональным, но также должен быть запоминающимся. После человеческих персонажей Военная установка, вероятно, является самым важным персонажем в фильме ».

Гигахорс

Миллер называет гигантскую лошадь, колесницу Военачальника, «кадиллаком на стероидах».»

Созданный на базе Cadillac Coupe De Villes 1959 года выпуска, Gigahorse оснащен двумя двигателями V16 и подпрыгивает на двухместных задних колесах высотой два метра.

Хотя Gigahorse не имеет люка на крыше, он стандартно поставляется с китобойный гарпун и конный огнемет.

Doof Wagon

Построен из перепрофилированного здания 8 x 8 м. A.N. Ракетоносец Doof Wagon имеет сабвуферы вместо сабвуферов.

Doof Wagon

Есть ли в вашей автомобильной стереосистеме барабанщики? Они бьют по резонаторам, построенным из каналов промышленного кондиционирования воздуха.

Автомобиль Nux

Nux — это мечта хотроддера, колесница с супертурбонаддувом и закись азота, сделанная из полированного стального шасси, приводимая в движение спиралевидным двигателем V8, с наклонными колесами и свисающими крыльями выхлопных труб.

«Через сорок пять лет после апокалипсиса транспортными средствами, которые, скорее всего, выживут и будут иметь некоторые шансы на функционирование, будут те, которые не имеют микропроцессоров, компьютерных чипов или технологий деформации, которые есть в современных автомобилях», — сказал директор Джордж Миллер.

Вместо этого флот «Безумного Макса» был построен на маслкарах старой школы и крысиных удилищах — менее аэродинамичных, но с более жесткими кузовами.

«Использование автомобилей 80-х и 40-х также придает им определенный стиль», — добавил Миллер.

Автомобиль Nux

Nux персонализировал интерьер с помощью игрушек и безделушек, от ручки для глазного яблока до своего кукольного рулевого колеса.

Плимут-Рок

Эта ржавая коляска с дикобразами выглядит так, будто Херби свернул не туда и попал в «Игру престолов».«

Плимут-Рок

Плимут-Рок в действии.

Капризный Фрэнк

У Фрэнка «крысиная штанга» Holden FJ с резной вершиной и 4-впускным двигателем V8 с наддувом есть серьезная слепая зона, благодаря его башне из карбюраторов и нагнетателю с ременным приводом.

Элвис

Этот высокоскоростной хотрод был построен из пары GMC 6, переброшенных встык на удлиненные рельсы шасси трехоконного купе.

Элвис

Элвис тянет на заднем колесе.

Миротворец

Совершенный гибрид: Merlin V8 с водяным охлаждением, установленный на протекторах баков.

Бьюик

Buick может похвастаться двойной шириной задних гусениц, поворотной башней и зенитным орудием.

Принц Доблестный

Этот огнедышащий Valiant Charger V8 — маслкар австралийского происхождения с некоторыми модификациями поистине необжитой местности.

Плафбой

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

Большая стопа

Грузовик-монстр, который можно найти на подъездной дорожке к Мэри Шелли.Этот зверь V8 с наддувом имеет высоту почти семь футов благодаря 66-дюймовым шинам Terra и четырем футам подвески. Оси для тяжелых условий эксплуатации взяты от бывшего военного супертанкера.

Мак

Mack — эвакуатор на стероидах.

FDK

Volkswagen V8 с наддувом, с двухствольным огнеметом и тройными выхлопными трубами.

Пожарная машина №4

Holden HZ Ute 1970-х годов с радиальной резиной и беленой костью.

Додж

Старый школьный хотрод с наддувом, установленным перед радиатором.

Багги № 9

Переделан из винтажного Perentti (австралийский корвет).

Возвращение воина дороги

После мировой премьеры на Каннском кинофестивале 2015 года фильм «Безумный Макс: Дорога ярости» откроется в кинотеатрах 15 мая.

Для дополнительной информации:

«Безумный Макс: Дорога ярости» (официальный сайт Warner Brothers)

На изображениях «Дороги ярости» видны гигантский конь, боевая установка и другие транспортные средства

Еще есть огнеметный Volkswagen Beetle и, конечно же, Ford XB Falcon 1974 года выпуска.

Когда каждый кадр трейлера безумно потрясающий, невозможно рассмотреть все детали. К счастью, «Автомобиль и водитель» только что набрали изображения 10 Безумный Макс: Дорога ярости автомобилей, чтобы мы могли их проанализировать. На них очень весело смотреть, но я также настоятельно рекомендую перейти к разделу «Автомобиль и водитель», чтобы еще раз взглянуть на них, потому что их слайд-шоу содержит множество любопытных деталей о каждом автомобиле.Есть «Миротворец», автомобиль, который частично является Valiant Charger и частично баком Ripsaw, «Гигагорс» — огромное грузовое шасси с двумя уложенными на нем Cadillac Coupe DeVilles и «FDK» (что бы это ни значило), Volkswagen Жук-огнемет.

Вы можете проверить все 10 автомобилей на новых изображениях Mad Max: Fury Road ниже, но, судя по всему, художник-постановщик Колин Гибсон построил «около 150» из них, так что у нас гораздо больше злобных антиутопических аттракционов. в нашем пути, когда фильм выйдет в кинотеатры 15 мая.

Вот официальный синопсис Mad Max: Fury Road :

Безумный Макс, которого преследует его бурное прошлое, считает, что лучший способ выжить — это бродить в одиночестве. Тем не менее, его захватывает группа, бегущая через Пустоши на боевой установке, управляемой элитным Императором Фуриозой. Они убегают из Цитадели, которую тиранизует Бессмертный Джо, у которого было отнято нечто незаменимое. В ярости, Военачальник собирает все свои банды и безжалостно преследует повстанцев в последовавшей за этим высокооктановой дорожной войне.

В фильме Netflix «Стул» произошел лучший сюрприз со знаменитостью 2021 года.

Да, лучше, чем «Свободный парень».’

Читать далее

Об авторе Perri Nemiroff (Опубликовано 2687 статей)

Перри Немирофф является частью команды Collider с 2012 года.Она является со-ведущей Collider FYC, The Witching Hour и ведет серию интервью Collider Ladies Night. Перри гордится тем, что окончила программу Колумбийского университета по киноискусству и является членом Ассоциации кинокритиков. Перри делит свое время между Лос-Анджелесом и Нью-Йорком, но каждый час бодрствования посвящает своей кошке, помощнику шерифа Дьюи.

Более От Перри Немироффа

Gigahorse 1227шт. — TheBlockZone

Самая злая суперзвезда автомобильного кино!

Эта модель была разработана brickvault, мы предоставляем только комплект запчастей.Инструкцию по сборке необходимо приобрести на странице дизайнера здесь.

Размеры: 40 см x 19 см x 20 см

Основные характеристики:

• Более 1200 штук
• Масштаб 1:12
• 40 см длинные
• Функционирующее рулевое управление
  
• Массивный подробный двигатель
  
• Гоночные флаги сзади
• Задние колеса двойного штабелеукладчика
• Задняя подвеска
• Рулевое управление сзади

Эта модель была разработана brickvault, мы предоставляем только комплект деталей. Инструкцию по сборке необходимо скачать на странице дизайнера здесь.

Благодаря бесплатной международной доставке для всех заказов и сотням знаковых наборов строительных блоков вы можете быть уверены, что TheBlockZone поможет вам.

TheBlockZone предлагает бесплатную отслеживаемую и застрахованную доставку по всему миру для всех заказов через премиальные курьеры, такие как FedEx, UPS, DHL, SF Express и другие. Обратите внимание на , поскольку вы, возможно, знаете, что курьеры по всему миру сталкиваются с задержками из-за отмененных рейсов, торговых ограничений и ограничений на поездки, ограниченного штата сотрудников и других факторов. Мы тесно сотрудничаем с нашими дистрибьюторами, чтобы максимально избежать этих задержек, однако в некоторых случаях указанные ниже сроки доставки могут не соблюдаться. Благодарим вас за терпение и понимание в течение этого времени. Если у вас есть какие-либо вопросы, напишите нам по адресу [email protected], и мы будем рады помочь.

Область	Срок поставки	Тип поставки
Великобритания и ЕС	5-10 рабочих дней	Бесплатное отслеживание и страхование.
США и Канада	5-10 рабочих дней	Бесплатное отслеживание и страхование.
Австралия и Новая Зеландия	5-10 рабочих дней	Бесплатное отслеживание и страхование.
Япония и Южная Корея	8-12 рабочих дней	Бесплатное отслеживание и страхование.
Сингапур, Малайзия, Тайвань	8-12 рабочих дней	Бесплатное отслеживание и страхование.
Международный	10-15 рабочих дней	Бесплатное отслеживание и страхование.

После получения заказа мы обрабатываем и упаковываем его в течение 48 часов, и ваш заказ отправляется в центр распределения.Затем этот распределительный центр выбирает самый быстрый способ доставки из ряда уважаемых курьеров и оперативно отправляет заказ. Когда ваш заказ будет отправлен из распределительного центра, вы получите обновление с кодом отслеживания. Обратите внимание, что для минимизации времени доставки и обеспечения бесплатной международной доставки мы заменяем все оригинальные коробки с продуктом на меньшие, более эргономичные и более безопасные варианты упаковки. Большие модели поставляются в простых коробках, а модели меньшего размера могут поставляться в мягких мешочках.

Если у вас возникнут проблемы с доставкой, курьерской службой или иным образом, свяжитесь с нами по адресу info@theblockzone. com , и мы поможем вам решить вашу проблему. Не забывайте, что ваш заказ всегда можно отследить, зайдя в раздел своего аккаунта .

Скачать бесплатно STL файл Immortan Joe Gigahorse • Объект для 3D-печати ・ Cults

?

Творческое качество: 2.8/5 (2 голоса)

Оценка участников по пригодности для печати, полезности, уровню детализации и т. Д.

Ваш рейтинг: 0/5 Удалить

Ваш рейтинг: 0/5

• 771 Просмотры
• 3 нравится
• 33 загрузки

Описание 3D модели

Информация о файле 3D-принтера

• Формат 3D-дизайна : STL Сведения о папке Закрывать
• Размер 3D модели : X 52. 4 × Y 102 × Z 57,6 мм
• Дата публикации : 2021.06.20 в 21:36

---

Лицензия

CCBY

Теги

Создатель

Просто любитель со страстью к миниатюрам. Я хочу расширить свои знания и навыки в этом новом хобби. Я могу попытаться сделать запрос любому, кто чего-нибудь хочет.

---

Бестселлеры категории Разное

---

Хотели бы вы поддержать культы?

Вы любите Культы и хотите помочь нам продолжить приключение самостоятельно ? Обратите внимание, что мы небольшая команда из 3 человек , поэтому очень просто поддержать нас поддерживать активность и создавать будущие разработки . Вот 4 решения, доступные всем:

• РЕКЛАМА: Отключите блокировщик баннеров AdBlock и нажимайте на наши рекламные баннеры.

• ПРИСОЕДИНЕНИЕ: Делайте покупки в Интернете, нажимая на наши партнерские ссылки здесь Amazon или Aliexpress.

• ПОЖЕРТВОВАТЬ: Если хотите, вы можете сделать пожертвование через PayPal здесь.

• СЛОВО РОТА: Пригласите своих друзей прийти, откройте для себя платформу и великолепные 3D-файлы, которыми поделились сообщество!

.