J’examinerai votre code Java ou Spring Boot pour des vulnérabilités de sécurité

Revue de sécurité de code pour des applications Java et Spring Boot réalisée par un doctorant en analyse statique Java. Avant un lancement, lors d’un audit ou d’un passage de témoin client, identifiez les véritables failles de sécurité (OWASP Top 10 : injection, contrôle d’accès défaillant, erreurs d’authentification et de session) et obtenez des corrections sur lesquelles votre équipe peut agir, pas un simple relevé de scanner de 200 pages.

Ce que je fais :

1. SAST avec CodeQL et Semgrep, ajusté à votre code pour réduire les faux positifs.
2. 2. Revue manuelle des flux de données des parcours à risque : authentification et sessions, contrôle d’accès, et chaque endroit où l’entrée utilisateur atteint SQL, fichiers, templates ou commandes shell, ainsi que les dépendances vulnérables.
3. 3. Un rapport : chaque constat réel avec sa sévérité, les lignes exactes, comment il peut être exploité et la correction.

Pourquoi moi : je travaille sur Doop, un cadre d’analyse points-to et taint pour Java, avec des articles présentés à OOPSLA 2025, PLDI 2020 (applications d’entreprise Java : Spring, Hibernate) et ECOOP 2020, et j’ai travaillé chez Oracle Labs sur l’analyse d’entreprise Java. Les grands codebases ne posent pas de problème : je lance des analyses sur des clusters HPC.

Je signe des NDA et votre code reste privé. Dites-moi où se situe le code et environ combien de lignes il contient.