frama-clangversion
Frama-C plug-in based on Clang for parsing C++ files
This Frama-C plug-in parse C++ files that may content ACSL++ annotations.
| Tags | formal specification C++ plugins ACSL ACSL++ |
|---|---|
| Author | Virgile Prevosto |
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://frama-c.com/fc-plugins/frama-clang.html |
| Issue Tracker | https://git.frama-c.com/pub/frama-clang |
| Maintainer | Virgile.Prevosto@cea.fr |
| Dependencies |
|
| Source [http] | https://git.frama-c.com/pub/frama-clang/-/archive/0.0.15/frama-clang-0.0.15.tar.bz2 md5=10709f16660d4c58a0923e3133b7290c sha512=6b6358b01188c590e8aa5cfcb7a8f0876c5a3e56fd900167a98f573c42e0d15603757455fd2d8d80ad4129cb22920eb07f81e3e0638ebb963bbe10eda4cb7fb6 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/frama-clang/frama-clang.0.0.15/opam |
No package is dependent
