Notre analyseur de bytecode EVM inspecte directement le code bas-niveau du contrat sans avoir besoin de la source Solidity. Il détecte les sauts suspects, les comportements dangereux, les opérations arithmétiques risquées (overflow/underflow), les accès sensibles (CALLER, DELEGATECALL), et génère un rapport clair.
Le scan fonctionne entièrement en local sur votre machine 📂 ➜ aucune donnée envoyée sur un serveur externe, sécurité maximale.
=== Début du scan du bytecode (16491 octets) ===
[JUMP] Saut trouvé à 119 vers 3806
[JUMP] Saut trouvé à 3813 vers 11397
[OVERFLOW/UNDERFLOW] ADD à position 11454
[JUMP] Saut trouvé à 123 vers 507
=== Fin du scan ===
[OVERFLOW/UNDERFLOW] ADD (0x01) à position 528
✓ CALLER détecté à position 896 (vérification d'accès potentielle)
╔═══════════════════════════════════════════════════════╗
║ RAPPORT D'AUDIT - SMART CONTRACT ║
╚═══════════════════════════════════════════════════════╝
📊 RÉSULTATS:
├─ Status Global: SAFE
├─ Score Brut: 0 / 8 vulnérabilités détectées
├─ Score Pondéré: 0 (ajusté par confiance heuristique)
├─ Type de Proxy: Aucun
└─ Seuils: SAFE(<3) | RISKY(3-5) | DANGER(≥6)
🔍 DÉTAILS DÉTECTION:
Indices de failles brutes : [0,0,0,0,0,0,1,0]
Niveaux de confiance : [·,·,·,·,·,·,📋,·]
• 📋 = FAIBLE (information)
• ⚠️ = MOYEN (attention)
• 🔴 = ÉLEVÉ (critique)
📝 ANALYSE DÉTAILLÉE:
────────────────────────────────────────────────────────
[INFO] Arithmetic Operations Detected
├─ Solidity 0.8+ contient SafeMath intégré
├─ Les risques d’overflow sont largement mitigés
├─ Risque réel SEULEMENT si version < 0.8
└─ Niveau de risque: TRÈS FAIBLE
────────────────────────────────────────────────────────