Several public support options are available. Note that help from these channels is mostly provided by the Frama-C community – researchers, engineers, teachers, and more – during their spare time.
- The Stack Overflow website, where questions should be labeled with the frama-c tag. There also exists a general discussion list.
- The bug
tracking system. To submit a new bug, you must open an account
on the bts.
- The Frama-C wiki is accessible. To edit it, you must open an account on the bts.
- The Frama-C blog will keep you informed on what is going on within Frama-C.
Commercial support and licenses
Two options are available to support existing Frama-C releases, early looks at new features, and access to proprietary plugins:
- if you intend to develop a research action about source code analysis techniques and their applications, you can contact email@example.com and start a discussion about research funding solutions or research contracts with CEA
- if you intend to evaluate or deploy Frama-C as part of an industrial code validation process, and require technical support, you can contact TrustInSoft at firstname.lastname@example.org.
Manuals and tutorials
ACSL Specification Language
A short description of each plug-in can be found in the Plug-ins page.
- A list of publications related to Frama-C is maintained on the wiki.
- A list of available positions for working on Frama-C is maintained on the wiki.
- Slides and code examples from the Frama-C training workshop held on October 2010 in Berlin.
- A draft version of the ISO C99 standard.
- (in French) Xerox Formation includes training courses on Frama-C in its offer.