Trouveriez-vous utile d'avoir un outil qui, en lisant un programme (disons dans un langage comme C/C++/Fortran, voire C#/Java), vous fournisse pour chaque procédure des conditions raisonnables d'utilisation, par exemple garantissant l'absence de comportements arithmétiques indéfinis, la terminaison de la fonction, voire l'absence d'erreurs de pointeurs ? (du style : p!=NULL && n > 0 && i < n)

Avez-vous des suggestions sur ce que vous aimeriez en la matière ?