A SPIN-based approach for detecting vulnerabilities in C programs - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Automatic control and computer sciences Année : 2012

A SPIN-based approach for detecting vulnerabilities in C programs

Résumé

An approach is presented for the detection of software vulnerabilities using the widely known SPIN model checker. Classes of vulnerabilities in C programs that can be detected using the presented approach are discussed. We present the results of experiments on detecting vulnerabilities in student-made software tools implementing array processing algorithms.

Dates et versions

hal-00772243 , version 1 (10-01-2013)

Identifiants

Citer

Natalia Kushik, Amel Mammar, Ana Rosa Cavalli, Nina Yevtushenko, Willy Ronald Jimenez Freitez, et al.. A SPIN-based approach for detecting vulnerabilities in C programs. Automatic control and computer sciences, 2012, 46 (7), pp.379-386. ⟨10.3103/S0146411612070115⟩. ⟨hal-00772243⟩
127 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More