Hello is a plug-in for Frama-C, a platform for source code analysis. It is an example plug-in which is the companion of the Hello tutorial from the plug-in development guide.
Assuming Opam and Frama-C are already installed on your system, you can install Hello by downloading this repository as an archive and run (from inside frama-c-hello/
):
opam pin add frama-c-hello .
opam install frama-c-hello