Évaluation live · données d'exemple synthétiques
Voyez la barrière de preuve avant de connecter un dépôt. Sélectionnez un candidat, avancez le contrat de preuve, et inspectez le packet de preuve — la même surface live que la page d'accueil, sur données synthétiques. Pas d'inscription, pas de carte.
Commencer→ Aller au contenu du tableau de bord E Espace de travail Deton
Préférences cookies
Tableau de bord État de preuve en lecture seule
Du candidat au paquet de preuve Inspectez chaque candidat et son état de preuve. Deton ne traite comme constat de vulnérabilité que les preuves confirmées par un oracle.
Horodatage: 2026-07-06T09:12:00.000Z
Limite runner
Application préchargée, exécuteur isolé, aucune cible de production, aucune exploitation externe.
Étapes de preuve
1 Preuve en cours
Limite de couverture
1 Unsupported
Moment de preuve sélectionné Preuve confirmée Injection SQL src/app/api/checkout/route.ts
Voir l'evidence Une route checkout modifiée interpole une entrée request dans un prédicat SQL.
Étapes de preuve 1 Candidat Terminé Contexte statique et diff ont créé une hypothèse; ce n'est pas un finding. 2 Contrat de preuve Terminé Deton vérifie si un contrat activé et déterministe existe pour la famille. 3 Oracle Terminé Le runner cherche un signal observable dans une limite seedée. 4 Paquet Terminé L'evidence confirmée est packagée avec redaction, correctif et action PR.
Paquet d'évidence Evidence Correctif PR Couverture
Contrat de preuve sql-error-oracle.v1
Observation oracle L'oracle d'erreur base de données a déclenché deux fois sur entrée seedée; trace sanitizée jointe.
Limite runner Application préchargée, exécuteur isolé, aucune cible de production, aucune exploitation externe.
Redaction Fragments request et response sanitizés; aucun secret ou donnée client affiché. Redaction
Fragments request et response sanitizés; aucun secret ou donnée client affiché.
Limite runner
Application préchargée, exécuteur isolé, aucune cible de production, aucune exploitation externe.
Limite de couverture
Proof-enabled dans le premier pack: oracle d'erreur SQL avec limite base seedée.
ID paquet pkt_01JB7Q3M9E
ID run run_20260706_0912
Commit 8f42c1a
État Preuve confirmée Cette vue produit n’analyse pas votre application et ne prouve aucun code client.
Un oracle déterministe a produit une evidence selon le contrat configuré.
D deton[bot] commented on acme/payments #482
Exploit proven in sandboxSQLI-01 · src/routes/invites.ts
deton_sql_marker_001sandbox run 41s
Parcours produit · dépôt simulé
Cette démo tourne sur des données d'exemple synthétiques. Elle ne scanne pas un dépôt réel.
← Retour aux tarifs