Ik zal jouw Java- of Spring Boot-code controleren op beveiligingslekken

Beveiligde code review voor Java- en Spring Boot-apps door een PhD-onderzoeker in Java statische analyse. Voor een lancering, een audit of een overdracht aan de klant: vind de echte beveiligingslekken (OWASP Top 10: injectie, gebroken toegangsbeheer, authenticatie- en sessieproblemen) en krijg oplossingen waar jouw team direct mee aan de slag kan, geen dump van een 200 pagina’s tellende scanner.

Wat ik doe:

1. SAST met CodeQL en Semgrep, afgesteld op jouw code om valse meldingen te verminderen.
2. 2. Handmatige dataflow-review van risicovolle paden: inloggen en sessies, toegangscontrole, en elke plek waar gebruikersinvoer SQL, bestanden, sjablonen of shell-commando’s bereikt, plus kwetsbare dependencies.
3. 3. Een rapport: elke echte vondst met ernst, exacte regels, hoe deze misbruikt kon worden en de oplossing.

Waarom ik: ik werk aan Doop, een Java-analysesoftware voor pointers en taint-analyse, met papers op OOPSLA 2025, PLDI 2020 (Java-enterprise-apps: Spring, Hibernate) en ECOOP 2020, en ik werkte bij Oracle Labs aan Java-enterprise-analyse. Grote codebases zijn geen probleem: ik voer analyses uit op HPC-clusters.

Ik teken NDA’s en jouw code blijft privé. Vertel me waar de code staat en ongeveer hoeveel regels het heeft.