/*
   *
   * 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.
   *
   * This program is free software; you can redistribute it and/or modify
   * it under the terms of the GNU General Public License as published by
   * the Free Software Foundation; either version 2 of the License, or
   * (at your option) any later version.
   *
   * This program is distributed in the hope that it will be useful,
   * but WITHOUT ANY WARRANTY; without even the implied warranty of
   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   * GNU General Public License for more details.
   *
   * You should have received a copy of the GNU General Public License
   * along with this program; if not, write to the Free Software
   * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
   *
   * Copyright (C) IBM Corporation, 2006
   *
   * Authors: Serge E. Hallyn <serue@us.ibm.com>
   */
  
  #include <stdio.h>
  #include <stdlib.h>
  #include <unistd.h>
  #include <string.h>
  
  static void usage(char *name)
  {
  	printf("usage: %s [-m] policy_file context_file
  ", 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
  ", polout);
  		usage(argv[0]);
  	}
  
  	/* print out the classes */
  	for (i = 0; secclass_map[i].name; i++)
  		fprintf(fout, "class %s
  ", secclass_map[i].name);
  	fprintf(fout, "
  ");
  
  	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
  ", initial_sid_to_string[i]);
  	fprintf(fout, "
  ");
  
  	/* 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
  ", map->name);
  		fprintf(fout, "{
  ");
  		for (j = 0; map->perms[j]; j++)
  			fprintf(fout, "\t%s
  ", map->perms[j]);
  		fprintf(fout, "}
  
  ");
  	}
  	fprintf(fout, "
  ");
  
  	/* NOW PRINT OUT MLS STUFF */
  	if (mls) {
  		printf("MLS not yet implemented
  ");
  		exit(1);
  	}
  
  	/* types, roles, and allows */
  	fprintf(fout, "type base_t;
  ");
  	fprintf(fout, "role base_r types { base_t };
  ");
  	for (i = 0; secclass_map[i].name; i++)
  		fprintf(fout, "allow base_t base_t:%s *;
  ",
  			secclass_map[i].name);
  	fprintf(fout, "user user_u roles { base_r };
  ");
  	fprintf(fout, "
  ");
  
  	/* default sids */
  	for (i = 1; i < initial_sid_to_string_len; i++)
  		fprintf(fout, "sid %s user_u:base_r:base_t
  ", initial_sid_to_string[i]);
  	fprintf(fout, "
  ");
  
  	fprintf(fout, "fs_use_xattr ext2 user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_xattr ext3 user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_xattr ext4 user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_xattr jfs user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_xattr xfs user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_xattr reiserfs user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_xattr jffs2 user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_xattr gfs2 user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_xattr lustre user_u:base_r:base_t;
  ");
  
  	fprintf(fout, "fs_use_task eventpollfs user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_task pipefs user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_task sockfs user_u:base_r:base_t;
  ");
  
  	fprintf(fout, "fs_use_trans mqueue user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_trans devpts user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_trans hugetlbfs user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_trans tmpfs user_u:base_r:base_t;
  ");
  	fprintf(fout, "fs_use_trans shm user_u:base_r:base_t;
  ");
  
  	fprintf(fout, "genfscon proc / user_u:base_r:base_t
  ");
  
  	fclose(fout);
  
  	fout = fopen(ctxout, "w");
  	if (!fout) {
  		printf("Wrote policy, but cannot open %s for writing
  ", ctxout);
  		usage(argv[0]);
  	}
  	fprintf(fout, "/ user_u:base_r:base_t
  ");
  	fprintf(fout, "/.* user_u:base_r:base_t
  ");
  	fclose(fout);
  
  	return 0;
  }