Si je suis bien la conversation il y a une confusion entre deux choses:
Les fonctions (pour faire simple) d'une bibliothèque qui ne sont jamais citées par une partie du code. Cela se teste en lisant le code.
Les fonctions d'une bibliothèque qui sont citées mais dont on peut démontrer qu'elles ne seront jamais vraiment appelées pendant l'exécution du programme.
Dans le premier cas c'est un problème relativement facile à résoudre. Dans le second, il y a bien-sûr des heuristiques utiles qui permettent de traiter plein de cas intéressants en pratique, mais c'est impossible à faire "parfaitement" puisque c'est plus difficile que le problème de l'arrêt.
[^] # Re: À boire et à manger
Posté par Michaël (site web personnel) . En réponse au journal Un développeur qui dénonce. Évalué à 3.
Si je suis bien la conversation il y a une confusion entre deux choses:
Les fonctions (pour faire simple) d'une bibliothèque qui ne sont jamais citées par une partie du code. Cela se teste en lisant le code.
Les fonctions d'une bibliothèque qui sont citées mais dont on peut démontrer qu'elles ne seront jamais vraiment appelées pendant l'exécution du programme.
Dans le premier cas c'est un problème relativement facile à résoudre. Dans le second, il y a bien-sûr des heuristiques utiles qui permettent de traiter plein de cas intéressants en pratique, mais c'est impossible à faire "parfaitement" puisque c'est plus difficile que le problème de l'arrêt.