title: Programming languages — Avoiding vulnerabilities in programming languages — Part 6: Vulnerability descriptions for programming language SPARK
title: Langages de programmation — Conduite pour éviter les vulnérabilités dans les langages de programmation — Partie 6: Descriptions des vulnérabilités pour le langage de programmation SPARK