Mac OS X Leopard installation for Frama-C Lithium

You need to be familiar with Unix to make use of this binary distribution. Frama-C is not at this time packaged as an application bundle. Mac OS X 10.5 (Leopard) is required. The binaries are known not to work on Mac OS X 10.4 (Tiger).

From the README:

This is the binary release of Frama-C for Mac OS X. It contains libraries which are provided as binaries as a convenience only. These libraries are covered by their respective licenses. The SVN repository of MacPorts of Dec 10, 2008 should be considered as the reference for this list of libraries. The MacPorts SVN repository contains links to their source code, for those libraries which make this a condition to re-distribution.

In addition to libraries from MacPorts, this package contains APRON 0.9.9 and alt-ergo 0.8.

Please untar the archive as root in /
It will not work from another location. You should probably install the included DejaVu fonts (see the first bug in the following list). You should also put the directory /usr/local/Frama-C/bin in your path.
Once all this is done, you are set up.

To play the tutorial, type:

frama-c-gui \
       -general-font "DejaVu Sans" \
       -monospace-font "DejaVu Sans Mono" \
       -slevel 10 first.c

Some known bugs specific to this binary distribution: