Descrição
Represente o comportamento de programas dentro do framework de análise binária angr com uma linguagem intermediária projetada para passes de análise. Isso ajuda pesquisadores de segurança e desenvolvedores a raciocinar sobre binários sem trabalhar apenas no nível bruto de instruções.
Análise binária pode expor comportamento de código proprietário ou detalhes sensíveis de segurança. Use apenas em software que você tem permissão para inspecionar.