Behind the scenes in SANTE: a combination of static and dynamic analyses |
| |
Authors: | Omar Chebaro Pascal Cuoq Nikolai Kosmatov Bruno Marre Anne Pacalet Nicky Williams Boris Yakobowski |
| |
Affiliation: | 1. ASCOLA (EMN-INRIA, LINA), école des Mines de Nantes, 44307, Nantes, France 2. CEA, LIST, Software Reliability Laboratory, PC 174, 91191, Gif-sur-Yvette, France 3. INRIA-Sophia-Antipolis, BP 93, 06902, Sophia Antipolis, France 4. SafeRiver, 55 rue Boissonade, 75014, Paris, France
|
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|