mirror of
https://github.com/SELinuxProject/setools
synced 2025-02-15 19:48:06 +00:00
158 lines
3.8 KiB
Plaintext
158 lines
3.8 KiB
Plaintext
SETools - Policy analysis tools for SELinux
|
|
setools@tresys.com, https://github.com/TresysTechnology/setools3/wiki
|
|
|
|
|
|
TABLE OF CONTENTS
|
|
-----------------
|
|
|
|
1. Overview
|
|
2. Installation
|
|
2.1. building SETools
|
|
2.2. setup.py flags
|
|
3. Features
|
|
3.1. graphical tools
|
|
3.2. command-line tools
|
|
3.3. analysis libraries
|
|
4. Obtaining SETools
|
|
5. Reporting bugs
|
|
6. Copyright license
|
|
|
|
|
|
1. Overview
|
|
-----------
|
|
|
|
This file describes SETools, developed by Tresys Technology. SETools
|
|
is a collection of graphical tools, command-line tools, and libraries
|
|
designed to facilitate SELinux policy analysis. Please consult the
|
|
KNOWN-BUGS file prior to reporting bugs.
|
|
|
|
|
|
2. Installation
|
|
---------------
|
|
|
|
SETools uses the Python setuptools build system to build, and install.
|
|
As such it contains a setup.py script that will install the setools.
|
|
|
|
SETools requires the following development packages for building:
|
|
Python 2.7
|
|
setuptools
|
|
|
|
To build SETools' graphical tools, the following packages are required:
|
|
TBD
|
|
|
|
To run SETools, the following packages are required:
|
|
Python 2.7
|
|
sepolgen
|
|
NetworkX
|
|
SETools 3 (git version) libraries w/Python SWIG wrappers
|
|
|
|
|
|
2.1. building SETools
|
|
---------------------
|
|
|
|
Unpack the official distribution or check out the git repository,
|
|
and perform the following:
|
|
|
|
$ cd setools
|
|
$ python setup.py build
|
|
$ python setup.py install
|
|
|
|
This will put the applications in /usr/bin, data files in /usr/share/setools,
|
|
and libraries in /usr/lib/pythonX.Y/site-packages/libapol.
|
|
|
|
|
|
2.2. setup.py flags
|
|
-------------------
|
|
|
|
Please see `python setup.py --help` or `python setup.py install --help`
|
|
for up-to-date information on build and install options, respectively.
|
|
|
|
|
|
2.3 unit tests
|
|
--------------
|
|
|
|
One goal for SETools is to provide confidence in the validity of the
|
|
output for the tools. The unit tests for SETools can be run with
|
|
the following command
|
|
|
|
$ python setup.py test
|
|
|
|
|
|
3. Features
|
|
-----------
|
|
|
|
SETools encompasses a number of tools, both graphical and command
|
|
line, and libraries. Many of the programs have help files accessible
|
|
during runtime.
|
|
|
|
|
|
3.1. graphical tools
|
|
--------------------
|
|
|
|
TBD
|
|
|
|
|
|
3.2. command-line tools
|
|
-----------------------
|
|
|
|
Some tools in the SETools suite may be run in a terminal
|
|
environment.
|
|
|
|
sedta:
|
|
A tool to perform domain transition analyses on an SELinux policy.
|
|
|
|
seinfo:
|
|
A tool to quickly get a list of components from an SELinux policy.
|
|
|
|
seinfoflow:
|
|
A tool to perform information flow analyses on an SELinux policy.
|
|
|
|
sesearch:
|
|
A tool to search rules (allow, type_transition, etc.)
|
|
within an SELinux policy.
|
|
|
|
|
|
3.3. analysis libraries
|
|
-----------------------
|
|
|
|
The SETools support libraries are available for use in third-party
|
|
applications. Although they are not officially supported (and thus
|
|
subject to change between SETools releases), we will do our best to
|
|
maintain API stability.
|
|
|
|
|
|
4. Obtaining SETools
|
|
--------------------
|
|
|
|
Official releases of SETools may be freely downloaded from TBD.
|
|
|
|
SETools source code is maintained within a github repository.
|
|
From the command line do:
|
|
|
|
$ git clone https://github.com/TresysTechnology/setools.git
|
|
|
|
You may also browse the github repository at
|
|
https://github.com/TresysTechnology/setools.
|
|
|
|
SETools included in most Linux distributions which enable
|
|
SELinux usage, such as Fedora, Red Hat Enterprise Linux, Gentoo,
|
|
and Debian.
|
|
|
|
|
|
5. Reporting bugs
|
|
-----------------
|
|
|
|
TBD
|
|
|
|
|
|
6. Copyright license
|
|
--------------------
|
|
|
|
The intent is to allow free use of this source code. All programs'
|
|
source files are copyright protected and freely distributed under the
|
|
GNU General Public License (see COPYING.GPL). All library source
|
|
files are copyright under the GNU Lesser General Public License (see
|
|
COPYING.LGPL). All files distributed with this package indicate the
|
|
appropriate license to use with that file. Absolutely no warranty is
|
|
provided or implied.
|