%0 Conference Proceedings %T Software architecture of code analysis frameworks matters: The Frama-C example %+ Département Ingénierie Logiciels et Systèmes (DILS) %A Signoles, J. %Z Conference of 2nd International Workshop on Formal Integrated Development Environment, F-IDE 2015 ; Conference Date: 22 June 2015; Conference Code:117530 %< avec comité de lecture %B Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015 %C Oslo, Norway %Y Mery D. %Y Dubois C. %Y Masci P. %I Open Publishing Association %V 187 %P 86-96 %8 2015-06-22 %D 2015 %R 10.4204/EPTCS.187.7 %K Integrodifferential equations %K Software architecture %K Web services %K Code analysis %K Collaborative analysis %K Collaborative framework %K Experience report %K Industrial settings %K Maintenance process %K Plug-ins %K C (programming language) %Z Computer Science [cs]Conference papers %X 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. %G English %L cea-01836514 %U https://cea.hal.science/cea-01836514 %~ CEA %~ OPENAIRE %~ DRT %~ CEA-UPSAY %~ UNIV-PARIS-SACLAY %~ CEA-UPSAY-SACLAY %~ LIST %~ GS-COMPUTER-SCIENCE