Como instalar o framework de engenharia reversa HAL no Linux

Se você trabalha com circuitos eletrônicos digitais, conheça e veja como instalar o framework de engenharia reversa HAL no Linux.

O HAL é um framework abrangente de engenharia reversa e manipulação para listas de redes no nível de porta, com foco em eficiência, extensibilidade e portabilidade.

Como instalar o framework de engenharia reversa HAL no Linux
Como instalar o framework de engenharia reversa HAL no Linux

Ele é um ambiente integrado para a análise da lista de circuitos eletrônicos digitais, e vem com um sistema de plug-ins completo, permitindo a introdução de funcionalidades arbitrárias no núcleo.

O interessante do HAL é que ele permite visualizar e analisar o circuito na GUI e manipulá-lo usando scripts Python.

Nos scripts, você pode usar a “biblioteca padrão” anexada de funções que implementam operações da teoria dos grafos, úteis para a engenharia reversa de circuitos eletrônicos digitais (usando essas funções, é possível detectar heuristicamente vários padrões de projeto e eliminar ofuscações simples com um script em várias linhas).

A biblioteca também inclui classes para gerenciamento de projetos no IDE, que podem ser usadas no desenvolvimento de complementos para análise e inspeção de conexão.

Os analisadores são fornecidos para as linguagens de descrição de hardware VHDL e Verilog.

Esse ambiente é desenvolvido por várias universidades alemãs, escritas em C++, Qt e Python e liberadas sob a licença MIT.
Suas principais características incluem o seguinte:

  • Representação gráfica natural dirigida de elementos de netlist e suas conexões;
  • Suporte para bibliotecas de portas personalizadas;
  • Alto desempenho graças ao núcleo C++ otimizado;
  • Modularidade: escreva seus próprios complementos em C++ para análise e manipulação eficientes da lista de redes (por exemplo, usando algoritmos gráficos);
  • Uma GUI rica em recursos que permite inspeção visual da lista de redes e análise interativa;
  • Um shell Python integrado para interagir de maneira interativa com elementos netlist e interagir com complementos da GUI.

Como instalar o framework de engenharia reversa HAL no Linux

Para instalar o framework de engenharia reversa HAL no Linux, use um dos procedimentos abaixo.

Como instalar o framework de engenharia reversa HAL no Linux

Para instalar o framework de engenharia reversa HAL em qualquer distribuição Linux, primeiramente, você precisa ter o Git e os programas necessários a compilação de aplicativos instalados no seu sistema.

Em seguida, faça o seguinte:

Passo 1. Abra um terminal;
Passo 2. Baixe o código fonte do HAL com o comando abaixo;

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

Passo 3. Agora vamos instalar as dependências necessárias;

./install_dependencies.sh

Passo 4. E continuamos a compilar o código com esses comandos;

mkdir build && cd build
cmake ..
make

Passo 5. Após a conclusão da compilação, prosseguimos com a instalação com;

make install

Como instalar o framework de engenharia reversa HAL no Ubuntu e seus derivados

Para instalar o framework de engenharia reversa HAL no Ubuntu e ainda poder receber automaticamente as futuras atualizações dele, você deve fazer o seguinte:

Passo 1. Abra um terminal (use as teclas CTRL + ALT + T);
Passo 2. Se ainda não tiver, adicione o repositório do programa com este comando ou use esse tutorial;

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

Passo 3. Atualize o gerenciador de pacotes com o comando:

sudo apt update

Passo 4. Agora use o comando abaixo para instalar o programa;

sudo apt install hal-reverse

Passo 5. Depois, se precisar, desinstale o programa, usando o comando abaixo;

sudo apt-get remove hal-reverse --auto-remove

Por fim, você pode iniciar o programa no menu Aplicativos/Dash/Atividades ou qualquer outro lançador de aplicativos da sua distro, ou digite hal ou em um terminal, seguido da tecla TAB.

Sobre o Edivaldo Brito

Edivaldo Brito é analista de sistemas, gestor de TI, blogueiro e também um grande fã de sistemas operacionais, banco de dados, software livre, redes, programação, dispositivos móveis e tudo mais que envolve tecnologia.

Deixe um comentário

Esse site utiliza o Akismet para reduzir spam. Aprenda como seus dados de comentários são processados.