HAL — IDE за реверсивно инженерство на цифрови електронни схеми

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

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

Източник: opennet.ru