Questão FC515078
A fim de identificar vulnerabilidades e entender o algoritmo criptográfico, foi realizada a análise de um firmware embarcado proprietário, compilado para uma arquitetura customizad
Sem classificação
CEBRASPE (CESPE) · 2025
A fim de identificar vulnerabilidades e entender o algoritmo criptográfico, foi realizada a análise de um firmware embarcado proprietário, compilado para uma arquitetura customizada RISC com instruções não padrão (ISA extension), que implementa rotinas criptográficas e anti-depuração avançadas, incluindo anti-tampering e control flow flattening, além de otimizações de compilador de tempo de ligação.
A partir da situação hipotética precedente, julgue o item que se segue.
O control flow flattening implementado no firmware pode ser eficientemente revertido por meio de técnicas de análise estática de descompiladores que utilizam algoritmos de reconhecimento de padrões baseados em grafos de fluxo de controle, restaurando o fluxo de execução original sem a necessidade de taint analysis ou execução simbólica.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
A afirmação é errada porque o control flow flattening não é apenas um padrão estrutural recuperável por reconhecimento de grafos. Esse método transforma o fluxo em um laço com um dispatcher e um estado compacto, usa saltos indiretos, predicados opacos e, muitas vezes, mistura código real com código morto. Essas artimanhas tornam a correspondência entre nós do grafo e blocos originais ambígua.
Além disso, em firmware com ISA customizada e otimizações de link-time, instruções não padrão e transformações do compilador alteram semântica e impedem descompilação precisa apenas por padrões. Para restaurar o fluxo original é comum precisar de técnicas dinâmicas como taint analysis ou execução simbólica, que recuperam relações de dados e valores do estado em tempo de execução. Portanto, depender só de análise estática por grafos é insuficiente e não garante reversão eficiente.
Conteúdo do catálogo FC Concursos · Atualizado em