Vou revisar seu código Java ou Spring Boot em busca de vulnerabilidades de segurança

Análise de código seguro para apps Java e Spring Boot feita por pesquisador com PhD em análise estática de Java. Antes de um lançamento, auditoria ou entrega para o cliente, identifique os furos de segurança reais (OWASP Top 10: injection, controle de acesso quebrado, falhas de auth e de sessão) e obtenha correções que seu time possa aplicar, não um dump de scanner de 200 páginas. O que eu faço: 1. SAST com CodeQL e Semgrep, ajustados ao seu código para reduzir falsos positivos. 2. Revisão manual de fluxo de dados de caminhos de risco: login e sessões, controle de acesso, e cada lugar onde a entrada do usuário alcança SQL, arquivos, templates ou comandos shell, além de dependências vulneráveis. 3. Um relatório: cada achado real com severidade, linhas exatas, como poderia ser explorado e a correção. Por que eu: trabalho no Doop, um framework de análise de apontadores e taint em Java, com trabalhos publicados na OOPSLA 2025, PLDI 2020 (apps empresariais Java: Spring, Hibernate) e ECOOP 2020, e já atuei no Oracle Labs em análise de Java empresarial. Grandes bases de código não incomodam: rodo análises em clusters HPC. Assino NDAs e seu código fica privado. Diga-me onde o código está e aproximadamente quantas linhas ele tem.