[Bug 592579] New: Review Request: Frama-c - Framework for source code analysis of C software
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: Frama-c - Framework for source code analysis of C software
https://bugzilla.redhat.com/show_bug.cgi?id=592579
Summary: Review Request: Frama-c - Framework for source code
analysis of C software
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: low
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: msrader(a)gmail.com
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com, fedora-package-review(a)redhat.com
Estimated Hours: 0.0
Classification: Fedora
Spec URL: http://tpath3.dnsalias.net/openproofs/frama-c.spec
SRPM URL: http://tpath3.dnsalias.net/openproofs/frama-c-1.4-1.fc12.src.rpm
Description:Frama-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.
There are 6 warnings. 3 deal with the QPL License with exceptions. 3 deal
with unstripped binaries. At least one of the binaries is a loadable library
and can not be stripped. I suspect the other two are also.
This is an attempt to move the maintenance of this package from Alan Dunn, and
is done at his request. This replaces bug 564520 and the people who are
interested should read https://bugzilla.redhat.com/show_bug.cgi?id=564520 for
more information.
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.