| // SPDX-License-Identifier: GPL-2.0-or-later |
| /* |
| * |
| * mdp - make dummy policy |
| * |
| * When pointed at a kernel tree, builds a dummy policy for that kernel |
| * with exactly one type with full rights to itself. |
| * |
| * Copyright (C) IBM Corporation, 2006 |
| * |
| * Authors: Serge E. Hallyn <serue@us.ibm.com> |
| */ |
| |
| |
| /* NOTE: we really do want to use the kernel headers here */ |
| #define __EXPORTED_HEADERS__ |
| |
| #include <stdio.h> |
| #include <stdlib.h> |
| #include <unistd.h> |
| #include <string.h> |
| #include <linux/kconfig.h> |
| |
| static void usage(char *name) |
| { |
| printf("usage: %s [-m] policy_file context_file\n", name); |
| exit(1); |
| } |
| |
| /* Class/perm mapping support */ |
| struct security_class_mapping { |
| const char *name; |
| const char *perms[sizeof(unsigned) * 8 + 1]; |
| }; |
| |
| #include "classmap.h" |
| #include "initial_sid_to_string.h" |
| |
| int main(int argc, char *argv[]) |
| { |
| int i, j, mls = 0; |
| int initial_sid_to_string_len; |
| char **arg, *polout, *ctxout; |
| |
| FILE *fout; |
| |
| if (argc < 3) |
| usage(argv[0]); |
| arg = argv+1; |
| if (argc==4 && strcmp(argv[1], "-m") == 0) { |
| mls = 1; |
| arg++; |
| } |
| polout = *arg++; |
| ctxout = *arg; |
| |
| fout = fopen(polout, "w"); |
| if (!fout) { |
| printf("Could not open %s for writing\n", polout); |
| usage(argv[0]); |
| } |
| |
| /* print out the classes */ |
| for (i = 0; secclass_map[i].name; i++) |
| fprintf(fout, "class %s\n", secclass_map[i].name); |
| fprintf(fout, "\n"); |
| |
| initial_sid_to_string_len = sizeof(initial_sid_to_string) / sizeof (char *); |
| /* print out the sids */ |
| for (i = 1; i < initial_sid_to_string_len; i++) |
| fprintf(fout, "sid %s\n", initial_sid_to_string[i]); |
| fprintf(fout, "\n"); |
| |
| /* print out the class permissions */ |
| for (i = 0; secclass_map[i].name; i++) { |
| struct security_class_mapping *map = &secclass_map[i]; |
| fprintf(fout, "class %s\n", map->name); |
| fprintf(fout, "{\n"); |
| for (j = 0; map->perms[j]; j++) |
| fprintf(fout, "\t%s\n", map->perms[j]); |
| fprintf(fout, "}\n\n"); |
| } |
| fprintf(fout, "\n"); |
| |
| /* print out mls declarations and constraints */ |
| if (mls) { |
| fprintf(fout, "sensitivity s0;\n"); |
| fprintf(fout, "sensitivity s1;\n"); |
| fprintf(fout, "dominance { s0 s1 }\n"); |
| fprintf(fout, "category c0;\n"); |
| fprintf(fout, "category c1;\n"); |
| fprintf(fout, "level s0:c0.c1;\n"); |
| fprintf(fout, "level s1:c0.c1;\n"); |
| #define SYSTEMLOW "s0" |
| #define SYSTEMHIGH "s1:c0.c1" |
| for (i = 0; secclass_map[i].name; i++) { |
| struct security_class_mapping *map = &secclass_map[i]; |
| |
| fprintf(fout, "mlsconstrain %s {\n", map->name); |
| for (j = 0; map->perms[j]; j++) |
| fprintf(fout, "\t%s\n", map->perms[j]); |
| /* |
| * This requires all subjects and objects to be |
| * single-level (l2 eq h2), and that the subject |
| * level dominate the object level (h1 dom h2) |
| * in order to have any permissions to it. |
| */ |
| fprintf(fout, "} (l2 eq h2 and h1 dom h2);\n\n"); |
| } |
| } |
| |
| /* types, roles, and allows */ |
| fprintf(fout, "type base_t;\n"); |
| fprintf(fout, "role base_r;\n"); |
| fprintf(fout, "role base_r types { base_t };\n"); |
| for (i = 0; secclass_map[i].name; i++) |
| fprintf(fout, "allow base_t base_t:%s *;\n", |
| secclass_map[i].name); |
| fprintf(fout, "user user_u roles { base_r }"); |
| if (mls) |
| fprintf(fout, " level %s range %s - %s", SYSTEMLOW, |
| SYSTEMLOW, SYSTEMHIGH); |
| fprintf(fout, ";\n"); |
| |
| #define SUBJUSERROLETYPE "user_u:base_r:base_t" |
| #define OBJUSERROLETYPE "user_u:object_r:base_t" |
| |
| /* default sids */ |
| for (i = 1; i < initial_sid_to_string_len; i++) |
| fprintf(fout, "sid %s " SUBJUSERROLETYPE "%s\n", |
| initial_sid_to_string[i], mls ? ":" SYSTEMLOW : ""); |
| fprintf(fout, "\n"); |
| |
| #define FS_USE(behavior, fstype) \ |
| fprintf(fout, "fs_use_%s %s " OBJUSERROLETYPE "%s;\n", \ |
| behavior, fstype, mls ? ":" SYSTEMLOW : "") |
| |
| /* |
| * Filesystems whose inode labels can be fetched via getxattr. |
| */ |
| #ifdef CONFIG_EXT2_FS_SECURITY |
| FS_USE("xattr", "ext2"); |
| #endif |
| #ifdef CONFIG_EXT4_FS_SECURITY |
| #ifdef CONFIG_EXT4_USE_FOR_EXT2 |
| FS_USE("xattr", "ext2"); |
| #endif |
| FS_USE("xattr", "ext3"); |
| FS_USE("xattr", "ext4"); |
| #endif |
| #ifdef CONFIG_JFS_SECURITY |
| FS_USE("xattr", "jfs"); |
| #endif |
| #ifdef CONFIG_REISERFS_FS_SECURITY |
| FS_USE("xattr", "reiserfs"); |
| #endif |
| #ifdef CONFIG_JFFS2_FS_SECURITY |
| FS_USE("xattr", "jffs2"); |
| #endif |
| #ifdef CONFIG_XFS_FS |
| FS_USE("xattr", "xfs"); |
| #endif |
| #ifdef CONFIG_GFS2_FS |
| FS_USE("xattr", "gfs2"); |
| #endif |
| #ifdef CONFIG_BTRFS_FS |
| FS_USE("xattr", "btrfs"); |
| #endif |
| #ifdef CONFIG_F2FS_FS_SECURITY |
| FS_USE("xattr", "f2fs"); |
| #endif |
| #ifdef CONFIG_OCFS2_FS |
| FS_USE("xattr", "ocsfs2"); |
| #endif |
| #ifdef CONFIG_OVERLAY_FS |
| FS_USE("xattr", "overlay"); |
| #endif |
| #ifdef CONFIG_SQUASHFS_XATTR |
| FS_USE("xattr", "squashfs"); |
| #endif |
| |
| /* |
| * Filesystems whose inodes are labeled from allocating task. |
| */ |
| FS_USE("task", "pipefs"); |
| FS_USE("task", "sockfs"); |
| |
| /* |
| * Filesystems whose inode labels are computed from both |
| * the allocating task and the superblock label. |
| */ |
| #ifdef CONFIG_UNIX98_PTYS |
| FS_USE("trans", "devpts"); |
| #endif |
| #ifdef CONFIG_HUGETLBFS |
| FS_USE("trans", "hugetlbfs"); |
| #endif |
| #ifdef CONFIG_TMPFS |
| FS_USE("trans", "tmpfs"); |
| #endif |
| #ifdef CONFIG_DEVTMPFS |
| FS_USE("trans", "devtmpfs"); |
| #endif |
| #ifdef CONFIG_POSIX_MQUEUE |
| FS_USE("trans", "mqueue"); |
| #endif |
| |
| #define GENFSCON(fstype, prefix) \ |
| fprintf(fout, "genfscon %s %s " OBJUSERROLETYPE "%s\n", \ |
| fstype, prefix, mls ? ":" SYSTEMLOW : "") |
| |
| /* |
| * Filesystems whose inodes are labeled from path prefix match |
| * relative to the filesystem root. Depending on the filesystem, |
| * only a single label for all inodes may be supported. Here |
| * we list the filesystem types for which per-file labeling is |
| * supported using genfscon; any other filesystem type can also |
| * be added by only with a single entry for all of its inodes. |
| */ |
| #ifdef CONFIG_PROC_FS |
| GENFSCON("proc", "/"); |
| #endif |
| #ifdef CONFIG_SECURITY_SELINUX |
| GENFSCON("selinuxfs", "/"); |
| #endif |
| #ifdef CONFIG_SYSFS |
| GENFSCON("sysfs", "/"); |
| #endif |
| #ifdef CONFIG_DEBUG_FS |
| GENFSCON("debugfs", "/"); |
| #endif |
| #ifdef CONFIG_TRACING |
| GENFSCON("tracefs", "/"); |
| #endif |
| #ifdef CONFIG_PSTORE |
| GENFSCON("pstore", "/"); |
| #endif |
| GENFSCON("cgroup", "/"); |
| GENFSCON("cgroup2", "/"); |
| |
| fclose(fout); |
| |
| fout = fopen(ctxout, "w"); |
| if (!fout) { |
| printf("Wrote policy, but cannot open %s for writing\n", ctxout); |
| usage(argv[0]); |
| } |
| fprintf(fout, "/ " OBJUSERROLETYPE "%s\n", mls ? ":" SYSTEMLOW : ""); |
| fprintf(fout, "/.* " OBJUSERROLETYPE "%s\n", mls ? ":" SYSTEMLOW : ""); |
| fclose(fout); |
| |
| return 0; |
| } |