Ich prüfe deinen Java- oder Spring-Boot-Code auf Sicherheitslücken

Sichere Code-Überprüfung für Java- und Spring-Boot-Anwendungen von einem PhD-Forscher im Java-Static-Analysis-Bereich. Vor einem Start, einer Audit-Phase oder einer Übergabe an den Kunden findest du die echten Sicherheitslücken (OWASP Top 10: Injektion, ungesicherte Zugriffskontrollen, Authentifizierungs- und Session-Schwachstellen) und erhältst Lösungen, die dein Team anwenden kann – nicht einen 200-seitigen Scanner-Dump.

Was ich mache:

1. SAST mit CodeQL und Semgrep, auf deinen Code abgestimmt, um Fehlalarme zu senken.
2. 2. Manuelle Datenflussanalyse riskanter Pfade: Login und Sessions, Zugriffskontrollen und jeder Ort, an dem Benutzereingaben SQL, Dateien, Vorlagen oder Shell-Befehle erreichen, plus verwundbare Abhängigkeiten.
3. 3. Ein Bericht: jede reale Feststellung mit Schweregrad, exakten Zeilen, wie sie ausgenutzt werden könnte und die Behebung.

Warum ich: Ich arbeite an Doop, einem Java-Points-to- und Taint-Analysis-Framework, mit Arbeiten bei OOPSLA 2025, PLDI 2020 (Java-Enterprise-Apps: Spring, Hibernate) und ECOOP 2020, und ich habe bei Oracle Labs an Java-Enterprise-Analyse gearbeitet. Große Codebasen sind kein Problem: Ich führe Analysen auf HPC-Clustern durch.

Ich unterschreibe NDAs und dein Code bleibt privat. Sag mir, wo der Code liegt und ungefähr, wie viele Zeilen er hat.