package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

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

Authors

Maintainers

F

francois.bobot@cea.fr

Sources

frama-c-20.0-Calcium.tar.gz

sha256=167ba128cda0974a33fbf36a5634a9f520f8cad9dbcc3ab590d4cb264cb0bb0d

md5=47b9a0a246ae172384dd927516ab184c

Description

Tags

deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification

Published: 04 Dec 2019

Dependencies (16)

why3 >= "1.2.0" & < "1.3.0"
yojson
conf-graphviz post
alt-ergo
alt-ergo-free
conf-gtksourceview3
lablgtk3-sourceview3
lablgtk3 >= "3.0.beta4" & os != "macos"
conf-gtksourceview
conf-gnomecanvas
lablgtk >= "2.18.2"
conf-autoconf build
zarith
ocamlfind
ocamlgraph >= "1.8.8" & < "1.9~"
ocaml >= "4.05.0" & (< "4.08.0~" | >= "4.08.1")

Dev Dependencies (1)

conf-time with-test

Used by (2)

pilat < "1.2"
why < "2.32"

Conflicts (3)

On This Page

Description
Dependencies (16)
Dev Dependencies (1)
Used by (2)
Conflicts (3)