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: nob...@fedoraproject.org ReportedBy: msra...@gmail.com QAContact: extras...@fedoraproject.org CC: nott...@redhat.com, fedora-package-rev...@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. _______________________________________________ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review
