This experience report describes the choice of OCaml as the implementation language for Frama-C, a framework for the static analysis of C programs. OCaml became the implementation language for Frama-C because it is expressive. Most of the reasons listed in the remaining of this article are secondary reasons, features which are not specific to OCaml… (More)
In this paper, we describe the static analysis of the XEN 3.0.3 hypervisor using the Frama-C static analysis tool.
This paper presents a summary of the key results obtained within the " SINARI " project; a French collaborative research project which focuses on developing methods for assessing the dependability and cyber security of the coupled infrastructure made up by the electrical distribution network and its supporting information system and telecommunication… (More)