Στατική Ανάλυση για Κώδικα που Δημιουργείται από AI
Ένας εξειδικευμένος σαρωτής ασφαλείας που εντοπίζει τις ευπάθειες που εισάγουν οι βοηθοί κωδικοποίησης AI. 210 κανόνες σε πέντε κατηγορίες — μοτίβα vibe code, ασφάλεια agents, κινδύνους εφαρμογών LLM, ευπάθειες frameworks και λανθασμένες ρυθμίσεις cloud — τροφοδοτούμενος από ανάλυση AST μέσω tree-sitter, παρακολούθηση ροής μόλυνσης πολλαπλών βημάτων και προαιρετική AI-υποβοηθούμενη διαλογή.
210 Κανόνες Ασφαλείας
10 Γλώσσες
5 Κατηγορίες Κανόνων
SARIF Output
Το Πρόβλημα
Γιατί ο κώδικας που παράγεται από AI αποτελεί κίνδυνο ασφαλείας
Οι βοηθοί AI παράγουν κώδικα ταχύτερα από ό,τι μπορούν να τον αξιολογήσουν οι άνθρωποι. Το vibe coding — η αποδοχή προτάσεων AI με ελάχιστο έλεγχο — είναι ο νέος κανόνας.
Η AI βελτιστοποιεί για λειτουργικό κώδικα, όχι για ασφαλή κώδικα. Το ίδιο hardcoded μυστικό, η ίδια συνένωση SQL, η ίδια επιτρεπτική CORS — επαναλαμβάνονται σε χιλιάδες έργα.
Τα Semgrep, Snyk και CodeQL δεν κατανοούν πρότυπα prompts, ορισμούς εργαλείων agents ή χειρισμό εξόδου LLM. Οι νέες επιφάνειες επίθεσης έχουν μηδενική κάλυψη.
Οι αυτόνομοι agents λαμβάνουν αποφάσεις πραγματικού κόσμου με πρόσβαση στο σύστημα αρχείων, εγγραφές σε βάσεις δεδομένων και εντολές shell. Κανένα υπάρχον εργαλείο δεν ελέγχει τα όρια δικαιωμάτων τους.
Κανόνες
210 κανόνες που στοχεύουν πέντε τομείς ευπαθειών ειδικούς για AI
achilles-ai.features.items.scanner.description
achilles-ai.features.items.ai-codeguard.description
achilles-ai.features.items.agents.description
achilles-ai.features.items.llm-app.description
achilles-ai.features.items.framework.description
achilles-ai.features.items.cloud.description
achilles-ai.features.items.ci-cd.description
achilles-ai.features.items.sarif.description
achilles-ai.features.items.ranker.description
achilles-ai.features.items.policies.description
Δυνατότητες
Τι προσφέρει το Achilles AI
210
Ενσωματωμένοι κανόνες ασφαλείας
10
Υποστηριζόμενες γλώσσες
5
Κατηγορίες ειδικές για AI
1
Ενιαίο binary — χωρίς εξαρτήσεις
5
Cross-platform builds
3
Μορφές εξόδου
Τεχνολογικό Stack
Rust workspace: achilles-parsers, achilles-core, achilles-ai, achilles-lsp, achilles-cli — tree-sitter, serde, regex, μηχανή κανόνων YAML, ανάλυση ροής μόλυνσης
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, παραμετροποιήσιμη επιλογή μοντέλου, φιλτράρισμα ψευδών θετικών, αναταξινόμηση σοβαρότητας
clap, colored, serde_json, SARIF v2.1.0 output, 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
Πηγαίος Κώδικας
Ο πηγαίος κώδικας του Achilles AI είναι διαθέσιμος κατόπιν αιτήματος για σκοπούς αξιολόγησης και συνεργασίας.
Για πρόσβαση στον πηγαίο κώδικα, παρακαλούμε υπογράψτε τη Συμφωνία Εμπιστευτικότητας.
Χρειάζεστε βοήθεια για την ασφάλεια κώδικα που παράγεται από AI στην παραγωγή; Οι συμβουλευτικές μας υπηρεσίες συμπληρώνουν το Achilles AI.
Το 70% των AI pilots δεν φτάνει ποτέ στην παραγωγή. Αποκτήστε τον οδηγό του 30% που τα καταφέρνει.
Διαγραφή ανά πάσα στιγμή. Χωρίς spam, ποτέ.
Αρχιτεκτονική
Τρία επίπεδα: ενσωμάτωση CLI/CI με απλή προσθήκη, ένας σαρωτής AST με 210 κανόνες βελτιστοποιημένος για πρότυπα που δημιουργούνται από AI, και ένας ταξινομητής σοβαρότητας με κρίση LLM που τοποθετεί τους πραγματικούς κινδύνους στην κορυφή.
Ενιαίο δυαδικό αρχείο Go, χωρίς runtime. CLI για τοπικές σαρώσεις, ενσωμάτωση GitHub/GitLab CI, έξοδος SARIF για διεπαφές σάρωσης κώδικα. Εκτελείται σε δευτερόλεπτα σε ένα commit του Cursor· εκτελείται σε λεπτά σε μια codebase κλίμακας 1M γραμμών του Auralink.
Σαρωτές AST για Python, TypeScript, JavaScript, Go. Πέντε κατηγορίες κανόνων: πρότυπα vibe-code, ασφάλεια agent (ορισμοί εργαλείων, ανεξέλεγκτη επέκταση δυνατοτήτων), κίνδυνοι εφαρμογών LLM (ένεση προτροπών, μη απολυμασμένη έξοδος), ευπάθειες frameworks, λανθασμένες ρυθμίσεις cloud. Τα πρότυπα που δεν διαθέτουν τα εργαλεία SAST.
Ταξινόμηση με κρίση LLM (Mistral τοπικά ή hosted) επαναταξινομεί τα ευρήματα με βάση την εκμεταλλευσιμότητα στο stack σας. Όχι πλέον αναφορές με 500 ευρήματα που κανείς δεν διαβάζει — οι κορυφαίες 10 είναι πραγματικά οι κορυφαίες 10, με μια σύντομη εξήγηση που ένας προγραμματιστής μπορεί να δράσει.
210 κανόνες σε 5 κατηγορίες
Οι βοηθοί AI βελτιστοποιούν για το 'λειτουργεί,' όχι για το 'ασφαλές.' Το Achilles κατονομάζει κάθε αντι-μοτίβο που δημιουργείται από AI και έχουμε δει σε κλίμακα σε πάνω από 1M+ γραμμές κώδικα με ενίσχυση AI, και στη συνέχεια παρέχει έναν ταξινομητή LLM που τοποθετεί τους πραγματικούς κινδύνους στην κορυφή της αναφοράς.
47 RULESΣκληρά κωδικοποιημένα κλειδιά API σε πρότυπα προτροπών, SQL μέσω συνένωσης συμβολοσειρών σε 'απλώς demo' μονοπάτια κώδικα, μη ασφαλής αποσειριοποίηση, eval της εξόδου LLM, μυστικά καταγεγραμμένα στο επίπεδο INFO. Το σύνολο των μοτίβων που εμφανίζονται όταν το 'λειτουργεί μια φορά' υπερισχύει του 'λειτουργεί με ασφάλεια.'
38 RULESΟρισμοί εργαλείων χωρίς επικύρωση παραμέτρων, δυνατότητες πρακτόρων που επικαλύπτονται με προνόμια διαχειριστή, έλλειψη ορίων ρυθμού σε εργαλεία που μπορούν να κληθούν από LLM, πρόθεμα προτροπής που διαρρέει την ταυτότητα του συστήματος. Το σύνολο που επιτρέπει σε ένα jailbreak να εξελιχθεί σε περιστατικό.
52 RULESΜη απολυμασμένη έξοδος LLM που αποδίδεται ως HTML, διανύσματα έγχυσης προτροπής σε πλαίσιο ελεγχόμενο από τον χρήστη, έμμεση έγχυση μέσω ανακτημένων εγγράφων, έξοδος μοντέλου διοχετευμένη σε κέλυφος ή eval, έλλειψη επικύρωσης σχήματος εξόδου. Το OWASP-LLM-Top-10 υλοποιημένο στην πράξη.
43 RULESΈκθεση Next.js Server Action χωρίς έλεγχο ταυτότητας, παράκαμψη έγχυσης εξαρτήσεων FastAPI, διαρροή αλυσίδας σκέψης LangChain, SQL injection μέσω raw() στο Django ORM, μη ασφαλής απόδοση προτύπου. Κανόνες ανά πλαίσιο, όχι γενική παρακολούθηση ροής δεδομένων.
30 RULESΔημόσιο S3 με ευαίσθητα προθέματα, ρόλοι IAM με ενέργειες `*`, δικαιώματα cross-account στο AWS Bedrock, έκθεση GCP Vertex AI σε πλαίσιο χωρίς λογαριασμό υπηρεσίας. Το σύνολο που επιτρέπει σε ένα διαρρεύσαν URL τελικού σημείου να εξελιχθεί σε πλήρη εξαγωγή δεδομένων.