A SPIN-based approach for detecting vulnerabilities in C programs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

A SPIN-based approach for detecting vulnerabilities in C programs

Résumé

The C language is widely used for developing tools in various application areas, and a number of C software tools are used for critical systems, such as medicine, transport, etc. Correspondingly, the security of such programs should be thoroughly tested, i.e., it is important to develop techniques for detecting vulnerabilities in C programs. In this paper we present an approach for dynamic detection of software vulnerabilities using the SPIN model checker. We discuss how this approach can be implemented in order to detect automatically C code vulnerabilities and illustrate a proposed technique for a number of C programs which are widely used in a number of applications
Fichier non déposé

Dates et versions

hal-01465027 , version 1 (10-02-2017)

Identifiants

  • HAL Id : hal-01465027 , version 1

Citer

Natalia Kushik, Amel Mammar, Ana Rosa Cavalli, Nina Yevtushenko, Edgardo Montes de Oca. A SPIN-based approach for detecting vulnerabilities in C programs. PSSV 2011 : 2nd Workshop on Program Semantics, Specification and Verification : Theory and Applications, Jun 2011, St Petersburg, Russia. pp.131 - 143. ⟨hal-01465027⟩
113 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More