HAL Jedná sa o integrované prostredie pre analýzu zoznamu digitálnych elektronických obvodovje je komplexný rámec reverzného inžinierstva a manipulácie pre sieťové zoznamy na úrovni dverí, ktoré sa zameriavajú na efektívnosť, škálovateľnosť a prenosnosť. HAL prichádza s doplnkovým systémom kompletný ktorý umožňuje zaviesť do jadra ľubovoľné funkcie.
Zaujímavé autor: HAL je to, že umožňuje vidieť a analyzovať obvod v GUI a manipulovať s ním pomocou pythonských skriptov. V skriptoch môžete použiť priloženú „štandardnú knižnicu“ funkcií, ktoré implementujú operácie teórie grafov, užitočné pre reverzné inžinierstvo digitálnych elektronických obvodov (pomocou týchto funkcií môžete heuristicky detegovať rôzne návrhové vzory a odstrániť jednoduché zmätky skriptom na viacerých riadkoch) .
Knižnica Zahŕňa tiež triedy pre riadenie projektu v IDE, ktoré možno použiť pri vývoji doplnkov na analýzu a kontrolu pripojenia. Analyzátory sú poskytované pre jazyky popisu hardvéru VHDL a Verilog.
Toto prostredie vyvíja niekoľko nemeckých univerzít, napísané v C ++, Qt a Python a vydané pod licenciou MIT.
Z jeho hlavných charakteristík vyniknú tieto:
- Usmernené prirodzené grafické znázornenie položiek netlistu a ich spojení.
- Podpora vlastných knižníc dverí.
- Vysoký výkon vďaka optimalizovanému jadru C ++
- Modularita - Napíšte svoje vlastné doplnky C ++ pre efektívnu analýzu a manipuláciu so zoznamom sietí (napríklad pomocou grafických algoritmov)
- Funkčne bohaté grafické rozhranie, ktoré umožňuje vizuálnu kontrolu zoznamu sietí a interaktívnu analýzu
- Vstavaný shell Pythonu pre exploratívnu interakciu s položkami netlistu a pre interakciu s doplnkami z GUI
Informácie o verzii HAL 2.0.0
Teraz toto prostredie je vo svojej verzii 2.0.0 v ktorom Boli vylepšené analyzátory VHDL a Verilog, spolu so systémom zostavenia CMake, ktorý bol aktualizovaný, aby používal konfigurácie založené na cieľoch.
tiež zdôrazňuje sa, že bola pridaná podpora pre hierarchizáciu a modularizáciu, ako aj ďalší izolačný pohľad a nový systém návrhu.
Z ďalších zmien uvedené v tejto novej verzii:
- Zmeny v systéme knižnice dverí
- BDD nahradené boolovskými funkciami
- Hlavné zmeny vo vnútornom znázornení typov brán
- Umožňuje diferenciáciu medzi LUT, klopnými obvodmi, západkami a typmi kombinovaných brán
- V západkách a klopných obvodoch môžete teraz určiť špeciálne postupné vstupy, ako sú povolenie, hodiny, konfigurácia a reset.
- Knižnice brány JSON boli nahradené súbormi slobody
- Zjednodušený systém doplnkov
- Knižnica Igraph v cene
- Hlavná recenzia GUI
Ako nainštalovať HAL na Ubuntu a deriváty?
Pre tých, ktorí majú záujem o inštaláciu tohto rámca reverzného inžinierstva pre elektronické obvody, môžu to urobiť podľa pokynov ktoré zdieľame nižšie.
HAL možno inštalovať dvoma spôsobmi v Ubuntu a derivátoch, prvý nás podporuje z úložiska žiadosti (Platí iba pre Ubuntu 18.04).
toto môžeme ho do systému pridať pomocou terminálu (Môžete ho otvoriť pomocou klávesových skratiek Ctrl + Alt + T) a v ňom napíšeme nasledujúce príkazy.
Najskôr pridáme z úložiska:
sudo add-apt-repository ppa:sebastian-wallat/hal
Aktualizujeme balíčky a zoznam úložísk o:
sudo apt-get update
A pokračujeme v inštalácii aplikácie do nášho systému zadaním nasledujúceho príkazu:
sudo apt install hal-reverse
Druhou metódou inštalácie je kompilácia aplikácie v systéme. Za týmto účelom si musíme stiahnuť HAL kód pomocou terminálu.
Najprv napíšeme:
git clone https://github.com/emsec/hal.git && cd hal
Teraz ideme nainštalovať potrebné závislosti:
./install_dependencies.sh
A pokračujeme v kompilácii kódu pomocou:
mkdir build && cd build cmake .. make
Po dokončení kompilácie pokračujeme v inštalácii pomocou:
make install
Konečne môže nahliadnuť do dokumentácie a ďalších informácií o HAL Na nasledujúcom odkaze.