package frama-clang

  1. Overview
  2. No Docs
Frama-C plug-in based on Clang for parsing C++ files

Install 

dune-project
 Dependency

frama-c.com Edit opam file Versions (7)

Authors

  1. V
    Virgile Prevosto

Maintainers

  1. V
    Virgile.Prevosto@cea.fr

Sources

frama-clang-0.0.19.tar.bz2
md5=8996dd47dcfe196053079be1ffdc1e7a
sha512=7026fae5d2f818d751b960d96838e9c9f3594d1804985f046da65710d0b94ab81f37d7d90303d1b820fdb7d169a59a284a46e5a9d2d5a36675bf6e4bc1ac802a

Description

This Frama-C plug-in parse C++ files that may contain ACSL++ annotations.

Tags

formal specification C++ plugins ACSL ACSL++

Published: 19 Feb 2026

Dependencies (7)

  1. conf-cmake
  2. conf-libclang >= "19" & < "20"
  3. camlp-streams
  4. camlp5
  5. zarith >= "1.5"
  6. frama-c >= "32.0~" & < "33.0~"
  7. dune > "3.13"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None