PolySpace

PolySpace est un logiciel d'analyse statique de programmes permettant de trouver des bugs dans des logiciels sans devoir les exécuter. Il est capable d'analyser des programmes écrits en C, C++ et Ada par interprétation abstraite. Ce logiciel est utilisé dans l…