Analyse statique pour le code généré par l'IA
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
Preuves issues du code source
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.
Le relevé technique détaillé est maintenu en anglais.
Les preuves du dépôt ne constituent pas des preuves client, de déploiement, de certification ou de résultats.
Le problème
Pourquoi le code généré par l'IA est un risque de sécurité
Les assistants IA génèrent du code plus rapidement que les humains ne peuvent le relire. Le vibe coding -- accepter les suggestions de l'IA avec un examen minimal -- est devenu la norme.
L'IA optimisé pour du code fonctionnel, pas pour du code sécurisé. Le même secret en dur, la même concatenation SQL, le même CORS permissif -- repetes dans des milliers de projets.
Semgrep, Snyk et CodeQL ne comprennent pas les modèles de prompts, les définitions d'outils d'agents ni la gestion des sorties LLM. Les nouvelles surfaces d'attaque n'ont aucune couverture.
Les agents autonomes prennent des décisions reelles avec un accès au système de fichiers, des ecritures en basé de données et des commandes shell. Aucun outil existant n'audite leurs limites de permissions.
Regles
210 regles ciblant cinq domaines de vulnérabilités spécifiques à l'IA
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 regles pour les schemas couramment générés par les assistants de codage IA : secrets en dur dans les prompts, injection SQL par concatenation, exécution de code dangereuse, parametres par défaut non securises, authentification manquante, traversee de chemin, deserialisation non sécurisée et cryptographie faible.
30 regles pour le code des agents autonomes : définitions d'outils trop permissives, accès illimite au système de fichiers, exécution de commandes shell à partir d'entrées utilisateur, journalisation d'audit manquante, absence de confirmation avant les actions destructrices, communication inter-agents non sécurisée et vecteurs d'escalade de privileges.
40 regles pour les applications LLM en production : entrées utilisateur brutes dans les prompts système, rendu HTML non assaini, exécution de SQL généré par le LLM, clés d'API exposées, détection d'injection de prompts manquante, flux OAuth non securises, utilisation de SDK obsoletes, sorties d'outils non validees et risques d'exfiltration de données d'entraînement.
50 regles couvrant 10 frameworks : Express.js, Django, Flask, FastAPI, Spring Boot, Laravel, Rails, Next.js, NestJS et Gin -- couvrant l'exposition du mode debug, les gardes d'authentification manquants, les CORS en joker, l'assignation de masse, les DTOs non valides et les fuites des endpoints actuator.
50 regles couvrant 7 plateformes : AWS (15), Terraform (10), Kubernetes (6), GitHub Actions (5), GCP (5), Azure (5), Docker (4) -- couvrant les surpermissions IAM, les buckets publics, le chiffrement desactive, les conteneurs privilegies, les Actions non epinglees et les groupes de sécurité mal configures.
Ecrivez des regles personnalisées en YAML -- aucune connaissance de Rust requise. Definissez des types de noeuds AST, des schemas regex, des contraintes de contexte ancetre et des suggestions de correction. Generez de nouvelles regles avec une seule commande.
Sortie native SARIF v2.1.0 pour l'intégration avec l'onglet Sécurité de GitHub. Les résultats apparaissent sous forme d'annotations en ligne sur les PR avec severite, suggestions de correction et références. Prend aussi en charge les formats JSON et texte.
Integrez Mistral AI ou des modèles Ollama locaux pour reduire les faux positifs, reajuster la severite en fonction du contexte et générer des suggestions de correction contextuelles. Activez avec un simple flag --ai -- fonctionne avec tout modèle pris en charge.
Retours de sécurité en temps reel dans votre editeur via le serveur LSP Achilles AI. Diagnostics en ligne, actions de code et suggestions de correction pendant que vous tapez -- compatible avec VS Code, Neovim et tout editeur compatible LSP.
GitHub Action integrable pour une analyse automatisée à chaque push et pull request. Compatible aussi avec GitLab CI, Bitbucket Pipelines et les hooks de pre-commit. Binaire unique -- aucune dépendance d'exécution.
Technologies
Named technologies identify repository dependencies or adapter surfaces; they do not assert a live integration or deployment.
Espace de travail Rust : achilles-parsers, achilles-core, achilles-ai, achilles-lsp, achilles-cli — tree-sitter, serde, regex, moteur de regles YAML, analyse de flux de contamination
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, client Ollama, selection de modèle configurable, filtrage des faux positifs, reajustement de severite
clap, colored, serde_json, sortie SARIF v2.1.0, Language Server Protocol
GitHub Actions (CI + compilation croisee), GitLab CI, Bitbucket Pipelines, hooks de pre-commit
Linux (amd64/arm64), macOS (amd64/arm64), Windows (amd64), crates.io
Code source
Le code source de Achilles AI est disponible sur demande à des fins d'évaluation et de partenariat.
Pour acceder au code source, veuillez signer notre accord de non-divulgation.
Besoin d'aide pour sécuriser du code généré par IA en production ? Nos services de conseil complètent Achilles AI.
Douze à vingt-quatre semaines pour classifier vos systèmes IA par risque, accompagner l'évaluation de conformité pilotée par le fournisseur et constituer les preuves, produire la documentation technique Annexe IV et mettre en place la surveillance post-commercialisation — avec une profondeur particulière sur les catégories à haut risque qui s'appliquent aux déploiements autonomes, industriels et robotiques
Partenariat
Que vous ayez besoin d'un audit de sécurité du code IA pour votre équipe ou que vous souhaitiez explorer un partenariat dans le domaine de l'AppSec.
La plupart des pilotes IA calent avant la production. Recevez le guide de ceux qui y arrivent.
Désabonnez-vous à tout moment. Pas de spam, jamais.
Architecture
Trois couches : intégration CLI/CI prête à l'emploi, un scanner AST de 210 règles optimisé pour les motifs générés par IA, et un classifieur de sévérité jugé par LLM qui place les véritables risques en tête de liste.
Source map only: a layer can represent implemented code, an adapter boundary, or documented design. It does not assert a configured production service.
Binaire Go unique, sans runtime. CLI pour des analyses locales, intégration GitHub/GitLab CI, sortie SARIF pour les interfaces de scan de code. S'exécute en quelques secondes sur un commit Cursor ; s'exécute en quelques minutes sur une codebase de 1 million de lignes à l'échelle d'Auralink.
Scanners AST pour Python, TypeScript, JavaScript, Go. Cinq catégories de règles : motifs de code intuitifs, sécurité des agents (définitions d'outils, prolifération des capacités), risques des applications LLM (injection de prompt, sortie non assainie), vulnérabilités des frameworks, mauvaises configurations cloud. Les motifs que les outils SAST n'ont pas.
Notation jugée par LLM (Mistral local ou hébergé) reclasse les résultats en fonction de leur exploitabilité par rapport à votre stack. Plus de rapports de 500 résultats que personne ne lit — les 10 premiers sont réellement les 10 premiers, avec une explication courte qu'un développeur peut mettre en œuvre.
210 règles réparties en 5 catégories
Les assistants IA optimisent pour 'ça marche,' pas pour 'c'est sécurisé.' Achilles identifie chaque anti-pattern généré par l'IA que nous avons observé à grande échelle sur plus d'1 million de lignes de code augmenté par l'IA, puis fournit un classifieur LLM qui place les véritables risques en tête du rapport.
Repository surface only: availability, completeness, performance, and operational fitness require separate validation.
47 RULESClés API codées en dur dans les templates de prompts, SQL via concaténation de chaînes dans les chemins de code 'juste pour la démo,' désérialisation non sécurisée, évaluation de la sortie LLM, secrets logués en niveau INFO. L'ensemble des patterns qui sont livrés quand 'ça marche une fois' l'emporte sur 'ça marche en toute sécurité.'
38 RULESDéfinitions d'outils sans validation des paramètres, capacités d'agent qui chevauchent les privilèges admin, absence de limites de débit sur les outils appelables par LLM, préfixes de prompts qui divulguent l'identité du système. L'ensemble qui permet à un jailbreak de se transformer en incident.
52 RULESSortie LLM non assainie rendue en HTML, vecteurs d'injection de prompt dans un contexte contrôlé par l'utilisateur, injection indirecte via des documents récupérés, sortie du modèle redirigée vers un shell ou eval, absence de validation du schéma de sortie. L'OWASP-LLM-Top-10 concrétisé.
43 RULESExposition de Next.js Server Action sans authentification, contournement de l'injection de dépendances FastAPI, fuite de la chaîne de pensée LangChain, injection SQL via raw() dans Django ORM, rendu de template non sécurisé. Règles spécifiques à chaque framework, pas un suivi de taint générique.
30 RULESS3 publics avec des préfixes sensibles, rôles IAM avec des actions `*`, permissions cross-account AWS Bedrock, GCP Vertex AI exposé dans un contexte sans compte de service. L'ensemble qui permet à une URL de point de terminaison divulguée de se transformer en exfiltration complète de données.