scrub

FROTTER

Le gommage est une plate-forme d'orchestration et d'agrégation pour les outils d'analyse de code statique.

SCRUSH permet aux utilisateurs d'exécuter plusieurs outils d'analyse de code statique, de collecter les résultats et de les exporter vers des outils externes. Les résultats de chaque analyseur sont post-traités à un format d'avertissement standard qui fournit des informations sur l'emplacement de l'avertissement ainsi qu'une brève description de l'avertissement. Ces avertissements peuvent ensuite examiner et évaluer par des développeurs expérimentés pour déterminer leur mérite.

Une description complète des origines de Scrub, écrite par l'auteur original (Gerard Holzmann), peut être trouvée ici.

Documentation