Paniers, coupons, prix.Tous des exploits logiques.
Paniers à quantité négative, cumul de coupons, race conditions sur le stock : des fuites invisibles aux scanners. BLSA prouve chaque verdict : règle, chemin, ligne.
Les failles retail qu'aucun SAST ne lit.
La logique du panier est une surface d'attaque à part entière. VibeDefend la parcourt avant que l'agent ne la casse.
- Paniers à quantité négativeUn refactoring laisse un total de commande passer sous zéro. VibeDefend verrouille l'invariant et réécrit le validateur.Bloqué avant le paiement
- Abus de cumul de couponsDeux codes Black Friday s'appliquent là où la règle n'en autorise qu'un. VibeDefend suit l'état du cumul sur tout le cycle de vie du panier.Bloqué avant le paiement
- Race condition sur le stockSous charge, les lectures de réservation passent avant le verrou. VibeDefend rétablit l'ordre des opérations entre les services.Bloqué avant le paiement
BLSA est développé en collaboration avec le CNRS et le laboratoire CRIStAL (Université de Lille). Ensemble, nous prototypons une catégorie de scanner inédite, capable de raisonner sur la logique métier de votre base de code : le type de risque qu'aucun SAST syntaxique n'a jamais détecté.