SANTE

The SANTE tool: value analysis, program slicing and test generation for C program debugging. 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.

This software is also peer reviewed by journal TOMS.


References in zbMATH (referenced in 4 articles , 1 standard article )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. L├ęchenet, Jean-Christophe; Kosmatov, Nikolai; Le Gall, Pascale: Cut branches before looking for bugs: certifiably sound verification on relaxed slices (2018)
  2. Kirchner, Florent; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien; Yakobowski, Boris: Frama-C: a software analysis perspective (2015) ioport
  3. Kosmatov, Nikolai; Williams, Nicky; Botella, Bernard; Roger, Muriel; Chebaro, Omar: A lesson on structural testing with PathCrawler-online.com (2012) ioport
  4. Chebaro, Omar; Kosmatov, Nikolai; Giorgetti, Alain; Julliand, Jacques: The SANTE tool: value analysis, program slicing and test generation for C program debugging (2011) ioport