HAL Tā ir integrēta vide digitālo elektronisko shēmu saraksta analīzeiir ir visaptveroša reversās inženierijas un manipulāciju sistēma durvju līmeņa tīkliem, kas koncentrējas uz efektivitāti, mērogojamību un pārnesamību. HAL nāk ar spraudņu sistēmu pabeigt kas ļauj ieviest patvaļīgas funkcionalitātes kodolā.
Interesanti autors HAL ir tas, ka tas ļauj redzēt un analizēt ķēdi GUI un ar to manipulēt izmantojot pitona skriptus. Skriptos varat izmantot pievienoto funkciju "standarta bibliotēku", kas realizē grafu teorijas operācijas, kas ir noderīgas digitālo elektronisko shēmu reversai inženierijai (izmantojot šīs funkcijas, jūs varat heiristiski noteikt dažādus dizaina modeļus un noņemt vienkāršus aizsegumus ar skriptu vairākās rindās) .
Bibliotēka tas ietver arī projekta vadības klases IDE, ko var izmantot, izstrādājot spraudņus savienojuma analīzei un pārbaudei. Parsētāji tiek nodrošināti VHDL un Verilog aparatūras apraksta valodām.
Šo vidi izstrādā vairākas Vācijas universitātes, rakstīts C ++, Qt un Python un izlaists ar MIT licenci.
No tās galvenajām īpašībām izceļas:
- Netlist objektu un to savienojumu virzīts dabisks grafisks attēlojums.
- Atbalsts pielāgotām durvju bibliotēkām.
- Augsta veiktspēja, pateicoties optimizētajam C ++ kodolam
- Modularitāte - uzrakstiet savus C ++ spraudņus efektīvai tīkla sarakstu analīzei un manipulācijām (piemēram, izmantojot grafisko algoritmu)
- Ar funkcijām bagāta GUI, kas ļauj vizuāli pārbaudīt tīkla sarakstu un veikt interaktīvu analīzi
- Iebūvēts Python apvalks pētnieciskai mijiedarbībai ar netlist vienumiem un mijiedarbībai ar spraudņiem no GUI
Par HAL versiju 2.0.0
Tagad šī vide ir tās versijā 2.0.0 kurā Tika uzlaboti VHDL un Verilog analizatori, kopā ar CMake būvēšanas sistēmu, kas tika atjaunināta, lai izmantotu uz mērķiem balstītas konfigurācijas.
arī tiek uzsvērts, ka tika pievienots atbalsts hierarhizācijai un modulēšanai, kā arī papildu izolācijas skats un jauna dizaina sistēma.
No pārējām izmaiņām minēts šajā jaunajā versijā:
- Izmaiņas durvju bibliotēkas sistēmā
- BDD aizstāts ar Būla funkcijām
- Būtiskas izmaiņas vārtu tipu iekšējā attēlojumā
- Ļauj diferencēt LUT, flip-flops, aizbīdņus un kombinētos vārtu veidus
- Slēdžos un Flip-flops tagad varat norādīt īpašas secīgas ievades, piemēram, iespējot, pulksteni, konfigurēt un atiestatīt.
- JSON vārtu bibliotēkas aizstātas ar brīvības failiem
- Vienkāršota spraudņu sistēma
- Igraph bibliotēka iekļauta
- GUI Major Review
Kā instalēt HAL uz Ubuntu un atvasinājumiem?
Tiem, kas ir ieinteresēti instalēt šo elektroniskās shēmas apgriezto inženierijas sistēmu, viņi to var izdarīt, izpildot norādījumus ka mēs dalāmies zemāk.
HAL var uzstādīt divos veidos Ubuntu un atvasinājumos, pirmais mūs atbalsta no krātuves pieteikuma (Derīgs tikai Ubuntu 18.04).
šis mēs to varam pievienot sistēmai ar termināla palīdzību (To var atvērt ar īsinājumtaustiņiem Ctrl + Alt + T), un tajā mēs ierakstīsim šādas komandas.
Vispirms mēs pievienosim no repozitorija ar:
sudo add-apt-repository ppa:sebastian-wallat/hal
Mēs atjauninām paketes un krātuvju sarakstu ar:
sudo apt-get update
Mēs turpinām instalēt lietojumprogrammu mūsu sistēmā, ierakstot šādu komandu:
sudo apt install hal-reverse
Otra instalēšanas metode ir apkopošana lietojumprogrammas sistēmā. Tam mums ir jālejupielādē HAL kods ar termināla palīdzību.
Vispirms mēs rakstīsim:
git clone https://github.com/emsec/hal.git && cd hal
Tagad mēs instalēsim nepieciešamās atkarības:
./install_dependencies.sh
Mēs turpinām sastādīt kodu ar:
mkdir build && cd build cmake .. make
Kad kompilācija ir pabeigta, mēs veicam instalēšanu ar:
make install
Beidzot var iepazīties ar dokumentāciju un citu informāciju par HAL Šajā saitē.