package frama-c

  1. Overview
  2. Docs

LICENSE.html

LICENSE

Most sources are LGPLv2.1, with some isolated exceptions for
external libraries modified for Frama-C (BSD, QPL) in src/libraries

Each source file contains its own header. See the licenses directory for the
complete text of each license.

Documentation is licensed under CC-BY-SA 4.0. See doc/LICENSE for more
information
OCaml

Innovation. Community. Security.