Experience Report:OCaml for an Industrial-Strength Static Analysis Framework

摘要

This experience report describes the choice of OCaml as the imple-mentation language for Frama-C, a framework for the static anal-ysis 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 (modularity, availability of a C parser, control over the use of resources... ) but could have prevented the use of OCaml for this project if they had been missing.