No description
Find a file
Stephen Smalley 3a1eb33be6 Add neverallow checking to sepolicy-analyze.
See NEVERALLOW CHECKING in tools/README for documentation.

Depends on change I45b3502ff96b1d093574e1fecff93a582f8d00bd
for libsepol to support reporting all neverallow failures.

Change-Id: I47c16ccb910ac730c092cb3ab977c59cb8197ce0
Signed-off-by: Stephen Smalley <sds@tycho.nsa.gov>
2014-11-13 15:14:26 -08:00
tools Add neverallow checking to sepolicy-analyze. 2014-11-13 15:14:26 -08:00
access_vectors Allow system reset_uid, sync_uid, password_uid 2014-08-29 23:48:07 +01:00
adbd.te Allow adbd to write to /data/adb 2014-11-05 10:18:31 -08:00
Android.mk Generate selinux_policy.xml as part of CTS build. 2014-09-20 14:20:56 -07:00
app.te am 6f201ddc: App: add permissions to read symlinks from dalvik cache. 2014-11-12 21:06:19 +00:00
attributes DO NOT MERGE: Remove service_manager audit_allows. 2014-07-18 19:58:27 +00:00
binderservicedomain.te Remove auditallow statements causing log spam. 2014-07-01 09:48:58 -07:00
bluetooth.te DO NOT MERGE: Remove service_manager audit_allows. 2014-07-18 19:58:27 +00:00
bootanim.te Give bootanimation access to /dev/snd files so it can use tinyalsa 2014-10-02 16:26:59 -07:00
clatd.te Remove clatd's dac_override abilities. 2014-06-13 21:44:43 +09:00
debuggerd.te DO NOT MERGE. Allow debuggerd read access to shared_relro files. 2014-08-19 13:51:41 -07:00
device.te Add support for factory reset protection. 2014-09-08 14:27:45 -07:00
dex2oat.te zygote/dex2oat: Grant additional symlink permissions 2014-11-10 12:54:51 -08:00
dhcp.te Align SELinux property policy with init property_perms. 2014-06-23 15:45:55 -04:00
dnsmasq.te Allow dnsmasq to inherit/use netd UDP socket. 2014-06-11 14:16:36 +00:00
domain.te am 7cd346a7: am 0055ea90: Allow recovery to create device nodes and modify rootfs 2014-11-07 21:21:14 +00:00
drmserver.te allow oemfs:dir search 2014-10-10 16:11:03 -07:00
dumpstate.te Allow dumpstate to read /system/bin executables. 2014-09-12 22:39:39 -07:00
file.te am 7adc8cfe: Allow adbd to write to /data/adb 2014-11-05 20:49:27 +00:00
file_contexts am 7adc8cfe: Allow adbd to write to /data/adb 2014-11-05 20:49:27 +00:00
fs_use Add ocontext for F2FS 2014-06-02 16:08:19 -07:00
genfs_contexts zygote: allow replacing /proc/cpuinfo 2014-09-26 13:06:22 -07:00
global_macros Resolve overlapping rules between app.te and net.te. 2014-02-25 17:26:06 +00:00
gpsd.te Make gpsd enforcing. 2014-03-14 08:42:53 -04:00
hci_attach.te Make hci_attach enforcing. 2014-01-14 10:55:56 -05:00
healthd.te sepolicy: allow charger to read /sys/fs/pstore/console-ramoops 2014-07-21 09:53:12 -07:00
hostapd.te Allow netd-spawned domains to use inherited netd unix_dgram_socket. 2014-03-18 10:46:48 -04:00
init.te Allow init to restorecon sysfs files. 2014-08-15 14:34:39 -07:00
init_shell.te Remove execute_no_trans from unconfineddomain. 2014-06-19 22:38:28 +00: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
inputflinger.te DO NOT MERGE: Remove service_manager audit_allows. 2014-07-18 19:58:27 +00:00
install_recovery.te install_recovery: start enforcing SELinux rules 2014-07-09 12:02:28 -07:00
installd.te Pull keychain-data policy out of system-data 2014-10-15 18:02:03 +00:00
isolated_app.te isolated_app: Do not allow access to the gpu_device. 2014-09-23 13:54:10 -07:00
kernel.te Allow kernel thread to read app data files 2014-09-09 14:12:18 -07:00
keys.conf Make DEFAULT_SYSTEM_DEV_CERTIFICATE available in keys.conf 2013-10-28 13:08:14 -07:00
keystore.te DO NOT MERGE: Remove service_manager audit_allows. 2014-07-18 19:58:27 +00:00
lmkd.te lmkd: avoid locking libsigchain into memory 2014-07-17 08:58:37 -07:00
logd.te logd: auditd: add permissions to access /dev/kmsg 2014-04-07 14:04:30 -07:00
mac_permissions.xml Coalesce shared_app, media_app, release_app into untrusted_app. 2014-04-04 18:24:09 +00:00
mdnsd.te Make mdnsd enforcing. 2014-03-14 08:41:47 -04:00
mediaserver.te allow oemfs:dir search 2014-10-10 16:11:03 -07:00
mls Drop special handling of app_data_file in mls constraints. 2014-03-12 09:31:32 -04:00
mls_macros SE Android policy. 2012-01-04 12:33:27 -05:00
mtp.te Make mtp enforcing. 2014-03-07 14:59:51 -05:00
net.te Introduce fwmarkd: a service to set the fwmark of sockets. 2014-05-14 11:23:28 -07:00
netd.te Allow netd to create data files in /data/misc/net/. 2014-07-08 19:06:28 +00:00
nfc.te Allow NFC to read/write nfc. system properties. 2014-09-25 15:36:03 -07:00
NOTICE Public domain notice 2012-06-19 07:29:55 -04:00
platform_app.te DO NOT MERGE: Remove service_manager audit_allows. 2014-07-18 19:58:27 +00: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 Make ppp domain enforcing. 2014-05-13 08:25:31 -04:00
property.te Allow NFC to read/write nfc. system properties. 2014-09-25 15:36:03 -07:00
property_contexts Allow NFC to read/write nfc. system properties. 2014-09-25 15:36:03 -07:00
racoon.te Adding policies for KeyStore MAC. 2014-06-26 08:53:10 -07:00
radio.te Allow radio access to netd_pid file. 2014-11-03 14:59:38 -08:00
README DO NOT MERGE. Update readme to reflect addition of SEPOLICY_IGNORE. 2014-07-22 15:31:20 -07:00
recovery.te recovery: allow changing unlabeled symbolic links 2014-10-23 12:12:58 -07:00
rild.te Align SELinux property policy with init property_perms. 2014-06-23 15:45:55 -04:00
roles Add explicit role declaration for newer checkpolicy versions. 2012-01-12 09:58:37 -05:00
runas.te allow run-as to access /data/local/tmp 2014-11-10 11:33:45 -08:00
sdcardd.te sdcardd: grant unmount 2014-09-04 11:04:23 -07:00
seapp_contexts Trivial change to support different SELinux policies for third party apps 2014-07-01 14:02:38 -07:00
security_classes Adding policies for KeyStore MAC. 2014-06-26 08:53:10 -07:00
selinux-network.sh Add selinux network script to policy 2012-06-21 09:19:43 -04:00
service.te Add imms service and system_app_service type. 2014-07-01 16:17:59 +00:00
service_contexts Renaming Telecomm to Telecom. 2014-09-10 15:17:57 -07:00
servicemanager.te Add access control for each service_manager action. 2014-07-15 10:09:52 -07:00
shared_relro.te Define SELinux policy for RELRO sharing support. 2014-05-27 14:17:50 +01:00
shell.te Eliminate some duplicated rules. 2014-06-17 15:30:37 -04:00
su.te Tweak rules for su domain. 2014-07-15 10:45:46 -07:00
surfaceflinger.te DO NOT MERGE: Remove service_manager audit_allows. 2014-07-18 19:58:27 +00:00
system_app.te Pull keychain-data policy out of system-data 2014-10-15 18:02:03 +00:00
system_server.te allow system_server to set kernel scheduling priority 2014-10-24 14:25:49 -07:00
te_macros DO NOT MERGE: Remove service_manager audit_allows. 2014-07-18 19:58:27 +00:00
tee.te Clean up socket rules. 2014-02-25 12:41:23 -05:00
ueventd.te reconcile aosp (a7c04dcd74) after branching. Please do not merge. 2014-07-14 23:31:01 -07:00
unconfined.te reconcile aosp (a7c04dcd74) after branching. Please do not merge. 2014-07-14 23:31:01 -07:00
uncrypt.te uncrypt: allow /dev/block directory access. 2014-02-27 17:26:26 -08:00
untrusted_app.te relax neverallow rules on NETLINK_KOBJECT_UEVENT sockets 2014-09-22 09:25:48 -07:00
users SE Android policy. 2012-01-04 12:33:27 -05:00
vdc.te dumpstate: transition into vdc domain 2014-06-25 14:18:51 -07:00
vold.te Allow installd, vold, system_server unlabeled access. 2014-05-29 16:35:01 -04:00
watchdogd.te reconcile aosp (a7c04dcd74) after branching. Please do not merge. 2014-07-14 23:31:01 -07:00
wpa.te Adding policies for KeyStore MAC. 2014-06-26 08:53:10 -07:00
zygote.te zygote/dex2oat: Grant additional symlink permissions 2014-11-10 12:54:51 -08:00

Policy Generation:

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

They can be configured through the use of four 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.

It is an error to specify a BOARD_POLICY_UNION file that
doesn't appear in any of the BOARD_SEPOLICY_DIRS locations.

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.

        Often times, one will need to integrate an application that was signed by a separate
        organization and may need to extract the pem file for the insertkeys/keys.conf tools.
        Extraction of the public key in the pem format is possible via openssl. First you need
        to unzip the apk, once it is unzipped, cd into the META_INF directory and then execute
        openssl pkcs7 -inform DER -in CERT.RSA -out CERT.pem -outform PEM  -print_certs
        On some occasions CERT.RSA has a different name, and you will need to adjust for that.
        After extracting the pem, you can rename it, and configure keys.conf and
        mac_permissions.xml to pick up the change. You MUST open the generated pem file in a text
        editor and strip out anything outside the opening and closing scissor lines. Failure to do
        so WILL cause a compile time issue thrown by insertkeys.py

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