Taint Analysis

Définition

La Taint Analysis (analyse de souillure ou analyse de flux de données non fiables) est une technique fondamentale des outils SAST qui permet de tracer le cheminement de données potentiellement dangereuses (tainted data) depuis leurs points d'entrée dans un programme jusqu'aux fonctions sensibles où elles pourraient causer des vulnérabilités. C'est le mécanisme principal de détection des injections SQL, XSS, command injections, path traversals et autres vulnérabilités de type injection. Le modèle de la Taint Analysis repose sur trois concepts clés. Les sources (sources) sont les points d'entrée des données non fiables : paramètres HTTP (GET/POST), en-têtes de requête, données de cookie, fichiers uploadés, données de base de données externe. Les sinks (puits) sont les fonctions ou méthodes où l'utilisation de données non fiables peut causer des problèmes de sécurité : requêtes SQL, exécution de commandes système, écriture de fichiers, rendu HTML sans échappement, redirections. Les sanitizers (assainisseurs) sont les fonctions qui transforment ou valident les données de manière à les rendre sûres : préparation de requêtes paramétrées, encodage HTML, validation par liste blanche. L'analyse détecte une vulnérabilité quand elle identifie un chemin de flux de données (taint path) entre une source et un sink, sans qu'un sanitizer approprié n'intervienne sur ce chemin. La qualité d'un outil SAST se mesure en grande partie par sa précision de Taint Analysis : la capacité à suivre les données à travers des appels inter-procéduraux, des structures de données complexes (listes, dictionnaires), et des frameworks spécifiques (ORM, moteurs de templates). La Taint Analysis inter-procédurale (qui suit le flux de données à travers les appels de fonction) est computationnellement coûteuse et source de faux positifs. Les outils doivent équilibrer profondeur d'analyse et performance : les scans complets peuvent prendre plusieurs heures sur des codebases importants, tandis que des analyses incrémentielles (sur les fichiers modifiés) peuvent s'exécuter en quelques minutes dans un IDE.