CVE-2026-23008 – Confusion sur la taille des données de retour en assembly Solidity

Code du programme (Solidity)

// ReturnSizeConfusion.sol
contract Victim {
    function callExternal(address target) external returns (bytes memory) {
        (bool success, bytes memory ret) = target.call(abi.encodeWithSignature("someFunc()"));
        require(success, "call failed");
        // Vulnerability: assumes ret is at least 32 bytes, but could be empty
        uint256 value;
        assembly {
            value := mload(add(ret, 32))
        }
        return ret;
    }
}

CVE-2026-23008 – Confusion sur la taille des données de retour en assembly Solidity

Aperçu

Un contrat Solidity utilise de l'assembly inline pour lire une valeur retournée, mais ne valide pas que la longueur des données de retour est suffisante. Un attaquant peut renvoyer des données vides, ce qui fait lire à l'assembly des données de pile arbitraires, entraînant une corruption de la mémoire ou un contournement de sécurité.

Détails de la vulnérabilité

• Type: Bug de sécurité mémoire / logique
• Impact: Vol de fonds, détournement de contrat.
• Cause racine: Le contrat suppose que l'appel externe retourne toujours au moins 32 octets ; des données vides ou tronquées provoquent une lecture hors limites.

Démonstration de l'exploitation

Déployez le contrat vulnérable et un contrat attaquant qui renvoie une réponse vide. Le mload lit des données obsolètes.

Atténuation

• Vérifiez la longueur de ret avant d'y accéder via l'assembly.
• Utilisez le décodeur ABI (abi.decode) au lieu de l'assembly brut.
• Évitez l'assembly inline pour l'analyse des données.

Installation et utilisation

git clone https://github.com/yourorg/CVE-2026-23008.git
cd CVE-2026-23008
# Use Foundry to test