Fri, 18 Oct 2019 13:30:43 UTC

Information for RPM frama-c-1.14-2.fc27.src.rpm

ID9664346
Nameframa-c
Version1.14
Release2.fc27
Epoch
Archsrc
SummaryFramework for source code analysis of C software
DescriptionFrama-C is a suite of tools dedicated to the analysis of the source code of software written in C. 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.
Build Time2017-05-12 23:31:26 GMT
Size18520588
3b958a47f4b0a8af3d26d45bd255a6db
LicenseLGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions)
Buildrootf27-ocaml-8536250-750580
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
alt-ergo
coq
desktop-file-utils
emacs
graphviz
gtksourceview2-devel
libgnomecanvas-devel
ltl2ba
ocaml
ocaml-apron-devel
ocaml-findlib-devel
ocaml-lablgtk-devel
ocaml-ocamldoc
ocaml-ocamlgraph-devel
ocaml-zarith-devel
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
why3
xemacs-nox
xemacs-packages-base
z3
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 16 of 16
Name ascending sort Size
acsl-implementation-Silicon-20161101.pdf1328894
acsl.el66
aorai-manual-Silicon-20161101.pdf333739
frama-c-1.6.licensing665
frama-c-Silicon-20161101.tar.gz6689893
frama-c-Silicon-20161101_api.tar.gz5331401
frama-c-gui.appdata.xml1697
frama-c-gui.desktop184
frama-c-icons.tar.xz33748
frama-c.spec17879
metrics-manual-Silicon-20161101.pdf793006
plugin-development-guide-Silicon-20161101.pdf1379976
rte-manual-Silicon-20161101.pdf673056
user-manual-Silicon-20161101.pdf1334255
value-analysis-Silicon-20161101.pdf991979
wp-manual-Silicon-20161101.pdf1005967
Component of No Buildroots