ഡിജിറ്റൽ ഇലക്ട്രോണിക് സർക്യൂട്ടുകളുടെ റിവേഴ്സ് എൻജിനീയറിംഗിനുള്ള HAL - IDE

പ്രസിദ്ധീകരിച്ചു പദ്ധതി പ്രകാശനം എച്ച്എഎൽ 2.0 (Hardware Analyzer), развивающего интегрированную среду для анализа списков соединений (നെറ്റ്ലിസ്റ്റ്) цифровых электронных схем. Система развивается несколькими немецкими университетами, написана на C++, Qt и Python, и വിതരണം ചെയ്തു MIT ലൈസൻസിന് കീഴിൽ.

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

അവലംബം: opennet.ru