Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example

@inproceedings{Signoles2015SoftwareAO,
  title={Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example},
  author={Julien Signoles},
  booktitle={F-IDE},
  year={2015}
}
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… Expand
3 Citations
Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis
  • 6
  • PDF
Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014
  • 18
  • PDF

References

SHOWING 1-10 OF 30 REFERENCES
Frama-C: A software analysis perspective
  • 266
  • PDF
Software architecture in practice
  • 5,245
  • Highly Influential
  • PDF
Combining Analyses for C Program Verification
  • 38
  • PDF
Foncteurs impératifs et composés: la notion de projets dans Frama-C
  • 10
Documenting software architectures: views and beyond
  • 1,536
  • Highly Influential
...
1
2
3
...