REA in Spanish: reconstruindo um validador de chave de propriedade do autor

A questão

Como a regra de aceitação de um pequeno programa despojado pode ser reconstruída e verificada em relação ao original?

O que REA fez

O autor relata o uso de pseudocódigo REA e Ghidra mais bytes lidos em 0x102040 para recuperar conversão de caracteres, acumulação ponderada, rotação e verificações de aceitação e, em seguida, escrever um verificador Python separado.

Resultados relatados pelo autor

A amostra gratuita em espanhol inclui configuração de laboratório e um caso resolvido, binários práticos despojados e simbolizados, fonte C de referência e um verificador Python reconstruído. O verificador lista exemplos esperados de 4; o autor relata a verificação da reconstrução em relação ao binário real.

Limitações e reivindicações não verificadas

O exercício é o pequeno programa desprotegido do próprio autor, não um desvio de licenciamento comercial ou um resultado geral para software protegido. Os exemplos 4 são verificações limitadas, não equivalência exaustiva. Este catálogo não executou os binários nem executou novamente a comparação; o curso completo proposto ainda não foi entregue.

O que aprender

Use um equipamento próprio com uma fonte de referência oculta, recupere uma regra limitada e teste as entradas aceitas e rejeitadas antes de comparar com a fonte.

Evidência de uso de REA na fonte

Reimplementacion de la validacion del Caso A escrita SOLO desde el pseudocodigo que REA/Ghidra devolvio (analisis/caso-a/05 y 06) y de los bytes leidos en 0x102040 (07).

A formatação do trecho é simplificada. Leia a fonte original para o contexto completo.

Fontes originais

• Fonte primária/evidência fixada
• Projeto / demonstração
• Fonte adicional 1
• Fonte adicional 2
• Fonte adicional 3

Resumo editorial independente. O crédito pertence aos autores originais. O software alvo, os instaladores e a saída completa do descompilador não são redistribuídos aqui.