Chronique : Comment gagner la confiance en C ?
Le langage C est très utilisé dans l’industrie, en particulier pour développer du
logiciel embarqué. Un des intérêts de ce langage est que le programmeur contrôle les
ressources nécessaires à l’exécution des programmes (par exemple, la géographie de
la mémoire, ou encore les allocations et libérations de cellules de la mémoire), qui de
plus influent sur les performances des programmes. Des programmes C peuvent ainsi
être particulièrement efficaces, mais le prix à payer est un effort de programmation. Par
exemple, il peut être nécessaire d’utiliser l’arithmétique de pointeurs afin de calculer
l’adresse d’une cellule de la mémoire.
Cependant, le fait que le langage C laisse davantage de liberté au programmeur
favorise également la présence d’erreurs à l’exécution des programmes, erreurs qui
peuvent être difficiles à détecter. Le dépassement des bornes de tableaux, ou encore la
non-initialisation de variables sont des exemples de telles erreurs, qui peuvent ne pas
se produire dans des langages plus récents tels que Java. D’autres erreurs à l’exécution
proviennent de conversions de types et plus généralement de l’absence de sûreté du
typage pour C.
Des solutions existent pour assurer sur du logiciel C des résultats de sûreté compa-
rables à ceux garantis par les compilateurs d’autres langages plus récents.
[...]
S.BLAZY
Français
|
