Skip to Main content Skip to Navigation
New interface
Conference papers

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging

Omar Chebaro 1, 2 Nikolai Kosmatov 2 Alain Giorgetti 1, 3 Jacques Julliand 1 
2 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
3 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : This short paper presents a prototype tool called SANTE (Static ANalysis and TEsting) implementing an original method combining value analysis, program slicing and structural test generation for verification of C programs. First, value analysis is called to generate alarms when it can not guarantee the absence of errors. Then the program is reduced by program slicing. Alarm-guided test generation is then used to analyze the simplified program(s) in order to confirm or reject alarms.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Alain Giorgetti Connect in order to contact the contributor
Submitted on : Tuesday, September 13, 2011 - 9:07:15 AM
Last modification on : Thursday, September 1, 2022 - 11:11:10 AM
Long-term archiving on: : Wednesday, December 14, 2011 - 2:21:22 AM


Files produced by the author(s)



Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. 5th International Conference on Tests & Proofs, Jun 2011, Zurich, Switzerland. pp.78-83, ⟨10.1007/978-3-642-21768-5⟩. ⟨inria-00622904⟩



Record views


Files downloads