Skip to Main content Skip to Navigation
Theses

Decision procedures for vulnerability analysis

Abstract : Formal methods have repeatedly demonstrated their relevance in search and analysis of bugs. If current methods are well suited to critical code analysis where mistakes are not a possible option, they are less interested on non-critical programs. Indeed, on such programs bugs are too numerous and only the most serious are corrected, a practice that does not fit well with today's tools.The aim of this thesis is therefore to allow such a gradation in the context of formal methods, which involves developing new decision procedures tailored to vulnerability analysis.
Document type :
Theses
Complete list of metadata

Cited literature [186 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02988031
Contributor : Abes Star :  Contact
Submitted on : Wednesday, November 4, 2020 - 2:06:09 PM
Last modification on : Tuesday, November 24, 2020 - 4:00:15 PM
Long-term archiving on: : Friday, February 5, 2021 - 6:29:57 PM

File

FARINIER_2020_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02988031, version 1

Collections

Citation

Benjamin Farinier. Decision procedures for vulnerability analysis. Performance [cs.PF]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM013⟩. ⟨tel-02988031⟩

Share

Metrics

Record views

163

Files downloads

61