{5} Assigned, Active Tickets by Owner (Full Description) (4 matches)

Create a framework policy analysis module. This module will perform information flow analysis to assist the policy author in creating policy that adheres to good security engineering principles. Additionally, it should flag certain conditions which may be obscure.

Some example conditions that should be picked up by the analysis module: -4 or more domains using unix_stream_sockets in series when the expectation is that these provide one-way flow.

When trying to build a CDS Framework policy, I get the following error:

make[1]: *** No rule to make target example.te', needed by tmp/generated_definitions.conf'. Stop. make: *** [policy] Error 2

This is using CDS Framework 2.0.0-1 with SLIDE 1.2.4 on Fedora Eclipse 3.3 under IcedTea? on Fedora 8 with Reference Policy 20070928 (downloaded tarball from oss).

I assume that CDS Framework is somehow seeing the example.te in /doc, as there is no example module in /policy. It looks like the example module is being erroneously added to modules.conf. Creating a project in SLIDE with the same Reference Policy on the same machine does not have this problem, as it builds properly and doesn't include example in the modules.conf.