Codeprüfungen

Codeprüfungen sind experimentell.

Eine Codeprüfung ist eine Sicherheitsprüfung eines Projekts, die über Ihren lokalen Coding-Agenten läuft. Klicken Sie in der Seitenleiste mit der rechten Maustaste auf ein Projekt, wählen Sie „Experimentell“ → „Codeprüfung“ und dann „Neue Prüfung“. Wählen Sie unter „Lokaler Assistent“ „Codex“ oder „Claude“, legen Sie anschließend „Modell“, „Denkaufwand“ und „Umfang“ fest, und klicken Sie auf „Prüfung starten“. Die Berichtsseite zeigt die aktuelle Phase des Scans. „Assistentensitzung“ zeigt die ursprünglichen Werkzeugaufrufe des Agenten, seine Analyse und ausstehende Berechtigungsanfragen; beantworten Sie die Anfragen dort, damit die Prüfung weiterläuft. Der Bericht erscheint, sobald Codex Security seine Ergebnisse versiegelt.

Die Prüfung läuft auf dem Rechner, auf dem das Projekt liegt, und verwendet die installierte CLI des ausgewählten Agenten mit deren bestehender Anmeldung, Konfiguration und Berechtigungsverwaltung („Verwendet die Anmeldung und Konfiguration des lokalen Assistenten. Keine separate Modell-API erforderlich.“). VelaTerm fügt nur für die Prüfsitzung einen MCP-Server von Codex Security hinzu; Ihre übrigen MCP-Server bleiben unverändert, und VelaTerm ruft selbst keine Modell-API auf. Die CLI muss installiert und angemeldet sein und darf die Limits ihres Kontos nicht überschritten haben. Die eigene Konfiguration der CLI kann einen Modellanbieter festlegen; VelaTerm ändert sie nicht.

Den Eintrag „Codeprüfung“ gibt es auch für Sammlungen. Eine Sammlung ohne Stammordner kann nicht geprüft werden.

Modelle und Denkaufwand

Die Modellliste ist dieselbe, die der Dialog für neue Sitzungen für diesen Agenten verwendet, und sie berücksichtigt die Standard-Startargumente des Agenten, sodass die Liste der tatsächlichen Ausführung der Prüfung entspricht. „Standardmodell“ überlässt die Wahl dem Agenten. „Denkaufwand“ wird verfügbar, wenn Sie ein Modell wählen, das Stufen für den Denkaufwand anbietet; „Automatisch“ überlässt die Wahl dem Agenten. Lässt sich die Liste nicht laden, erscheint eine Schaltfläche für einen erneuten Versuch. Das Backend validiert explizit gewählte Kombinationen, und die Prüfung speichert die ausgewählten Werte für ihren Verlauf und für spätere Durchläufe. Dass ein Modell in der Liste erscheint, bedeutet nicht, dass Ihr Konto es verwenden darf. Fehler des Anbieters, einschließlich ausgeschöpfter Nutzungslimits, beenden die Prüfung mit dem Status „Fehlgeschlagen“.

Neue Prüfungen fordern die Analyse in der Sprache der Oberfläche an. Protokollfelder, Pfade, Bezeichner und zitierte Quellcodebelege bleiben unverändert.

Integration von Codex Security

VelaTerm enthält die öffentliche, unter Apache-2.0 veröffentlichte Version @openai/codex-security@0.1.26, deren Plugin-Manifest die Version 0.1.95 trägt; die Seite für neue Prüfungen zeigt beide Versionen an. Die originalen Skills, Referenzen, Schemas, Skripte, die Laufzeit und die Lizenz sind enthalten, und UPSTREAM.json hält Paketquelle, Integritätswert und Datei-Hashes fest.

Jede neue Prüfung registriert einen echten Scan in der Workbench von Codex Security. Der Agent liest den mitgelieferten Einstiegs-Skill und verwendet die MCP-Werkzeuge und das Ergebnisformat von Codex Security. Datensätze aus dem früheren, unabhängig implementierten Stapel-Workflow bleiben lesbar und sind mit „Frühere Prüfung · Dieser Datensatz entstand ohne den Codex Security-Prozess.“ gekennzeichnet.

Beide Agenten verwenden denselben Workflow von Codex Security. Das öffentliche TypeScript-SDK steuert die Codex-Laufzeit und bietet keine Ausführung über Claude Code; VelaTerm bindet Codex Security deshalb über dessen MCP-Server und die lokale Workbench ein. Die Unterstützung für Claude Code ist ein Adapter von VelaTerm und keine Zusage einer offiziellen Claude-Unterstützung durch Codex Security.

Die Laufzeit benötigt Node.js im PATH in einer Version, die das Paket von Codex Security unterstützt, sowie Python 3.10 oder neuer; Python 3.10 benötigt zusätzlich das Paket tomli, an dessen Stelle ab Python 3.11 das integrierte tomllib tritt. VelaTerm prüft die mitgelieferten Ressourcen und entpackt sie in sein Datenverzeichnis. In Ihre Konfiguration von Codex oder Claude installiert es sie nicht.

Umfang und Ablauf

Gesamtes Repository führt den Standard-Scan von Codex Security auf einer festen Momentaufnahme des Ziels und mit der Sicherheitsrichtlinie des Repositorys aus.
Verzeichnis oder Datei führt den Standard-Scan mit einem exakten Pfad unter „Relativer Pfad“ aus. Andere Quelldateien können gelesen werden, um eine Aufrufkette zu verstehen, ohne dass damit behauptet wird, diese Bereiche seien vollständig geprüft worden.
Änderungen im Arbeitsverzeichnis führt den Diff-Skill von Codex Security auf einem festen Git-Änderungssatz aus. Er umfasst bereitgestellte, nicht bereitgestellte und nicht verfolgte Änderungen, soweit die Zielauflösung von Codex Security sie unterstützt, und behält Belege des Ausgangsstands für gelöschte Dateien.

Der Standard-Scan liest skills/security-scan/SKILL.md und references/core-scan.md. Er führt Vorabprüfungen, eine unabhängige Analyse des Ausgangsstands und der Architektur, am Quellcode verankerte Untersuchungen, Kontrollpunkte für mögliche Befunde, eine Prüfung von Gegenbelegen, die Validierung und einen Abgleich der Abdeckung durch. Unabhängige Worker werden eingesetzt, wenn der Agent sie unterstützt; andernfalls gilt die sequenzielle Ausweichlösung von Codex Security, deren Einschränkungen offengelegt werden müssen. Eine Einstellung für die Worker-Kapazität allein belegt nicht, dass unabhängige Worker gelaufen sind.

Prüfungen von Änderungen im Arbeitsverzeichnis lesen skills/security-diff-scan/SKILL.md. Sie legen das Ziel fest, erstellen das Bedrohungsmodell, bereiten die Prüfpunkte vor und zählen sie auf, suchen mögliche Befunde, validieren sie, analysieren Angriffspfade und reichen den Ergebnisentwurf zum Abschluss ein. Eine Durchsicht nur des aktuellen Inhalts geänderter Dateien ersetzt diesen Ablauf nicht.

Die Workbench von Codex Security akzeptiert nur Verzeichnisse als Umfang. Damit die Auswahl einzelner Dateien funktioniert, wendet die installierte Laufzeit zwei eng begrenzte Patches an, deren Hashes festgehalten werden: Eine vorhandene Datei ist als Umfang zulässig und zählt als ein Eintrag der Momentaufnahme. Die mitgelieferten Originale bleiben unverändert, und die installierte ADAPTER.json hält sowohl die ursprünglichen als auch die angepassten Hashes fest. Die Auswahl einer Datei führt nie zu einem Scan ihres gesamten Verzeichnisses.

Die Prüfanweisungen verbieten Änderungen am Quellcode, Korrekturen, Veröffentlichungen und Änderungen an der Konfiguration des Agenten. Die eigenen Werkzeugberechtigungen des Agenten bleiben in Kraft. Diese Anweisungen sind keine Sandbox des Betriebssystems. Die Validierung muss angeben, was tatsächlich geprüft wurde, und ein statischer Befund bedeutet nicht, dass ein Exploit nachvollzogen wurde („Nur statische Prüfung. Die gemeldete Abdeckung garantiert nicht, dass alle Schwachstellen erkannt wurden. Es werden keine dynamischen Exploits ausgeführt.“).

Berichte, Abdeckung und Abbruch

Maßgeblich sind die Ergebnisse in den Dateien scan-manifest.json, findings.json und coverage.json von Codex Security. Der Abschlussschritt von Codex Security validiert und versiegelt sie und erzeugt anschließend den lesbaren Bericht. VelaTerm importiert diese Dateien und prüft für jeden Befund den Ort und die exakten Quellzeilen, wobei LF- und CRLF-Zeilenenden als gleichwertig gelten. Eine gültige Struktur und übereinstimmende Quellzeilen beweisen für sich genommen nicht, dass ein Befund ausgenutzt werden kann. Stimmen die Quellcodebelege nicht überein, bleibt die Prüfung „Fehlgeschlagen“, und ihre Befunde gelten nicht als validiert. Der versiegelte Bericht von Codex Security bleibt verfügbar, und Markdown-Exporte stellen den Validierungsfehler an den Anfang, ohne den Bericht umzuschreiben.

Vor dem Versiegeln prüft VelaTerm Pfade, Zeilenbereiche und Auszüge des Entwurfs mit derselben Prüfroutine, die auch beim Import verwendet wird. Stimmen die Belege nicht überein, bleibt der Scan unversiegelt, und der Agent erfährt, welche Stellen er korrigieren muss. Anschließend erzeugt und versiegelt das Abschlusswerkzeug von Codex Security den Bericht. Diese Prüfung schreibt nie Auszüge um, entfernt keine Befunde und ändert keine versiegelten Ergebnisse. Der Import wiederholt die Prüfung, sodass spätere Änderungen am Quellcode ungültige Belege nicht unbemerkt in ein erfolgreiches Ergebnis verwandeln können.

Die Abdeckung ergibt sich aus den Prüfnachweisen und Entscheidungen von Codex Security, nicht aus der Anzahl der Dateien, die der Agent gelesen haben will. Ungeklärte mögliche Befunde, zurückgestellte Arbeit, Ausschlüsse und Warnungen beim Abschluss bleiben sichtbar. Ein versiegelter Scan mit unvollständiger Abdeckung wird als „Teilweise abgedeckt“ angezeigt. Auch eine vollständige Abdeckung garantiert nicht, dass alle Schwachstellen gefunden wurden.

Beendet der Agent einen Durchlauf, während der Scan noch offene Arbeit hat, setzt VelaTerm dieselbe Sitzung und denselben Scan fort und behält vorhandene Befunde und die Ergebnisse der Worker. Berechtigungsanfragen bleiben offen („Berechtigung oder Eingabe erforderlich“), und ein Abbruch oder ein Fehler des Anbieters beendet die automatische Fortsetzung. Enden drei Durchläufe in Folge ohne Änderung am Prüffortschritt, an den Befunden oder an der Abdeckung in Codex Security, stoppt die Prüfung mit einem Fehler wegen eines unvollständigen Scans und behält ihre Zwischenstände.

Der Tab „Bericht“ zeigt die gespeicherten Befunde, Quellcodebelege und Grenzen der Abdeckung. Jeder Befund hat eine eigene URL und zeigt seinen Angriffspfad, die Art seiner Validierung und die Schlussfolgerung (sofern angegeben), Empfehlungen zur Behebung und die gemeldeten Quellcodeauszüge; prüfen Sie den Status der Prüfung, bevor Sie diese Auszüge als gesichert betrachten. Der Tab „Berichtsartefakte“ enthält den vollständigen, von Codex Security erzeugten Bericht und die Scan-ID. Ein laufender Scan zeigt die Versionen des Pakets und des Plugins von Codex Security, die tatsächliche Phase und den Fortschritt sowie Warnungen; solange kein versiegelter Bericht existiert, werden Fortschritt und Zwischenstände statt einer leeren Bewertung angezeigt. In der „Assistentensitzung“ sind das normale Nachrichtenfeld und das Zurückspulen deaktiviert, damit kein fremder Durchlauf die Prüfung ersetzen kann; Berechtigungsanfragen lassen sich weiterhin beantworten.

„Abbrechen“ stoppt den Scan von Codex Security und den Agenten. Gespeicherte Zwischenstände bleiben verfügbar, wenn die Workbench von Codex Security sie versiegeln kann, und behalten ihren Status „Abgebrochen“ oder „Fehlgeschlagen“. Später eintreffende Ergebnisse können eine abgebrochene Prüfung nicht wiederbeleben. Nach einem Neustart gleicht VelaTerm den Stand mit Codex Security ab: Ein abgeschlossenes, versiegeltes Ergebnis lässt sich importieren, und eine nicht abgeschlossene Ausführung wird als „Unterbrochen“ markiert, wobei ihre gespeicherten Dateien von einem abgeschlossenen Ergebnis unterscheidbar bleiben.

„Prüfung starten“ bei einem vorhandenen Datensatz erstellt einen neuen Scan des aktuellen Ziels mit dem gespeicherten Agenten und den gespeicherten Auswahlen. Es setzt keinen angehaltenen Modelldurchlauf fort und übernimmt kein früheres Urteil.

Der Prüfverlauf, das Formular für neue Prüfungen, die Berichtsdetails und die Assistentensitzung haben jeweils eine eigene URL, sodass sie sich direkt öffnen, neu laden und mit den Vor- und Zurück-Schaltflächen des Browsers ansteuern lassen. Auf schmalen Bildschirmen werden Verlauf und Details als getrennte Ansichten angezeigt.

Exporte und Grenzen

„Bericht exportieren“ bietet Markdown und JSON. Markdown-Exporte enthalten den Bericht von Codex Security, sofern einer existiert; andernfalls weisen sie sich eindeutig als Aufzeichnung eines unvollständigen Scans aus. JSON-Exporte enthalten alle importierten Daten zusammen mit den eigenen Metadaten von VelaTerm. Der Scan-Ordner von Codex Security enthält außerdem die dort erzeugte SARIF-Datei und weitere Dateien. Exporte können Quellcodeauszüge und Details zu Schwachstellen enthalten; geben Sie sie daher mit Bedacht weiter.

Diese Oberfläche bietet Standard-Scans und Diff-Prüfungen des Arbeitsverzeichnisses. Andere mitgelieferte Skills, etwa Tiefenscans, Fehlerbehebung, Überprüfung von Korrekturen und die Anbindung externer Issue-Tracker, bleiben als Ressourcen von Codex Security erhalten, stehen aber nicht als eigene Aktionen zur Verfügung. Eine Prüfung wendet keine Korrekturen an, veröffentlicht keine Befunde, erstellt keine Issues und öffnet keine Pull-Requests.

Diagnose

Das Backend protokolliert den Lebenszyklus der Prüfung und Phaseninformationen von Codex Security in runtime-*.log im Protokollverzeichnis der Anwendung. VLX_LOG_DIR legt den gemeinsamen Speicherort fest; ist diese Variable nicht gesetzt, legt VLX_SECURITY_LOG_DIR den Speicherort für Prüfereignisse fest. VLX_SECURITY_LOG_LEVEL=error beschränkt sie auf Fehler, und off schaltet sie ab. Prompts und Antworten werden durch ihre Größe und ihren SHA-256-Hashwert beschrieben; vollständiger Quellcode, Zugangsdaten und vollständige KI-Antworten werden nicht in das Protokoll übernommen, und unverarbeitete Meldungen des Anbieters werden nicht aufbewahrt. Benutzerdefinierte Modellnamen werden durch anonyme Kennungen ersetzt, die nur im aktuellen Prozess gültig sind. Tokenzahlen geben, sofern verfügbar, den kumulierten Verbrauch der Sitzung an. Das Gespräch des Agenten wird wie gewohnt aufgezeichnet.

Lesen Sie bei einer fehlgeschlagenen Prüfung die Erklärung des Anbieters im Bericht, oder öffnen Sie die „Assistentensitzung“. Beheben Sie Probleme mit Anmeldung, Laufzeit, Berechtigungen oder Kontolimits, bevor Sie eine weitere Prüfung starten. Ein verbundener MCP-Server zeigt nur, dass die Werkzeuge verfügbar sind; er zeigt nicht, dass das Modell den Scan abgeschlossen hat.

Referenzen von Codex Security: CLI-Überblick, CLI-Referenz, öffentlicher Quellcode.