HAL er et integreret miljø til analyse af listen over digitale elektroniske kredsløber er en omfattende reverse engineering og manipulation ramme til netlister på døreniveau, der fokuserer på effektivitet, skalerbarhed og bærbarhed. HAL leveres med et pluginsystem completo der gør det muligt at indføre vilkårlige funktioner i kernen.
Det interessante af HAL er, at det gør det muligt at se og analysere kredsløbet i GUI og manipulere det ved hjælp af python-scripts. I scripts kan du bruge det vedhæftede "standardbibliotek" af funktioner, der implementerer grafteori-operationer, nyttige til reverse engineering af digitale elektroniske kredsløb (ved hjælp af disse funktioner kan du heuristisk opdage forskellige designmønstre og fjerne enkle tilsløringer med et script på flere linjer) .
Bibliotek det inkluderer også klasser til projektledelse i IDE, der kan bruges ved udvikling af plug-ins til forbindelsesanalyse og inspektion. Parsere leveres til VHDL og Verilog hardwarebeskrivelsessprog.
Dette miljø er udviklet af flere tyske universiteter, skrevet i C ++, Qt og Python og frigivet under MIT-licensen.
Af dets vigtigste egenskaber følgende skiller sig ud:
- Regisseret naturlig grafisk repræsentation af netlistegenstande og deres forbindelser.
- Understøttelse af brugerdefinerede dørbiblioteker.
- Høj ydeevne takket være optimeret C ++ - kerne
- Modularitet - Skriv dine egne C ++ plugins til effektiv netværksliste analyse og manipulation (for eksempel ved hjælp af grafikalgoritmer)
- En funktionsrig GUI, der muliggør visuel inspektion af netværkslisten og interaktiv analyse
- En indbygget Python-skal til eksplorativt at interagere med netlist-emner og til at interagere med plugins fra GUI
Om HAL version 2.0.0
Nu dette miljø er i sin version 2.0.0 i hvilken VHDL og Verilog analysatorer blev forbedret, sammen med CMake build-systemet, der blev opdateret til at bruge målbaserede konfigurationer.
også det er fremhævet, at understøttelse af hierarkisering og modularisering blev tilføjet, samt et ekstra isolationsbillede og et nyt designsystem.
Af de andre ændringer nævnt i denne nye version:
- Ændringer i dørbibliotekssystemet
- BDD erstattet med boolske funktioner
- Store ændringer i den interne repræsentation af porttyper
- Tillader differentiering mellem LUT'er, flip-flops, låse og kombinationsporttyper
- I låse og flip-flops kan du nu angive specielle sekventielle indgange såsom aktivering, ur, konfiguration og nulstilling.
- JSON gate-biblioteker erstattet med frihedsfiler
- Forenklet pluginsystem
- Igraph-bibliotek inkluderet
- GUI Major Review
Hvordan installeres HAL på Ubuntu og derivater?
For dem der er interesserede i at installere denne reverse engineering-ramme til elektroniske kredsløb, de kan gøre det ved at følge instruktionerne som vi deler nedenfor.
HAL kan installeres på to måder i Ubuntu og derivater, den første af dem støtter os fra arkivet af ansøgningen (Gælder kun for Ubuntu 18.04).
dette vi kan føje det til systemet ved hjælp af en terminal (Du kan åbne den med genvejstasterne Ctrl + Alt + T), og i den skal vi skrive følgende kommandoer.
Først skal vi tilføje fra lageret med:
sudo add-apt-repository ppa:sebastian-wallat/hal
Vi opdaterer pakkerne og listen over arkiver med:
sudo apt-get update
Og vi fortsætter med at installere applikationen på vores system ved at skrive følgende kommando:
sudo apt install hal-reverse
Den anden installationsmetode er ved at kompilere af applikationen i systemet. Til dette er vi nødt til at downloade HAL-koden ved hjælp af en terminal.
Først skal vi skrive:
git clone https://github.com/emsec/hal.git && cd hal
Nu vi installerer de nødvendige afhængigheder:
./install_dependencies.sh
Og vi fortsætter med at kompilere koden med:
mkdir build && cd build cmake .. make
Når kompileringen er færdig, fortsætter vi med at udføre installationen med:
make install
Endelig kan se dokumentationen og anden information om HAL I det følgende link.