J'en ai entendu parler lors d'un stage où la boite avait de grosse contrainte de fiabilité.
En gros d'après ce que j'en ai compris, ce logiciel vérifie le domaine des variables et s'assure qu'elles restent dans un certain intervalle, ainsi que le dereferencement de pointeur null, entre autres.
D'après la pub sur leur site, cela permet de vérifier statiquement des erreurs qui ne se voient normalement qu'à la compilation.
Il y a plus de détails sur leur site avec des livres blancs expliquant leur technique : http://www.polyspace.com/white_papers.htm(...)
Attention, il faut fournir quelques informations, mais tu peux mettre des informations bidons, cela marche aussi.
[^] # Re: pas une preuve
Posté par djano . En réponse au journal couverture de code. Évalué à 1.
Il s'agit de polyspace:
http://www.polyspace.com(...)
J'en ai entendu parler lors d'un stage où la boite avait de grosse contrainte de fiabilité.
En gros d'après ce que j'en ai compris, ce logiciel vérifie le domaine des variables et s'assure qu'elles restent dans un certain intervalle, ainsi que le dereferencement de pointeur null, entre autres.
D'après la pub sur leur site, cela permet de vérifier statiquement des erreurs qui ne se voient normalement qu'à la compilation.
Il y a plus de détails sur leur site avec des livres blancs expliquant leur technique : http://www.polyspace.com/white_papers.htm(...)
Attention, il faut fournir quelques informations, mais tu peux mettre des informations bidons, cela marche aussi.