[Bug 592579] Review Request: Frama-c - Framework for source code analysis of C software

[bugzilla at redhat.com]

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=592579

--- Comment #37 from Richard W.M. Jones <rjones at redhat.com> 2010-07-16 18:15:15 EDT ---
I believe the way to resolve this is to duplicate this bug
against selinux-policy component and ask them to write
and include a policy.

This should be done, but waiting for the policy doesn't
need to hold up the review.

-- 
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.