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 os itens que se seguem.
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.
A partir da situação hipotética precedente, julgue os itens que se seguem.
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.