Dans ce workshop, nous mettrons, entre autres en évidence certaines de ces normes et verrons comment CodeSonar, un outil d'analyse statique de CodeSecure basé sur l'interprétation abstraite et le Deep Flow, peut être utilisé pour s'y conformer à ces normes et standards.