Software architecture of code analysis frameworks matters: The Frama-C example - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Software architecture of code analysis frameworks matters: The Frama-C example

Résumé

Implementing large software, as software analyzers which aim to be used in industrial settings, requires a well-engineered software architecture in order to ease its daily development and its maintenance process during its lifecycle. If the analyzer is not only a single tool, but an open extensible collaborative framework in which external developers may develop plug-ins collaborating with each other, such a well designed architecture even becomes more important. In this experience report, we explain difficulties of developing and maintaining open extensible collaborative analysis frameworks, through the example of Frama-C, a platform dedicated to the analysis of code written in C. We also present the new upcoming software architecture of Frama-C and how it aims to solve some of these issues.

Dates et versions

cea-01836514 , version 1 (12-07-2018)

Identifiants

Citer

J. Signoles. Software architecture of code analysis frameworks matters: The Frama-C example. Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Jun 2015, Oslo, Norway. pp.86-96, ⟨10.4204/EPTCS.187.7⟩. ⟨cea-01836514⟩
49 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More