Fri, 24 Jan 2020 10:28:13 UTC

Information for RPM frama-c-1.10-24.fc22.src.rpm

ID6490306
Nameframa-c
Version1.10
Release24.fc22
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 Time2015-06-22 22:10:07 GMT
Size13,707,396
d564ae6b7667ea0a67b8a1971e3cd543
LicenseLGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions)
Buildrootf22-build-3565014-495154
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-findlib
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
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 18 of 18
Name Size ascending sort
acsl.el66
frama-c-gui.desktop184
frama-c-1.6.licensing665
frama-c-gui.appdata.xml1,231
frama-c-why3.patch5,725
frama-c-ocamlgraph.patch9,334
frama-c.spec16,498
frama-c-icons.tar.xz33,748
aorai-manual-Neon-20140301.pdf345,637
rte-manual-Neon-20140301.pdf559,023
metrics-manual-Neon-20140301.pdf675,400
wp-manual-Neon-20140301.pdf829,944
value-analysis-Neon-20140301.pdf977,711
acsl-implementation-Neon-20140301.pdf1,228,460
plugin-development-guide-Neon-20140301.pdf1,267,012
user-manual-Neon-20140301.pdf1,455,202
frama-c-Neon-20140301.tar.gz3,122,492
frama-c-Neon-20140301_api.tar.gz5,030,476
Component of No Buildroots