Section D.3. Other SELinux Tools

D.3. Other SELinux Tools

A number of other tools are being developed by various organizations. These tools are available as open source projects. They are in various levels of development and primarily aimed at aiding in the development or generation of SELinux policy.

Polgen/Slat	(www.mitre.org/tech/selinux/) Tools developed by the MITRE Corporation. Polgen can be used to automatically generate policy. Slat performs information flow analysis between types.
SLIDE	(http://sourceforge.net/projects/selinux-ide) A new open source project by Tresys Technology to develop an integrated development environment (IDE) that covers all aspects of SELinux policy development. The goal is to provide a single environment to develop, modify, analyze, and test SELinux policies.
Virgil	(http://sourceforge.net/projects/sepolicy-virgil A policy generation tool developed by IBM. It is a utility that generates SELinux policy automatically through a GUI. It is designed to provide a quick and easy policy for services where there is not yet a developed policy.
seedit	(http://sourceforge.net/projects/seedit) A policy editor originally developed by Hitachi Software. It provides a Web-based GUI for generating new policy statements. It attempts to ease the development of policy by generalizing some of the policy details and providing a point-and-click interface.