HAL este un mediu integrat pentru analiza listei circuitelor electronice digitaleAcest este un cadru cuprinzător de inginerie inversă și manipulare pentru listele de rețea la nivel de ușă care se concentrează pe eficiență, scalabilitate și portabilitate. HAL vine cu un sistem de pluginuri complet ceea ce permite introducerea de funcționalități arbitrare în nucleu.
Interesantul de H.A.L. este că permite să vedeți și să analizați circuitul din GUI și să îl manipulați folosind scripturi python. În scripturi, puteți utiliza „biblioteca standard” atașată de funcții care implementează operații de teorie a graficelor, utilă pentru ingineria inversă a circuitelor electronice digitale (folosind aceste funcții, puteți detecta euristic diferite modele de proiectare și puteți elimina ofuscările simple cu un script pe mai multe linii) .
Bibliotecă include, de asemenea, clase pentru managementul de proiect în IDE, care poate fi folosit la dezvoltarea pluginurilor pentru analiza și inspecția conexiunilor. Analizatorii sunt furnizați pentru limbile de descriere hardware VHDL și Verilog.
Acest mediu este dezvoltat de mai multe universități germane, scris în C ++, Qt și Python și lansat sub licența MIT.
Dintre principalele sale caracteristici se remarcă următoarele:
- Reprezentare grafică naturală direcționată a elementelor de pe netlist și conexiunile acestora.
- Suport pentru biblioteci personalizate de ușă.
- Performanță ridicată datorită nucleului C ++ optimizat
- Modularitate - Scrieți propriile pluginuri C ++ pentru o analiză și manipulare eficientă a listelor de rețea (de exemplu, folosind algoritmi de graficare)
- Un GUI bogat în caracteristici care permite inspecția vizuală a listei de rețea și analiza interactivă
- Un shell Python încorporat pentru interacțiunea exploratorie cu elementele de pe netlist și pentru interacțiunea cu pluginurile din GUI
Despre versiunea HAL 2.0.0
Acum acest mediu este în versiunea sa 2.0.0 in care Analizoarele VHDL și Verilog au fost îmbunătățite, împreună cu sistemul de construire CMake care a fost actualizat pentru a utiliza configurații bazate pe obiective.
de asemenea se subliniază faptul că a fost adăugat suport pentru ierarhizare și modularizare, precum și o vedere suplimentară de izolare și un nou sistem de proiectare.
Dintre celelalte schimbări menționată în această nouă versiune:
- Modificări ale sistemului de bibliotecă de ușă
- BDD înlocuit cu funcții booleene
- Modificări majore în reprezentarea internă a tipurilor de poartă
- Permite diferențierea între LUT-uri, flip-flop-uri, zăvoare și tipuri de porți combinaționale
- În Latches și Flip-flops puteți specifica acum intrări secvențiale speciale, cum ar fi activate, ceas, configurare și resetare.
- Bibliotecile de poartă JSON înlocuite cu fișiere de libertate
- Sistem de plugin simplificat
- Biblioteca Igraph inclusă
- GUI Major Review
Cum se instalează HAL pe Ubuntu și derivate?
Pentru cei care sunt interesați să instaleze acest cadru de inginerie inversă pentru circuite electronice, o pot face urmând instrucțiunile pe care o împărtășim mai jos.
HAL poate fi instalat în două moduri în Ubuntu și derivate, primul ne susține din depozit cererii (Valabil numai pentru Ubuntu 18.04).
acest îl putem adăuga la sistem cu ajutorul unui terminal (Puteți să-l deschideți cu tastele rapide Ctrl + Alt + T) și în ea vom tasta următoarele comenzi.
Mai întâi vom adăuga din depozit cu:
sudo add-apt-repository ppa:sebastian-wallat/hal
Actualizăm pachetele și lista de depozite cu:
sudo apt-get update
Și continuăm să instalăm aplicația pe sistemul nostru tastând următoarea comandă:
sudo apt install hal-reverse
Cealaltă metodă de instalare este prin compilare a aplicației din sistem. Pentru aceasta trebuie să descărcăm codul HAL cu ajutorul unui terminal.
Mai întâi vom tasta:
git clone https://github.com/emsec/hal.git && cd hal
Acum vom instala dependențele necesare:
./install_dependencies.sh
Și continuăm să compilăm codul cu:
mkdir build && cd build cmake .. make
Odată ce compilarea este terminată, vom continua instalarea cu:
make install
În cele din urmă poate consulta documentația și alte informații despre HAL În următorul link.