Fibre (logiciel)
Dans la programmation par ordinateur , la fibre était le nom original donné à un outil particulier qui a marqué les constructions soupçonneuses et non-portatives (IE, probables pour être des bogues) en code source du langage C . Le terme est maintenant appliqué génériquement aux outils qui marquent l'utilisation soupçonneuse dans le logiciel écrit en n'importe quel langage de programmation de . Le de limite fibre-comme le comportement est parfois appliqué au processus de marquer l'utilisation soupçonneuse de la langue . fibre-comme des outils exécuter généralement l'analyse statique du code source .
L'utilisation soupçonneuse inclut des choses comme les variables étant employées avant d'être placé, le condition qui sont toujours vraies/fausses et les calculs dont le résultat est susceptible d'être en dehors de la gamme des valeurs représentables dans le type utilisé.
La limite a été dérivée du nom du peu indésirable de la fibre et du duvet trouvés dans le laines de s de moutons les '.
Plusieurs des formes d'analyse exécutées près fibre-comme des outils sont également exécutées par les compilateurs de linéarisation (dont la motivation principale est de produire d'un code plus de haute qualité), et de tels compilateurs commencent également à soutenir la détection de plusieurs des constructions traditionnellement averties environ par la fibre.
Les auteurs de fibre-comme des outils ont continué à améliorer la gamme des constructions soupçonneuses qui sont détectées. Outils modernes (voir la liste de d'outils pour l'analyse statique de code) exécuter les formes d'analyse que beaucoup de compilateurs de linéarisation typiquement ne font pas, comme l'uniformité de croix-module vérifiant, vérifiant que le code sera portatif à d'autres compilateurs, et soutien des annotations pour spécifier le comportement ou les propriétés prévu du code.
La fibre est apparue la première fois (en dehors de laboratoires de Bell de ) dans la septième version (V7) du d'UNIX du système d'exploitation dans le 1979 . C'était une pièce de PCC, le compilateur C portatif , qui était un deuxième compilateur inclus avec ce système (hormis le compilateur principal de PDP-11 ). La fibre et le PCC ont été développés par le Stephen C. Johnson , qui a également écrit le Yacc d'outil d'analyseur.
Voir également
Liste de d'outils pour l'analyse statique de code .
| Random links: | Ruelles en travers, la Virginie Occidentale | USS Maine (BB-69) | Hugh Kenner | Comptes de revenu national et de produit | Conséquence de Portland ! | Pelusa_(software) |