Rivedrò il tuo codice Java o Spring Boot per vulnerabilità di sicurezza

Revisione di codice sicuro per app Java e Spring Boot da un ricercatore PhD in analisi statica di Java. Prima del lancio, di un audit o della consegna al cliente, individua le vere falle di sicurezza (OWASP Top 10: injection, controllo accessi difettoso, problemi di auth e di sessione) e ottieni correzioni su cui il tuo team possa intervenire, non una dump di scanner di 200 pagine.

Cosa faccio:

1. SAST con CodeQL e Semgrep, tarati sul tuo codice per ridurre i falsi positivi.
2. 2. Revisione manuale del flusso dati dei percorsi a rischio: login e sessioni, controllo degli accessi e ogni punto in cui l’input dell’utente arriva a SQL, file, template o comandi shell, oltre a dipendenze vulnerabili.
3. 3. Un report: ogni rilevazione reale con gravità, righe esatte, come potrebbe essere sfruttata e la correzione.

Perché io: lavoro su Doop, un framework di analisi punt-to e taint per Java, con articoli a OOPSLA 2025, PLDI 2020 (app enterprise Java: Spring, Hibernate) e ECOOP 2020, e ho lavorato presso Oracle Labs sull’analisi enterprise di Java. I grandi codebase vanno bene: eseguo analisi su cluster HPC.

Firma NDA e il tuo codice resta privato. Dimmi dove vive il codice e in che misura è grosso approssimativamente