Frama-C

Introduction

Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs. Frama-C has been developed by Commissariat à l'Énergie Atomique et aux Énergies Alternatives and Inria. Frama-C enables the analysis of C programs without executing them.

Usage

Compute Systems Invocation Version(s)
Red Hat Linux (64-bit) % /util/bin/frama-c
% /util/bin/frama-c.byte
% /util/bin/frama-c-config
% /util/bin/ptests.opt
 		Magnesium-20151002 (default)

Notes

People

  1. Bharat Jayaraman, instructor.

References

  1. https://en.wikipedia.org/wiki/Frama-C
  2. http://frama-c.com/