Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=564520 --- Comment #23 from Mark Rader <[email protected]> 2010-05-01 21:29:34 EDT --- 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 RPM URL: http://tpath3.dnsalias.net/openproofs/frama-c-1.4-1.fc12.x86_64.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 also. -- 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 [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-review
