SYSTEM WARNING: 'session_name(): Cannot change session name when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 231
SYSTEM WARNING: 'session_set_cookie_params(): Cannot change session cookie parameters when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 232
Is on-topic in this wiki anything that may be of help to others users of Frama-C and related tools: tips, changes that you have noticed, workarounds, etc. If it should have been in the manual, put it here. If it's too minute, platform-specific, or temporary to be a good fit for the manual, put it here. Your goal should be to make a wiki so clear and functional that it puts the authors of Frama-C's various manuals to shame.
Do not be afraid to reorganize the words of others if you feel that makes the wiki more useful as a whole. They agreed to let you do that when they chose to participate, and so do you.
Current and old releases of Frama-C are available on this page. It contains the official installation instructions for supported systems.
Otherwise, this Frama-C wiki page contains extra instructions for compiling from source on non-supported platforms. It also contains instructions for compiling older releases.
External plug-ins that you may find useful are available. The plug-ins currently described are Jessie, Celia and Werror.
Open positions in the Frama-C team are available.