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