The Shape of Generated Code, Vol. 1 — Edição em português

Assistentes de programação com IA geram código que compila, passa nos testes e é fácil de ler. Os defeitos que importam raramente estão nas linhas que você vê: estão no que ficou de fora, em leituras que ninguém limitou e em premissas que ninguém declarou.

The Reviewer's Kit é um método prático para revisar esse código no nível do sistema:

• Uma etapa de reconhecimento repetível (census.sh, com a listagem completa no livro) que aponta onde vale a pena gastar o tempo de revisão.

• Um modelo de evidência em quatro eixos (método, resultado observado, confiança e status), para que cada achado diga o que foi de fato verificado.

• Técnicas para os padrões que se repetem: premissas de identidade, limites só no cliente, IDOR e verificação de dono, leituras sem limite, regras duplicadas, texto de erro usado como controle de fluxo, guardas depois de efeitos colaterais, controles ausentes e contract drift.

• Webhooks do jeito certo: autenticidade, replay, idempotência, reentrega por provedor e reconciliação.

• Um estudo de caso completo e anonimizado, um plano para transformar achados em correções e regras para colar no seu assistente de programação.

• Exercícios com gabarito e dois relatórios de exemplo.

Esta é a tradução para o português brasileiro da edição 3.2. O código, os scripts e o lab do Kit Completo continuam em inglês, iguais aos da edição original.

Para quem é

• Desenvolvedores backend de nível pleno e sênior, tech leads e arquitetos.

• Quem trabalha com C#, TypeScript/Node ou Python e revisa código escrito com ajuda de IA.

• Quem quer que cada achado de revisão diga claramente o que foi verificado e como.

Para quem não é

• Quem procura um curso de pentest ou uma certificação. Este livro é um método de revisão, não um teste de invasão nem uma auditoria.

• Quem está começando a programar agora.

Sobre o autor

Edinaldo Sá é engenheiro de software, com 16 anos de experiência em .NET e mais de 12 anos em arquitetura de software. Estuda Física na FURG (em andamento). Revisa código feito com ajuda de IA no dia a dia, e este kit reúne o método que ele usa.