HAL, un quadru di ingegneria inversa per i circuiti elettronichi digitali

hal_screenshot

Hal Hè un ambiente integratu per l'analisi di a lista di circuiti elettronichi digitali, questu hè un quadru cumpletu di ingegneria inversa è manipulazione per e netlists à u nivellu di a porta chì incalca nantu à l'efficienza, scalabilità è portabilità. HAL vene cun un sistema di plugin Coppia chì permette di introduce funziunalità arbitrarie in u kernel.

L'interessante da HAL hè chì permette di vede è analizà u circuitu in a GUI è manipulallu aduprendu script di pitone. In i script, pudete aduprà a "biblioteca standard" attaccata di funzioni chì implementanu operazioni di teoria di graffi, utili per l'ingegneria inversa circuiti elettronichi digitali (aduprendu queste funzioni, pudete rilevà euristicamente vari mudelli di cuncepimentu è rimuovere semplici offuscamenti cù un script in più linee) .

Libreria include ancu classi per a gestione di prughjetti in l'IDE, chì pò esse adupratu quandu si sviluppanu plug-ins per l'analisi di cunnessione è l'ispezione. Parsers sò furnuti per e lingue di descrizzione di hardware VHDL è Verilog.

Questu ambiente hè sviluppatu da parechje università tedesche, scrittu in C ++, Qt, è Python è liberatu sottu licenza MIT.

Di e so caratteristiche principali spiccanu i seguenti:

  • Rapprisintazione grafica naturale diretta di l'articuli di netlist è e so cunnessione.
  • Supportu per biblioteche di porte persunalizate.
  • Prestazione alta grazia à u kernel C ++ ottimizatu
  • Modularità - Scrivite i vostri propri plugins C ++ per una analisi è manipulazione efficiente di a lista di rete (per esempiu, aduprendu algoritmi grafichi)
  • Una GUI ricca di caratteristiche chì permette l'ispezione visuale di a lista di rete è l'analisi interattiva
  • Un shell Python integratu per interagisce esplorativamente cù elementi netlist è per interagisce cù plugins da a GUI

À propositu di a versione 2.0.0 di HAL

Attualmente questu ambiente hè in a so versione 2.0.0 in quale L'analizatori VHDL è Verilog sò stati migliurati, inseme cù u sistema di creazione CMake chì hè statu aggiornatu per aduprà configurazioni basate nantu à u scopu.

dinù hè messu in risaltu chì u supportu per a ierarchizazione è a modularizazione hè statu aghjuntu, oltri una vista d'isulamentu supplementu è un novu sistema di cuncepimentu.

Di l'altri cambiamenti mintuvatu in sta nova versione:

  • Cambiamenti à u sistema di libreria di a porta
  • BDD rimpiazzatu cù funzioni booleane
  • Cambiamenti maiò in a raprisentazione interna di i tippi di porte
  • Permette a differenziazione trà LUT, flip-flops, latches è tippi di porte cumbinativi
  • In Latches è Flip-flops pudete issa specificà ingressi sequenziali speciali cum'è attivazione, clock, cunfigurazione è reset.
  • I librarii di porta JSON rimpiazzati da i file di libertà
  • Sistema di plugin simplificatu
  • Biblioteca Igraph inclusa
  • GUI Major Review

Cume installà HAL in Ubuntu è derivati?

Per quelli chì sò interessati à installà stu quadru di ingegneria inversa per i circuiti elettronichi, ponu fà seguendu l'istruzzioni chì spartimu quì sottu.

Hal pò esse installatu in dui modi in Ubuntu è derivati, u primu ci sustene da u repositoriu di l'applicazione (Valide solu per Ubuntu 18.04).

Cet pudemu aghjustallu à u sistema cù l'aiutu di un terminal (Pudete apre cù i tasti di scelta rapida Ctrl + Alt + T) è in questu scrivemu i seguenti cumandamenti.

Prima avemu da aghjunghje da u repositoriu cù:

sudo add-apt-repository ppa:sebastian-wallat/hal

Aghjurnemu i pacchetti è a lista di i repositori cù:

sudo apt-get update

È procedemu à installà l'applicazione nantu à u nostru sistema scrivendu u cumandimu seguente:

sudo apt install hal-reverse

L'altru metudu di installazione hè di compilazione di l'applicazione in u sistema. Per questu duvemu scaricà u codice HAL cù l'aiutu di un terminal.

Prima avemu da scrive:

git clone https://github.com/emsec/hal.git && cd hal

Avà stallemu e dipendenze necessarie:

./install_dependencies.sh

È procedemu à compilà u codice cù:

mkdir build && cd build

cmake ..

make

Una volta finita a compilazione, procedemu à fà l'installazione cù:

make install

Finalmente pò cunsultà a ducumentazione è altre informazioni circa HAL In u ligame seguente.


U cuntenutu di l'articulu aderisce à i nostri principii di etica edituriale. Per signalà un errore cliccate quì.

Sianu the first to comment

Lasciate u vostru cummentariu

U vostru indirizzu email ùn esse publicatu. campi, nicissarii sò marcati cù *

*

*

  1. Responsabile di i dati: Miguel Ángel Gatón
  2. Scopu di i dati: Cuntrolla SPAM, gestione di cumenti.
  3. Legitimazione: U vostru accunsentu
  4. Cumunicazione di i dati: I dati ùn seranu micca cumunicati à terzi, eccettu per obbligazione legale.
  5. Archiviazione di dati: Base di dati ospitata da Occentus Networks (UE)
  6. Diritti: In ogni mumentu pudete limità, recuperà è cancellà e vostre informazioni.