Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Automated Software Engineering Année : 2013

Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses

Pascal Cuoq
  • Fonction : Auteur
  • PersonId : 940733
Nikolai Kosmatov
  • Fonction : Auteur
  • PersonId : 940734
Anne Pacalet
  • Fonction : Auteur
  • PersonId : 940736
Nicky Williams
  • Fonction : Auteur
  • PersonId : 940737
Boris Yakobowski

Résumé

While the development of one software verification tool is often seen as a difficult task, the realization of a tool combining various verification techniques is even more complex. This paper presents an innovative tool for verification of C programs called Sante (Static ANalysis and TEsting). We show how several tools based on heterogeneous techniques such as abstract interpretation, dependency analysis, program slicing, constraint solving and test generation can be combined within one tool. We describe the integration of these tools and discuss particular aspects of each underlying tool that are beneficial for the whole combination.
Fichier non déposé

Dates et versions

hal-00818147 , version 1 (26-04-2013)

Identifiants

Citer

Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, et al.. Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses. Automated Software Engineering, 2013, 21 (1), pp.107-143. ⟨10.1007/s10515-013-0127-x⟩. ⟨hal-00818147⟩
287 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More