No description
Find a file
Stephen Smalley 7b2bee99c1 Add sepolicy-analyze tool.
And also remove the unnecessary references to libselinux for
sepolicy-check, as it has no dependencies on libselinux.
Also enable -Wall -Werror on building all of these tools and
fix up all such errors.

Usage:
$ sepolicy-analyze -e -P out/target/product/<device>/root/sepolicy
or
$ sepolicy-analyze -d -P out/target/product/<device>/root/sepolicy

The first form will display all type pairs that are "equivalent", i.e.
they are identical with respect to allow rules, including indirect allow
rules via attributes and default-enabled conditional rules (i.e. default
boolean values yield a true conditional expression).

Equivalent types are candidates for being coalesced into a single type.
However, there may be legitimate reasons for them to remain separate,
for example:
- the types may differ in a respect not included in the current
analysis, such as default-disabled conditional rules, audit-related
rules (auditallow or dontaudit), default type transitions, or
constraints (e.g. mls), or
- the current policy may be overly permissive with respect to one or the
other of the types and thus the correct action may be to tighten access
to one or the other rather than coalescing them together, or
- the domains that would in fact have different accesses to the types
may not yet be defined or may be unconfined in the policy you are
analyzing (e.g. in AOSP policy).

The second form will display type pairs that differ and the first
difference found between the two types.  This output can be long.

We have plans to explore further enhancements to this tool, including
support for identifying isomorphic types.  That will be required to
identify similar domains since all domains differ in at least their
entrypoint type and in their tmpfs type and thus will never show up as
equivalent even if they are in all other respects identical to each other.

Change-Id: If0ee00188469d2a1e165fdd52f235c705d22cd4e
Signed-off-by: Stephen Smalley <sds@tycho.nsa.gov>
2013-10-31 15:12:32 -04:00
tools Add sepolicy-analyze tool. 2013-10-31 15:12:32 -04:00
access_vectors Update binder-related policy. 2013-03-19 22:48:17 +00:00
adbd.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
Android.mk Make DEFAULT_SYSTEM_DEV_CERTIFICATE available in keys.conf 2013-10-28 13:08:14 -07:00
app.te fix typo 2013-10-25 16:53:37 -07:00
attributes domain.te: Add backwards compatibility for unlabeled files 2013-07-10 18:54:45 -07:00
bluetooth.te Allow bluetooth to write to bluetooth properties 2013-10-29 12:45:10 -07:00
clatd.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
debuggerd.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
device.te Restrict access to /dev/hw_random to system_server and init. 2013-10-03 14:25:15 -07:00
dhcp.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
dnsmasq.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
domain.te Start confining ueventd 2013-10-08 09:43:28 -04:00
drmserver.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
file.te sysfs_devices_system_cpu should be a sysfs_type 2013-10-23 10:42:58 -07:00
file_contexts Introduce controls on wake lock interface 2013-10-03 15:17:32 -07:00
fs_use Support for ocontexts per device. 2012-07-12 10:02:45 -04:00
genfs_contexts Split internal and external sdcards 2013-03-22 15:26:39 -04:00
global_macros racoon policy. 2013-03-22 17:09:26 -07:00
gpsd.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
hci_attach.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
healthd.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
hostapd.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
init.te Only init should be able to load a security policy 2013-07-15 17:16:08 -07:00
init_shell.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
initial_sid_contexts Restore devnull initial sid context. 2012-07-12 10:14:38 -04:00
initial_sids SE Android policy. 2012-01-04 12:33:27 -05:00
installd.te Permit installd to unlink all types of data_file_type. 2013-09-10 11:48:03 -07:00
isolated_app.te Remove duplicated rules between appdomain and isolated_app. 2013-09-13 12:48:10 -04:00
kernel.te Fix more long-tail denials. 2013-09-05 16:45:04 -07:00
keys.conf Make DEFAULT_SYSTEM_DEV_CERTIFICATE available in keys.conf 2013-10-28 13:08:14 -07:00
keystore.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
mac_permissions.xml Add missing seinfo tag from mac_permissions.xml policy. 2013-03-28 06:48:27 -04:00
media_app.te Confine all app domains, but make them permissive for now. 2013-10-23 13:12:55 -04:00
mediaserver.te Confine mediaserver, but leave it permissive for now. 2013-10-23 14:23:43 -04:00
mls Add policy for run-as program. 2012-11-27 10:05:42 -08:00
mls_macros SE Android policy. 2012-01-04 12:33:27 -05:00
mtp.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
net.te Restore netdomain allow rules. 2013-09-30 15:07:55 -04:00
netd.te Drop obsolete comments about SEAndroidManager. 2013-09-13 13:26:14 -07:00
nfc.te Confine all app domains, but make them permissive for now. 2013-10-23 13:12:55 -04:00
NOTICE Public domain notice 2012-06-19 07:29:55 -04:00
ping.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
platform_app.te Confine all app domains, but make them permissive for now. 2013-10-23 13:12:55 -04:00
policy_capabilities SE Android policy. 2012-01-04 12:33:27 -05:00
port_contexts Support for ocontexts per device. 2012-07-12 10:02:45 -04:00
ppp.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
property.te Enable SELinux on vold 2013-06-28 20:41:16 -07:00
property_contexts Enable SELinux on vold 2013-06-28 20:41:16 -07:00
qemud.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
racoon.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
radio.te Confine all app domains, but make them permissive for now. 2013-10-23 13:12:55 -04:00
README README: Add quip on keys.conf supporting env vars 2013-10-29 04:52:22 +00:00
release_app.te Confine all app domains, but make them permissive for now. 2013-10-23 13:12:55 -04:00
rild.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
roles Add explicit role declaration for newer checkpolicy versions. 2012-01-12 09:58:37 -05:00
runas.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
sdcardd.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
seapp_contexts 1/2: Rename domain "system" to "system_server". 2013-09-17 08:40:12 -07:00
security_classes Add policy for property service. 2012-04-04 10:11:16 -04:00
selinux-network.sh Add selinux network script to policy 2012-06-21 09:19:43 -04:00
servicemanager.te Confine servicemanager, but leave it permissive for now. 2013-10-29 14:48:38 -04:00
shared_app.te Confine all app domains, but make them permissive for now. 2013-10-23 13:12:55 -04:00
shell.te Make sure exec_type is assigned to all entrypoint types. 2013-09-27 10:38:14 -04:00
su.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
su_user.te Make sure exec_type is assigned to all entrypoint types. 2013-09-27 10:38:14 -04:00
surfaceflinger.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
system_app.te Confine all app domains, but make them permissive for now. 2013-10-23 13:12:55 -04:00
system_server.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
te_macros Clarify the expectations for the unconfined template. 2013-10-21 13:44:07 -07:00
tee.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
ueventd.te Start confining ueventd 2013-10-08 09:43:28 -04:00
unconfined.te Clarify the expectations for the unconfined template. 2013-10-21 13:44:07 -07:00
untrusted_app.te Isolate untrusted app ptys from other domains. 2013-09-27 10:11:33 -04:00
users SE Android policy. 2012-01-04 12:33:27 -05:00
vold.te Grant fsetid Linux capability to vold. 2013-07-08 15:48:36 -07:00
watchdogd.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
wpa_supplicant.te Move unconfined domains out of permissive mode. 2013-10-21 12:52:03 -07:00
zygote.te zygote.te: fix comment. 2013-09-23 11:29:41 -07:00

Policy Generation:

Additional, per device, policy files can be added into the
policy build.

They can be configured through the use of three variables,
they are:
1. BOARD_SEPOLICY_REPLACE
2. BOARD_SEPOLICY_UNION
3. BOARD_SEPOLICY_DIRS
4. BOARD_SEPOLICY_IGNORE

The variables should be set in the BoardConfig.mk file in
the device or vendor directories.

BOARD_SEPOLICY_UNION is a list of files that will be
"unioned", IE concatenated, at the END of their respective
file in external/sepolicy. Note, to add a unique file you
would use this variable.

BOARD_SEPOLICY_REPLACE is a list of files that will be
used instead of the corresponding file in external/sepolicy.

BOARD_SEPOLICY_DIRS contains a list of directories to search
for BOARD_SEPOLICY_UNION and BOARD_SEPOLICY_REPLACE files. Order
matters in this list.
eg.) If you have BOARD_SEPOLICY_UNION := widget.te and have 2
instances of widget.te files on BOARD_SEPOLICY_DIRS search path.
The first one found (at the first search dir containing the file)
gets processed first.
Reviewing out/target/product/<device>/etc/sepolicy_intermediates/policy.conf
will help sort out ordering issues.

It is an error to specify a BOARD_POLICY_REPLACE file that does
not exist in external/sepolicy.

It is an error to specify a BOARD_POLICY_REPLACE file that appears
multiple times on the policy search path defined by BOARD_SEPOLICY_DIRS.
eg.) if you specify shell.te in BOARD_SEPOLICY_REPLACE and
BOARD_SEPOLICY_DIRS is set to
"vendor/widget/common/sepolicy device/widget/x/sepolicy" and shell.te
appears in both locations, it is an error. Unless it is in
BOARD_SEPOLICY_IGNORE to be filtered out. See BOARD_SEPOLICY_IGNORE
for more details.

It is an error to specify the same file name in both
BOARD_POLICY_REPLACE and BOARD_POLICY_UNION.

It is an error to specify a BOARD_SEPOLICY_DIRS that has no entries when
specifying BOARD_SEPOLICY_REPLACE.

BOARD_SEPOLICY_IGNORE is a list of paths (directory + filename) of
files that are not to be included in the resulting policy. This list
is passed to filter-out to remove any paths you may want to ignore. This
is useful if you have numerous config directories that contain a file
and you want to NOT include a particular file in your resulting
policy file, either by UNION or REPLACE.
Eg.) Suppose the following:
     BOARD_SEPOLICY_DIRS := X Y
     BOARD_SEPOLICY_REPLACE := A
     BOARD_SEPOLICY_IGNORE := X/A

     Directories X and Y contain A.

     The resulting policy is created by using Y/A only, thus X/A was
     ignored.

Example BoardConfig.mk Usage:
From the Tuna device BoardConfig.mk, device/samsung/tuna/BoardConfig.mk

BOARD_SEPOLICY_DIRS := \
        device/samsung/tuna/sepolicy

BOARD_SEPOLICY_UNION := \
        genfs_contexts \
        file_contexts \
        sepolicy.te

SPECIFIC POLICY FILE INFORMATION

mac_permissions.xml:
  ABOUT:
    The mac_permissions.xml file is used for controlling the mmac solutions
    as well as mapping a public base16 signing key with an arbitrary seinfo
    string. Details of the files contents can be found in a comment at the
    top of that file. The seinfo string, previously mentioned, is the same string
    that is referenced in seapp_contexts.

    This file can be replaced through BOARD_SEPOLICY_REPLACE containing the
    value "mac_permissions.xml", or appended to by using the BOARD_SEPOLICY_UNION
    variable. It is important to note the final processed version of this file
    is stripped of comments and whitespace. This is to preserve space on the
    system.img. If one wishes to view it in a more human friendly format,
    the "tidy" or "xmllint" command will assist you.

  TOOLING:
    insertkeys.py
      Is a helper script for mapping arbitrary tags in the signature stanzas of
      mac_permissions.xml to public keys found in pem files. This script takes
      a mac_permissions.xml file(s) and configuration file in order to operate.
      Details of the configuration file (keys.conf) can be found in the subsection
      keys.conf. This tool is also responsible for stripping the comments and
      whitespace during processing.

      keys.conf
        The keys.conf file is used for controlling the mapping of "tags" found in
        the mac_permissions.xml signature stanzas with actual public keys found in
        pem files. The configuration file can be used in BOARD_SEPOLICY_UNION and
        BOARD_SEPOLICY_REPLACE variables and is processed via m4.

        The script allows for mapping any string contained in TARGET_BUILD_VARIANT
        with specific path to a pem file. Typically TARGET_BUILD_VARIANT is either
        user, eng or userdebug. Additionally, one can specify "ALL" to map a path to
        any string specified in TARGET_BUILD_VARIANT. All tags are matched verbatim
        and all options are matched lowercase. The options are "tolowered" automatically
        for the user, it is convention to specify tags and options in all uppercase
        and tags start with @. The option arguments can also use environment variables
        via the familiar $VARIABLE syntax. This is often useful for setting a location
        to ones release keys.

        NOTE: The pem files are base64 encoded and PackageManagerService, mac_permissions.xml
              and setool all use base16 encodings.