The OpenNET Project / Index page

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

HAL - IDE для реверс-инжиниринга цифровых электронных схем

30.12.2019 20:02

Опубликован выпуск проекта HAL 2.0 (Hardware Analyzer), развивающего интегрированную среду для анализа списков соединений (netlist) цифровых электронных схем. Система развивается несколькими немецкими университетами, написана на C++, Qt и Python, и поставляется под лицензией MIT.

HAL позволяет просматривать и анализировать схему в GUI и проводить с ней манипуляции, используя скрипты на языке Python. В скриптах можно использовать прилагаемую "стандартную библиотеку" функций, реализующих операции теории графов, полезные для обратного инжиниринга цифровых электронных схем (с помощью этих функций можно скриптом в несколько строчек эвристически обнаруживать некоторые шаблоны проектирования и снимать несложные обфускации). Библиотека также включает классы для управления проектом в IDE, которые можно использовать при разработке плагинов для анализа и инспектирования соединений. Предоставляются парсеры для языков описания аппаратуры VHDL и Verilog.



  1. Главная ссылка к новости (https://github.com/emsec/hal...)
  2. OpenNews: АНБ опубликовало Ghidra, инструментарий для обратного инжиниринга
  3. OpenNews: Oracle против использования обратного инжиниринга для выявления уязвимостей
  4. OpenNews: Новая версия фреймворка для обратного инжиниринга - radare2 0.9.6
  5. OpenNews: Проект KiCad перешёл под покровительство Linux Foundation
  6. OpenNews: Выпуск системы проектирования печатных плат LibrePCB 0.1.3
Автор новости: Аноним
Тип: Программы
Ключевые слова: hardware, analyzer
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение (78) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, ИИ (?), 21:07, 30/12/2019 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    >VHDL и Verilog

    - это ЯП.

     
     
  • 2.5, rif (?), 21:26, 30/12/2019 [^] [^^] [^^^] [ответить]  
  • +2 +/
    это языки описания аохиьектуры
     
  • 2.6, Аноним (-), 21:35, 30/12/2019 [^] [^^] [^^^] [ответить]  
  • +1 +/
    ЯННП.
     
  • 2.15, moongard (?), 22:17, 30/12/2019 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Это не языки программирования, а языки описания аппаратуры, их так и называют HDL - Harward Description Languages. Ключевое отличие, тут не создается машинный код в виде набора выполняемых команд, с создается список соединений внутри кристалла FPGA или CPLD, то бишь внутри микросхем программируемой логики.
     
     
  • 3.16, Аноним (16), 22:34, 30/12/2019 [^] [^^] [^^^] [ответить]  
  • +4 +/
    >Harward

    Hardware


    Программирование - это инженерия посредством написания программы. Параллельная программа или последовательная - значения не имеет. OpenCL тоже можно скомпилировать в нетлист, но вы же не станете называть его HDL. А код на верилоге можно скомпилировать в программу под x86.

     
     
  • 4.23, Аноним (23), 02:54, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    > OpenCL тоже можно скомпилировать в нетлист

    ...но это предпочитают это делать с SystemC. Гугл таким манером кодеки vpx/aom в железки транслирует если не ошибаюсь. Урезанный реалтаймный subset, разумеется, от чего на кодинг забавные ограничения местами (например, запрет на плавучку в коде который в HW транслируется).

     
  • 3.42, анон (?), 15:19, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Ну тогда си - это язык описания ассемблера высокого уровня.
     
     
  • 4.48, Аноним (48), 16:43, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Си можно сделать из макросов для ассемблера.
     
  • 4.51, Аноним (16), 19:11, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    А то!
     

  • 1.2, Аноним (2), 21:11, 30/12/2019 [ответить] [﹢﹢﹢] [ · · · ]  
  • –24 +/
    В Зеленограде установка стоит разрезаешь микросхему по слоям и сразу понимаешь как она работает. Без всех этих ваших Qt и Пистонов.
     
     
  • 2.3, Аноним (16), 21:16, 30/12/2019 [^] [^^] [^^^] [ответить]  
  • +8 +/
    Они сосредоточились на анализе нетлиста. Нетлист получают от организаций с установками вроде той, что вы имели в виду. Ещё можно распарсить bitstream FPGA.
     
  • 2.4, Аноним (-), 21:18, 30/12/2019 [^] [^^] [^^^] [ответить]  
  • –4 +/
    А ничего, что некоторые люди хотят понять, как работает объект, не разрушая его? Или ты обратно потом склеишь?
     
     
  • 3.11, Аноним (16), 22:06, 30/12/2019 [^] [^^] [^^^] [ответить]  
  • +6 +/
    Микросхемы не разреверсишь, не разрушая. Стоимость реверсинга намного больше стоимости чипа. На этом и построена безопасность всяких TEE - не по карману реверсинг тем, кого могло бы это заинтересовать.
     
     
  • 4.37, хотел спросить (?), 12:33, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    уже можно.. там неждавно буквально какую-то новую приблуду рекламировали

    какой-то хитрожопый микроскоп.. точно не помню

     
  • 2.7, Аноним (-), 21:37, 30/12/2019 [^] [^^] [^^^] [ответить]  
  • +14 +/
    А зеленоград что-то производит, кроме хайпа и кирпичей? :)
     
     
  • 3.10, Аноним (16), 22:01, 30/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Да производит. Вернее производил.
     
  • 3.18, Аноним (18), 22:46, 30/12/2019 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Например билетики на метро не с неба падают, а остальное и вовсе секрет (часто даже для сотрудников).
     
     
  • 4.66, Аноним (66), 18:09, 01/01/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >а остальное и вовсе секрет (часто даже для сотрудников)

    "У нас есть такие приборы, но мы вам про них не расскажем."

     
  • 4.77, Аноним (-), 09:13, 08/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > Например билетики на метро не с неба падают, а остальное и вовсе секрет (часто даже для сотрудников).

    А китайцы таки не только скажут, но и продадут по сходной цене. Вон уже микроконтроллеры на RISC-V гонят. С ядром RISC-V и ... обвесом как у STM32F103. Очень забавное сочетание. И стоит забавно. В отличие от вовсесекрета - еще и купить реально. И потом нефиг жаловаться что китай на вас как на вассалов смотрит.

     
  • 3.68, Ilya Indigo (ok), 23:32, 01/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Клоны Денди и Сеги и картриджей для них до сих пор производит.
     
     
  • 4.70, Сегабой (?), 17:48, 02/01/2020 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Где пруфы?
     
     
  • 5.73, Ilya Indigo (ok), 22:36, 02/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > Где пруфы?

    В магазинах.

     
     
  • 6.76, Сегабой (?), 15:05, 03/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    > В магазинах.

    В магазинах 100% китайщина

     
  • 2.14, Имя (?), 22:16, 30/12/2019 [^] [^^] [^^^] [ответить]  
  • +5 +/
    > разрезаешь микросхему по слоям и сразу понимаешь как она работает

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

     
     
  • 3.17, Аноним (16), 22:36, 30/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Для однослойных микросхем в пару транзисторов склеивать ничего не нужно, и так всё видно.
     
  • 2.24, Аноним (23), 02:56, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > В Зеленограде установка стоит разрезаешь микросхему по слоям и сразу понимаешь как она работает.

    Ага, вот глядя на транзисторы сразу HDL вырисовывается. Аж два раза. Ну тогда ты посмотрев на вон тот бинарь сможешь сорец восстановить? Желательно с комментариями и всем таким, а не как после IDA Pro :)

     
     
  • 3.35, Аноним (35), 11:41, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Вот только что взял и восстановил Питоновский бинарь прямо с комментариями изи ваще. Что я делаю не так?
     
     
  • 4.43, Аноним (-), 15:39, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Ты пихтонраст, ты все делаешь не так :)
     
  • 4.50, Аноним (16), 18:19, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Неужели pyc хранит комменты?
     
  • 2.38, Аноним (38), 13:30, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +5 +/
    о болгарку завезли на 28nm или смогли не спиз#дить деньги на хороший микроскоп ? да, и тупое клонирование подразумевает что есть из чего и на чем делать эти асики, которые уже давно меньше ~30nm. а из гавна получается всегда паровоз, и то пока температура ниже нуля. поэтому вечная песня длиною в 200nm - ваше фсе. только больше такого старья в мире не делают.
     
     
  • 3.41, Аноним (48), 14:13, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Официальная легенда гласит что полный цикл от распила микросхемы (не бюджета) до создания клона могут выполнить только 4 предприятия в мире.
     
     
  • 4.44, Аноним (-), 15:42, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Многие микросхемы достаточно тривиальны чтобы отрисовать их с ноля или по структурной схеме из даташита. Китайцы наклепали море аналогов, вплоть до относительно совместимого клона STM32F103.
     
     
  • 5.47, Аноним (48), 16:41, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +1 +/
    А многие нет) Ты предлагаешь для них использовать экстрасенсорные способности? Ну все тогда расходимся сабж из новости не нужен, реверс инжиниринг продажная девка капитализма. Анон с опеннетика врать не будет.
     
     
  • 6.54, Аноним (-), 20:02, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    > А многие нет)

    Ну ты конкретные примеры назовешь? Я даже могу парочку - Core i7 например. Правда даже если ты его и разреверсишь от и до - дальше то чего? Ты сможешь переконкурировать интел? Или нафиг он тебе такой?

     
     
  • 7.57, Аноним (16), 21:14, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Если можно дёшево неразрушающе разреверсить конкретный чип, то SGX вместе с копирастами идут лесом.
     
     
  • 8.79, Аноним (-), 09:16, 08/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Кто сказал что SGX никто не реверсил Если это про GPU то с ними проблема ну воо... текст свёрнут, показать
     
  • 7.62, Аноним (62), 05:45, 01/01/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Я даже могу парочку - Core i7 например.

    Одна из самых неинтересных для реверса микросхем. Продается массово и почти по себестоимости кроме некоторых вариантов. Реверсить - себе дороже.

     
     
  • 8.78, Аноним (-), 09:15, 08/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    А еще транзисторов дохрена и сложный как черти что Вот и удачи в реверсинге ... текст свёрнут, показать
     
  • 7.71, Аноним (71), 21:30, 02/01/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Нафиг вообще упираться и повторять именно Corei7? Гипертрофированный синдром утенка? Есть множество других хороших архитектур. Тебе ли не все равно в куда компилируются бинарнки?
     
     
  • 8.80, Аноним (-), 09:18, 08/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    А какие чипы интересно реверсить То что реально отреверсить - обычно реально ... текст свёрнут, показать
     

  • 1.9, Аноним (9), 21:54, 30/12/2019 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Из новости непонятно, что этот софт умеет?
     
     
  • 2.12, Аноним (16), 22:07, 30/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Есть видео.
     
     
  • 3.22, Аноним ещё один (?), 01:57, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Видео нужно смотреть, а не есть!
     
  • 3.34, Marta K. (?), 11:41, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • –1 +/
    >> Есть видео.

    Есть видео этот софт не умеет.

     
     
  • 4.52, Аноним (52), 19:12, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Ай шутканул. Каникулы рано или поздно закончатся.
     
  • 3.64, Аноним (64), 12:11, 01/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Определять функционал софта по видео это что-то новенькое. Могу предположить что никакого стоящего функционала там нет.
     
  • 2.27, Аноним (-), 04:13, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Софт много чего умеет, но только при наличии прямых рук!
     
     
  • 3.36, Аноним (35), 11:43, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • –2 +/
    При наличии прямых рук и софт не нужен.
     
     
  • 4.39, Аноним (16), 13:51, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Ну раз у тебя руки прямые, то откажись от всего софта От всего софта Включая п... большой текст свёрнут, показать
     
     
  • 5.40, Аноним (48), 14:11, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Интересно как тогда появились компьютеры если до их появления их не было. С такими белоручками как ты и компьютер бы никогда не изобрели.
     
     
  • 6.45, Аноним (16), 15:44, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    до их появления не было тех, кто возникал в на сайтах, невозможных без софта, через интернет, невозможный без софта, работающий на компьютерах, создание и производство которых было невозможно без софта для компьютеров предыдущих поколений, открытие принципов лежащих в основе которых было невозможно без симуляции свойств полупроводников и прочих квантово-химических расчётов с помощью софта и компов ещё более предыдущих поколений, что "софт не нужен".
     

  • 1.19, Crazy Alex (ok), 00:01, 31/12/2019 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Интересно, а никто ещё не додумался наваять софт для анализа печатных плат? Ну, то есть дал фотографии устройства, оно что могло - распознало в черновик принципиальной схемы.
     
     
  • 2.20, Аноним (20), 00:33, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Особенно круто
    - при наличии двух и более слоёв
    - при закрытии дорожек маской/шелкографией/лаком
    - при прохождении дорожек под электронными компонентам
    - при нечитаемой маркировке самих компонентов
     
     
  • 3.25, Аноним (-), 02:59, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Когда сильно надо - реверсят. Но смысла в этом немного. Если брать за основу чужую плату мажорского производителя - по судам затаскают по поводу интеллектуральной собственности. А если не брать - так нарисовать схему типичных штук не особо сложно в большинстве случаев. Даже для навороченных систем. Ну будет там 200 проводов шиной. CAD'у похрен.
     
  • 3.28, CrazyAlex (?), 05:42, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Два слоя - не проблема. Больше - иногда тоже прокатит, там часто сплошные плоскости без.

    Через маску и прочее фотографируется неплохо при аккуратности.

    Дорожки под компонентами - иногда угадать можно. Ну и главное - я ж не зря сказал "черновик".

     
  • 2.21, Аноним (16), 00:50, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Есть софт для анализа микросхем по слоям с использованием машинного зрения. А платы реверсятся через КТ.
     
     
  • 3.29, CrazyAlex (?), 05:43, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    КТ - это что?
     
     
  • 4.31, Аноним (31), 08:00, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Компьютерная Томография
     
  • 2.72, Аноним (71), 21:36, 02/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Нафиг надо?  99% печатных плат сделано по референсу из публично доступных бесплатных PDF даташитов производителей микросхем.  

    Маркировку "центрального" чипа посмотрел, PDF нагуглил, вот тебе готовый _чистовик_ принципиальной схемы.

     

  • 1.26, Аноним (-), 04:11, 31/12/2019 [ответить] [﹢﹢﹢] [ · · · ]  
  • +11 +/
    Qt как всегда впереди. Весь подобный софт пишется на Qt, ибо GTK это немощь.
     
     
  • 2.30, SOska (?), 06:32, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • –6 +/
    Пруфы в студию мой вялый тролишко
     
     
  • 3.58, Аноним (66), 02:59, 01/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Ну а что не так? В каком инженерном софте, казалось бы, использован GTK. На самом деле он там как бекенд для wxWidgets. Пример - KiCAD.
     
  • 2.32, Анони (?), 09:29, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • –5 +/
    Да, в Qt много компонентов, но новые начинают создавать уже закрытыми.
     
     
  • 3.33, Аноним (33), 11:30, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    > но новые ещё начинают создавать закрытыми.

    поправил, дитё

     
     
  • 4.56, Анони (?), 20:34, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +/
    Если про первые версии, то оно давно в прошлом. Сменились организации, купили-продали... А картина мира не изменилась...
     
  • 2.46, adolfus (ok), 16:08, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • –6 +/
    Qt и GTK слишком тяжелы для серьезного софта -- дохренища всего такого, что совершенно не нужно. Начиная от работы со строками и контейнерами, заканчивая мультимедией и сетями. Все это есть отдельно, частью в самом языке, частью в библиотеках, которые наголову стабильнее и на порядок полегче.
     
     
  • 3.49, Аноним (49), 16:48, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Если вы не используете какие-то компоненты, то компилятор прекрассно их не линкует. А иногда, например в debian, их можно даже не устанавливать.
     
     
  • 4.53, Аноним (52), 19:13, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Тиха не мешай фанату винформ считать их венцом творения.
     
  • 4.74, adolfus (ok), 12:14, 03/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Речь не о компонентах, а том, что никак не связано с интерфейсом, но прибито гвоздями, например, кутишные строки, типы, многопоточность/многозадачность и прочие велосипеды.
    Может для нубов это выглядит как круть несусветная, но на самом деле заворачивание 9899 и 14882 в кути и гтк обертки только мешает и усложняет сопряжение с кодом "бизнес-логики", который нарабатывался десятилетиями. Вместо того, чтобы просто предоставить хороший инструмент для создания интерфейса, они насаждают стратегию его использования. Это неприемлемо.
     
  • 3.55, Аноним (55), 20:10, 31/12/2019 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > Qt и GTK слишком тяжелы для серьезного софта -- дохренища всего такого,
    > что совершенно не нужно.

    Ну так куть попилили на субкомпоненты. В линухе дистры приносят только те части которые используемому софту реально нужны. Вы небось юзер винды? Там то да, могут и с лопаты.

     
     
  • 4.75, adolfus (ok), 12:19, 03/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Последний раз с виндой я имел дело двадцать лет назад. И то в виде WINOS/2 если ты знаешь, что это такое.
     
     
  • 5.81, Аноним (-), 09:22, 08/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    Ну тогда странно не знать что и GTK и куть используются кучей CADов всех мастей и направлений. Более того - WinForms и WPF тоже используются. Хоть к ним все эти претензии и применимы в еще большей степени. Да что там, даже в WinAPI полно функций которые CAD-у ни к чему. Ну вот зачем CAD уметь дудеть файлы одним блокирующим вызовом апи? Значит и winapi избыточен.

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

     
  • 3.63, Аноним (-), 09:55, 01/01/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    иксперт, не имевший дело ни с тем, ни с другим детектед, опеннет такой опеннет
     
     
  • 4.67, Аноним (-), 18:36, 01/01/2020 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Тем и прекрасен пoпeннет! Здесь каждый школьник мнение имеет и свободно изъявляет! :-)
     

  • 1.59, Аноним (59), 04:14, 01/01/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Чего только эти акаянные буржуины не придумают, лишь бы исходники под GPL3 не выпускать.
     
     
  • 2.65, Аноним (16), 12:41, 01/01/2020 [^] [^^] [^^^] [ответить]  
  • +/
    HAL - IDE для реверс-инжиниринга цифровых электронных схем... большой текст свёрнут, показать
     

  • 1.60, Аноним (60), 04:47, 01/01/2020 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Всех с праздниками! Желаю побольше исходников и аудитов кода! :)
     
     
  • 2.61, Аноним (-), 04:48, 01/01/2020 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Независимых аудитов!
     

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



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

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