Le CNES utilise un soft comme ca pour verifier les softs embarques.
Je ne me rappelle plus du nom, mais je pourrais retrouver si ca interesse
quelqu'un.
Leur outil n'avait pas besoin d'annotations du code, par contre il fallait
preciser un processeur cible je crois.
J'avais lu un rapport issu de leur outil.
[^] # Re: Précision
Posté par zaurus . En réponse à la dépêche Sparse repasse à l'attaque. Évalué à 2.
Je ne me rappelle plus du nom, mais je pourrais retrouver si ca interesse
quelqu'un.
Leur outil n'avait pas besoin d'annotations du code, par contre il fallait
preciser un processeur cible je crois.
J'avais lu un rapport issu de leur outil.