Statische Analyse fuer KI-generierten Code
A Rust static-analysis tool focused on AI-generated and AI-application code patterns. It combines tree-sitter parsing, source-controlled rules, SARIF output, command-line and editor surfaces, and optional model-assisted triage.
Public early release
Source through 2026-02-26
Inspectable artefacts
Explicit claim boundary
Quellcode-Evidenz
A Rust static-analysis tool focused on AI-generated and AI-application code patterns. It combines tree-sitter parsing, source-controlled rules, SARIF output, command-line and editor surfaces, and optional model-assisted triage.
Der detaillierte technische Stand wird auf Englisch gepflegt.
Repository-Evidenz ist kein Nachweis für Kunden, Betrieb, Zertifizierung oder Ergebnisse.
Das Problem
Warum KI-generierter Code ein Sicherheitsrisiko darstellt
KI-Assistenten generieren Code schneller, als Menschen ihn ueberpruefen koennen. Vibe Coding -- KI-Vorschlaege mit minimaler Pruefung akzeptieren -- ist der neue Standard.
KI optimiert fuer funktionierenden Code, nicht fuer sicheren Code. Dasselbe hartcodierte Geheimnis, dieselbe SQL-Verkettung, dasselbe permissive CORS -- wiederholt ueber Tausende von Projekten.
Semgrep, Snyk und CodeQL verstehen keine Prompt-Vorlagen, Agenten-Tool-Definitionen oder LLM-Ausgabeverarbeitung. Neue Angriffsflaechen haben keinerlei Abdeckung.
Autonome Agenten treffen reale Entscheidungen mit Dateisystemzugriff, Datenbankschreibvorgaengen und Shell-Befehlen. Kein bestehendes Tool prueft ihre Berechtigungsgrenzen.
Regeln
210 Regeln fuer fuenf KI-spezifische Schwachstellenbereiche
Source scope only: a card can describe implemented code, a documented adapter, or a configured workflow. It is not a statement that a production service is active.
40 Regeln fuer Muster, die haeufig von KI-Codierassistenten generiert werden: hartcodierte Geheimnisse in Prompts, SQL-Injection durch Verkettung, gefaehrliche Code-Ausfuehrung, unsichere Standardeinstellungen, fehlende Authentifizierung, Path-Traversal, unsichere Deserialisierung und schwache Kryptographie.
30 Regeln fuer autonomen Agentencode: zu permissive Tool-Definitionen, uneingeschraenkter Dateisystemzugriff, Shell-Befehlsausfuehrung aus Benutzereingaben, fehlende Audit-Protokollierung, keine Bestaetigung vor destruktiven Aktionen, unsichere Inter-Agenten-Kommunikation und Privilege-Escalation-Vektoren.
40 Regeln fuer produktive LLM-Anwendungen: rohe Benutzereingaben in System-Prompts, unbereinigtes HTML-Rendering, Ausfuehrung von LLM-generiertem SQL, exponierte API-Schluessel, fehlende Prompt-Injection-Erkennung, unsichere OAuth-Flows, veraltete SDK-Nutzung, nicht validierte Tool-Ausgaben und Risiken der Trainingsdaten-Exfiltration.
50 Regeln fuer 10 Frameworks: Express.js, Django, Flask, FastAPI, Spring Boot, Laravel, Rails, Next.js, NestJS und Gin -- abdeckend Debug-Modus-Exposition, fehlende Auth-Guards, CORS-Wildcards, Mass-Assignment, nicht validierte DTOs und Actuator-Endpoint-Lecks.
50 Regeln fuer 7 Plattformen: AWS (15), Terraform (10), Kubernetes (6), GitHub Actions (5), GCP (5), Azure (5), Docker (4) -- abdeckend IAM-Ueberprivilegierung, oeffentliche Buckets, deaktivierte Verschluesselung, privilegierte Container, nicht fixierte Actions und falsch konfigurierte Sicherheitsgruppen.
Schreiben Sie benutzerdefinierte Regeln in YAML -- keine Rust-Kenntnisse erforderlich. Definieren Sie AST-Knotentypen, Regex-Muster, Vorfahren-Kontexteinschraenkungen und Korrekturvorschlaege. Erstellen Sie neue Regeln mit einem einzigen Befehl.
Native SARIF v2.1.0-Ausgabe fuer die Integration mit dem GitHub-Sicherheits-Tab. Ergebnisse erscheinen als Inline-PR-Annotationen mit Schweregrad, Korrekturvorschlaegen und Referenzen. Unterstuetzt auch JSON- und Textausgabe.
Integrieren Sie Mistral AI oder lokale Ollama-Modelle, um Fehlalarme zu reduzieren, den Schweregrad kontextbasiert neu zu bewerten und kontextbezogene Korrekturvorschlaege zu generieren. Aktivieren Sie es mit einem einzigen --ai Flag -- funktioniert mit jedem unterstuetzten Modell.
Echtzeit-Sicherheitsfeedback in Ihrem Editor ueber den Achilles AI LSP-Server. Inline-Diagnosen, Code-Aktionen und Korrekturvorschlaege waehrend Sie tippen -- kompatibel mit VS Code, Neovim und jedem LSP-kompatiblen Editor.
Sofort einsetzbare GitHub Action fuer automatisierte Analyse bei jedem Push und Pull Request. Unterstuetzt auch GitLab CI, Bitbucket Pipelines und Pre-Commit-Hooks. Einzelne Binaerdatei -- keine Laufzeitabhaengigkeiten.
Technologien
Named technologies identify repository dependencies or adapter surfaces; they do not assert a live integration or deployment.
Rust Workspace: achilles-parsers, achilles-core, achilles-ai, achilles-lsp, achilles-cli — tree-sitter, serde, regex, YAML-Regel-Engine, Taint-Flow-Analyse
tree-sitter-javascript, tree-sitter-typescript, tree-sitter-python, tree-sitter-go, tree-sitter-java, tree-sitter-rust, tree-sitter-ruby, tree-sitter-php, tree-sitter-c-sharp, tree-sitter-swift
Mistral AI SDK, Ollama-Client, konfigurierbare Modellauswahl, Fehlalarm-Filterung, Schweregrad-Neubewertung
clap, colored, serde_json, SARIF v2.1.0-Ausgabe, Language Server Protocol
GitHub Actions (CI + Cross-Compile-Release), GitLab CI, Bitbucket Pipelines, Pre-Commit-Hooks
Linux (amd64/arm64), macOS (amd64/arm64), Windows (amd64), crates.io
Quellcode
Der Achilles AI-Quellcode ist auf Anfrage fuer Evaluierungs- und Partnerschaftszwecke verfuegbar.
Um auf den Quellcode zuzugreifen, unterzeichnen Sie bitte unsere Geheimhaltungsvereinbarung.
Benötigen Sie Hilfe bei der Absicherung von KI-generiertem Code in der Produktion? Unsere Beratung ergänzt Achilles AI.
Zwölf bis vierundzwanzig Wochen zur Risikoklassifizierung Ihrer KI-Systeme, Unterstützung der anbietergeführten Konformitätsbewertung und Erarbeitung der Nachweise, Erstellung der Anhang IV-Technischen Dokumentation und Einrichtung der Marktüberwachung — mit besonderer Tiefe für die Hochrisikokategorien, die für autonome, industrielle und Robotik-Einsätze gelten
Partnerschaft
Ob Sie KI-Code-Sicherheitsaudits fuer Ihr Team benoetigen oder eine Partnerschaft im Bereich AppSec erkunden moechten.
Die meisten KI-Piloten bleiben vor der Produktion stecken. Holen Sie sich das Playbook für die, die es schaffen.
Jederzeit abbestellbar. Kein Spam, niemals.
Architektur
Drei Schichten: Plug-and-Play-CLI/CI-Integration, ein 210-Regel-AST-Scanner, abgestimmt auf KI-generierte Muster, und ein LLM-basierter Schweregrad-Ranker, der die echten Risiken an die Spitze stellt.
Source map only: a layer can represent implemented code, an adapter boundary, or documented design. It does not assert a configured production service.
Einzelne Go-Binary, kein Runtime. CLI für lokale Scans, GitHub/GitLab-CI-Integration, SARIF-Ausgabe für Code-Scanning-UIs. Läuft in Sekunden auf einem Cursor-Commit; läuft in Minuten auf einem 1M-Zeilen-Auralink-Codebase.
AST-Scanner für Python, TypeScript, JavaScript, Go. Fünf Regelkategorien: Vibe-Code-Muster, Agent-Sicherheit (Tool-Definitionen, Capability-Sprawl), LLM-Anwendungsrisiken (Prompt-Injection, unsanitisierte Ausgabe), Framework-Schwachstellen, Cloud-Fehlkonfigurationen. Die Muster, die SAST-Tools nicht haben.
LLM-basierte Bewertung (Mistral lokal oder gehostet) ordnet Findings nach Ausnutzbarkeit in Ihrem Stack neu. Keine 500-Finding-Berichte mehr, die niemand liest — die Top 10 sind tatsächlich die Top 10, mit einer kurzen Erklärung, die ein Entwickler umsetzen kann.
210 Regeln in 5 Kategorien
KI-Assistenten optimieren für 'funktioniert', nicht für 'sicher'. Achilles benennt jedes KI-generierte Anti-Pattern, das wir in großem Maßstab über 1M+ Zeilen KI-augmentierten Code gesehen haben, und liefert dann einen LLM-Ranker, der die echten Risiken an die Spitze des Berichts stellt.
Repository surface only: availability, completeness, performance, and operational fitness require separate validation.
47 RULESHardcodierte API-Schlüssel in Prompt-Templates, SQL via String-Konkatenation in 'nur Demo'-Code-Pfaden, unsichere Deserialisierung, Eval von LLM-Ausgaben, Secrets, die auf INFO-Level geloggt werden. Die Ansammlung von Mustern, die ausgeliefert werden, wenn 'funktioniert einmal' über 'funktioniert sicher' siegt.
38 RULESTool-Definitionen ohne Parameter-Validierung, Agent-Fähigkeiten, die sich mit Admin-Privilegien überschneiden, fehlende Ratenbegrenzungen für LLM-aufrufbare Tools, Prompt-Präfixe, die Systemidentitäten preisgeben. Die Ansammlung, die aus einem Jailbreak einen Vorfall macht.
52 RULESUnsanitisierte LLM-Ausgaben, die als HTML gerendert werden, Prompt-Injection-Vektoren in benutzerkontrolliertem Kontext, indirekte Injection über abgerufene Dokumente, Modellausgaben, die in Shell oder Eval geleitet werden, fehlende Validierung des Ausgabe-Schemas. Das OWASP-LLM-Top-10 konkret umgesetzt.
43 RULESNext.js Server Action Exposure ohne Authentifizierung, FastAPI Dependency Injection Bypass, LangChain Chain-of-Thought-Leakage, Django ORM SQL-Injection via raw(), unsicheres Template-Rendering. Framework-spezifische Regeln, kein generisches Taint-Tracking.
30 RULESÖffentliche S3-Buckets mit sensiblen Präfixen, IAM-Rollen mit `*`-Aktionen, AWS Bedrock Cross-Account-Berechtigungen, GCP Vertex AI in einem Kontext ohne Service-Account exponiert. Die Ansammlung, die aus einer geleakten Endpunkt-URL eine vollständige Datenexfiltration macht.