AST-basierter statischer Code-Analysator mit agentischer, LLM-gestützter Beziehungszuordnung zur Entdeckung von Python-RCE-Pfaden und tiefen Deserialisierungsketten in den Bereichen KI, LLM, Robotik, Data Science, Machine Learning und Deep Learning (aber nicht darauf beschränkt).

Weit über einen traditionellen Scanner hinausgehend, bietet es ein generisches, hochperformantes Framework zur Auditierung von über 120 Bibliotheken und Formaten – darunter YAML, Msgpack, CBOR und benutzerdefinierte JSON-Hooks –, wo traditionelles Vertrauen in „sichere" Serialisierung kritische logikbasierte RCE-Vektoren verbirgt. Durch die Auflösung von Imports, Aliassen und komplexen gepunkteten Attributen dient das Tool als hochpräziser Signalverstärker, der gefährliche Codepfade in modernen verteilten Architekturen und KI/ML-Repositories priorisiert.
Das Projekt arbeitet über einen modularen, mehrphasigen Workflow, der von der Rohdetektion zum tiefgehenden technischen Audit übergeht. Nach dem initialen High-Velocity-SAST-Scan nutzt das Ökosystem spezialisierte Relationship-Mapper, um Ausführungsflüsse nachzuverfolgen, sowie Result-Processors, um detaillierte Sicherheitsberichte zu erstellen. Dieser systematische Ansatz stellt sicher, dass jeder Fund im weiteren Architekturkontext der Anwendung verortet wird, wodurch hochvolumige Telemetrie in verwertbare Research-Assets und strukturierte Meilensteine umgewandelt wird, die die Kartierung von Angriffsflächen auf Infrastrukturebene vereinfachen.
Auf seiner fortschrittlichsten Stufe integriert Deserializer einen autonomen KI-Sicherheitsagenten (Phase 4), der explizit darauf ausgelegt ist, Einschränkungen der „Self-Command-Injection" zu umgehen und funktionale Reproduktionsanleitungen zu synthetisieren, basierend auf der HuggingFace Inference API, lokalem LLM (wie llama.cpp) oder OpenAI-API-kompatiblen Diensten.
Im Zuge seiner Weiterentwicklung definiert das Projekt kontinuierlich die Grenzen der automatisierten Schwachstellenforschung, indem es die Lücke zwischen AST-Statik-Analyse, Relationship-Mapping, Reporting und funktionaler Exploit-Entwicklung auf Basis dokumentierter Forschung schließt.
Deserializer unterstützt die Sicherheitsforschung direkt, indem es RCE- und Insecure-Deserialization-Pfade in verschiedenen groß angelegten KI-, Robotik- und Data-Science-Projekten und -Umgebungen lokalisiert, wie Genesis World (v0.2.1), MuJoCo (v3.7.0), LeRobot (v0.5.1), Brax (v0.14.2), TensorFlow (v2.21.0), LangGraph (v1.1.6), VibeVoice (v0.0.1), Hugging Face Hub (v1.11.0), PyGlove (v0.4.5) und vielen weiteren.
Seine Fähigkeiten haben direkt zur Entdeckung kritischer Schwachstellen in branchenführenden Frameworks beigetragen und damit seine Wirksamkeit bei der Auditierung komplexer MLOps- und agentischer KI-Umgebungen unter Beweis gestellt.
Das Projekt ist in vier verschiedene Phasen gegliedert, die jeweils darauf ausgelegt sind, die Analyse von hochvolumiger automatisierter Telemetrie hin zu tiefer, funktionaler Sicherheitsforschung zu verschieben:
| Phase | Titel | Tooling / Engine | Zielsetzung |
|---|---|---|---|
| 1 | High-Velocity Detection | deserializer.py (Triple-Pass) | Durchführung massiv skalierter SAST zur Identifikation potenzieller Deserialisierungs-Sinks. |
| 2 | Relationship Mapping | Result Processors / Mappers | Kontextualisierung von Funden durch Nachverfolgung von Ausführungsflüssen und Komponentenabhängigkeiten. |
| 3 | Technical Synthesis | Research Documentation | Formalisierung von Funden in technische Writeups und Kartierung von Angriffsflächen auf Infrastrukturebene. |
| 4 | Autonomous AI Agent | AI Security Agent | Automatisierung der 0-Day-Entdeckung und Generierung funktionaler Reproduktionsanleitungen/Exploits unter Verwendung der HuggingFace Inference API, lokaler LLMs (wie llama.cpp) oder OpenAI-API-kompatibler Dienste. |
Eine übergeordnete Karte der Repository-Organisation und des technischen Zwecks jedes spezialisierten Verzeichnisses:
agent/docs/exploit_development/modules/reports/research/templates/Dieser Scanner verfügt über eine hochperformante parallele Ausführungs-Engine, die auf Pythons concurrent.futures.ProcessPoolExecutor aufbaut. Sie ist darauf ausgelegt, über alle verfügbaren CPU-Kerne zu skalieren (steuerbar über das -j- oder --concurrency-Flag), wodurch sie in der Lage ist, Zehntausende von Dateien in Sekunden zu scannen.
SetConsoleCtrlHandler über ctypes verwendet, um sicherzustellen, dass Ctrl+C zu 100 % reaktionsfähig ist, selbst während intensiver Verarbeitung.ctypes für native ANSI-Farbunterstützung in modernen CMD- und PowerShell-Umgebungen.[!WARNING] Performance-Warnung: Bei der Analyse extrem großer oder komplexer Dateien (z. B. über 1 MB, 2 MB oder 3 MB Größe) kann das Tool erhebliche Verlangsamungen erfahren oder „hängen bleiben", während es tiefe AST-Bäume parst. Wenn Sie auf solche Engpässe stoßen, sollten Sie die Flags
--timeout(zum Überspringen langsamer Dateien) und--max-size(zum Überspringen riesiger Dateien) verwenden, um die Scan-Geschwindigkeit aufrechtzuerhalten.