Polyspace Bug Finder

Identification des défauts logiciels via l’analyse statique