package frama-clang

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

Install

Dune Dependency

Authors

Maintainers

Sources

frama-clang-0.0.14.tar.bz2
sha256=fa6b471814007322fcb4ea56addbe94cd49c570e17b1f33d633bc5e3fc8e0913

Description

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

Dependencies (9)

  1. conf-cmake
  2. conf-clang os-family = "debian"
  3. conf-libclang >= "11.0.0"
  4. conf-llvm >= "11.0.0"
  5. camlp-streams
  6. camlp5
  7. zarith >= "1.5"
  8. frama-c >= "27.0~" & < "28.0~"
  9. dune >= "3.2"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.