HAL — IDE för reverse engineering av digitala elektroniska scheman

Publicerad utgåvan av projektet HAL 2.0 (Hardware Analyzer), som utvecklar en integrerad miljö för analys av anslutningslistor (netlist) för digitala elektroniska kretsar. Systemet utvecklas av flera tyska universitet och är skrivet i C++, Qt och Python, och levereras licensieras under MIT.

HAL gör det möjligt att visa och analysera schemat i GUI och manipulera det med hjälp av skript på Python. I skripten kan den medföljande 'standardbiblioteket' av funktioner användas, som implementerar grafteorioperationer, nyttiga för reverse engineering av digitala elektroniska kretsar (med hjälp av dessa funktioner kan man heuristiskt upptäcka vissa designmönster och avlägsna enklare obfuskeringar med några få rader skript). Biblioteket innehåller också klasser för projektledning i IDE, som kan användas vid utveckling av plugins för analys och inspektion av anslutningar. Parsers för hårdvarubeskrivningsspråken VHDL och Verilog tillhandahålls.

Källa: opennet.ru