Mon, 14 Oct 2019 00:48:30 UTC

Information for RPM frama-c-15.0-8.fc28.src.rpm

ID12760055
Nameframa-c
Version15.0
Release8.fc28
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 Time2018-02-07 10:09:03 GMT
Size21105163
4a9ca531374ef9cd7df79a0521b08a74
LicenseLGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions)
Buildrootf28-build-11355124-852010
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
alt-ergo
coq
desktop-file-utils
emacs
graphviz
gtksourceview2-devel
libgnomecanvas-devel
libtool
ltl2ba
ocaml
ocaml-apron-devel
ocaml-findlib-devel
ocaml-lablgtk-devel
ocaml-num-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 18 of 18
Name ascending sort Size
acsl-implementation-Phosphorus-20170501.pdf1329573
acsl.el66
aorai-manual-Phosphorus-20170501.pdf523600
e-acsl-manual_Phosphorus-20170501.pdf934576
frama-c-1.6.licensing665
frama-c-15-safe-string.patch3092
frama-c-Phosphorus-20170501.tar.gz7431131
frama-c-Phosphorus-20170501_api.tar.gz5807640
frama-c-gui.appdata.xml1697
frama-c-gui.desktop184
frama-c-icons.tar.xz33748
frama-c.spec19519
metrics-manual-Phosphorus-20170501.pdf792908
plugin-development-guide-Phosphorus-20170501.pdf1356760
rte-manual-Phosphorus-20170501.pdf672996
user-manual-Phosphorus-20170501.pdf1333888
value-analysis-Phosphorus-20170501.pdf998388
wp-manual-Phosphorus-20170501.pdf1357353
Component of No Buildroots