package frama-c

Overview
No Docs

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the static 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-Fluorine-20130601.tar.gz

sha256=137006b4168933cf412da8b3a35f8b0d0c3bf8d5991b4fcd1b13a9090d9819bf

md5=69eed6b3f649725bf03d8500aaeb20a5

Description

Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Fluorine version.

Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.

Published: 30 Oct 2018

Dependencies (6)

Dev Dependencies

None

Used by (2)

pilat < "1.2"
why != "2.32" & < "2.34"

Conflicts