HAL Jedná se o integrované prostředí pro analýzu seznamu digitálních elektronických obvodůTento je komplexní rámec reverzního inženýrství a manipulace pro netlisty na úrovni dveří, které se zaměřují na efektivitu, škálovatelnost a přenositelnost. HAL přichází se systémem zásuvných modulů completo což umožňuje zavést libovolné funkce do jádra.
Zajímavé autor: HAL je to, že umožňuje vidět a analyzovat obvod v GUI a manipulovat s ním pomocí skriptů pythonu. Ve skriptech můžete použít přiloženou „standardní knihovnu“ funkcí, které implementují operace teorie grafů, užitečné pro reverzní inženýrství digitálních elektronických obvodů (pomocí těchto funkcí můžete heuristicky detekovat různé návrhové vzory a odstranit jednoduché zmatky pomocí skriptu na více řádcích) .
Knihovna zahrnuje také třídy pro řízení projektů v IDE, které lze použít při vývoji zásuvných modulů pro kontrolu a analýzu připojení. Analyzátory jsou poskytovány pro jazyky popisu hardwaru VHDL a Verilog.
Toto prostředí vyvíjí několik německých univerzit, napsaný v C ++, Qt a Python a vydaný pod licencí MIT.
Jeho hlavních charakteristik vynikají následující:
- Usměrněné přirozené grafické znázornění položek netlistu a jejich spojení.
- Podpora vlastních knihoven dveří.
- Vysoký výkon díky optimalizovanému jádru C ++
- Modularita - Vytvořte si vlastní doplňky C ++ pro efektivní analýzu a manipulaci se seznamy sítí (například pomocí grafických algoritmů)
- Funkčně bohaté grafické uživatelské rozhraní, které umožňuje vizuální kontrolu seznamu sítí a interaktivní analýzu
- Integrovaný prostředí Pythonu pro explorativní interakci s položkami netlistu a pro interakci s doplňky z grafického uživatelského rozhraní
O HAL verze 2.0.0
Nyní toto prostředí je ve verzi 2.0.0 ve kterém Analyzátory VHDL a Verilog byly vylepšeny, spolu se systémem sestavení CMake, který byl aktualizován, aby používal konfigurace založené na cílech.
také je zdůrazněno, že byla přidána podpora pro hierarchizaci a modularizaci, stejně jako další pohled na izolaci a nový návrhový systém.
Z dalších změn uvedeno v této nové verzi:
- Změny v systému knihovny dveří
- BDD nahrazeno booleovskými funkcemi
- Hlavní změny ve vnitřní reprezentaci typů bran
- Umožňuje rozlišení mezi LUT, klopnými obvody, západkami a typy kombinačních bran
- V západkách a klopných obvodech můžete nyní určit speciální sekvenční vstupy, jako je povolení, hodiny, konfigurace a reset.
- Knihovny brány JSON nahrazeny soubory svobody
- Zjednodušený systém zásuvných modulů
- Včetně knihovny Igraph
- Hlavní recenze GUI
Jak nainstalovat HAL na Ubuntu a deriváty?
Pro ty, kteří mají zájem o instalaci tohoto rámce reverzního inženýrství pro elektronické obvody, mohou to udělat podle pokynů které sdílíme níže.
HAL lze nainstalovat dvěma způsoby v Ubuntu a derivátech, první nás podporuje z úložiště aplikace (Platí pouze pro Ubuntu 18.04).
toto můžeme jej do systému přidat pomocí terminálu (Můžete jej otevřít pomocí klávesových zkratek Ctrl + Alt + T) a v něm zadáme následující příkazy.
Nejprve přidáme z úložiště pomocí:
sudo add-apt-repository ppa:sebastian-wallat/hal
Aktualizujeme balíčky a seznam úložišť pomocí:
sudo apt-get update
A pokračujeme v instalaci aplikace do našeho systému zadáním následujícího příkazu:
sudo apt install hal-reverse
Druhou instalační metodou je kompilace aplikace v systému. K tomu musíme stáhnout HAL kód pomocí terminálu.
Nejprve zadáme:
git clone https://github.com/emsec/hal.git && cd hal
Nyní budeme instalovat potřebné závislosti:
./install_dependencies.sh
A pokračujeme v kompilaci kódu pomocí:
mkdir build && cd build cmake .. make
Po dokončení kompilace pokračujeme v instalaci pomocí:
make install
Konečně může nahlédnout do dokumentace a dalších informací o HAL Na následujícím odkazu.