[inria-00292049, v1] Comment gagner confiance en C ?

Manuscrit auteur, publié dans "Technique et Science Informatiques (TSI) 26, 9 (2007) 1195-1200" DOI : 10.3166/TSI.26.1195-1200CommentgagnerconfianceenC?SandrineBlazyENSIIE CEDRIC,1squaredelarésistance,91025ÉvrycedexSandrine.Blazy@ensiie.frLe langage C est très utilisé dans l’industrie, en particulier pour développer dulogiciel embarqué. Un des intérêts de ce langage est que le programmeur contrôle lesressources nécessaires à l’exécution des programmes (par exemple, la géographie delamémoire,ouencorelesallocationsetlibérationsdecellulesdelamémoire),quideplusinfluentsurlesperformancesdesprogrammes.DesprogrammesCpeuventainsiêtreparticulièrementefficaces,maisleprixàpayerestuneffortdeprogrammation.Parexemple, il peut être nécessaire d’utiliser l’arithmétique de pointeurs afin de calculerl’adressed’unecelluledelamémoire.Cependant, le fait que le langage C laisse davantage de liberté au programmeurfavorise également la présence d’erreurs à l’exécution des programmes, erreurs quipeuvent être difficiles à détecter. Le dépassement des bornes de tableaux, ou encorela non initialisation de variables sont des exemples de telles erreurs, qui peuvent nepas se produire dans des langages plus récents tels que Java. D’autres d’erreurs àl’exécutionproviennentdeconversionsdetypesetplusgénéralementdel’absencedesûretédutypagepourC.DessolutionsexistentpourassurersurdulogicielCdesrésultatsdesûretécompa rables à ceux garantis par les compilateurs d’autres langages plus récents. ...