/* Authors: Karl MacMillan <kmacmillan@tresys.com>
 * 	    Joshua Brindle <jbrindle@tresys.com>
 *
 * Copyright (C) 2004 Tresys Technology, LLC
 *	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, version 2.
 */

#include <sepol/policydb.h>
#include <sepol/module.h>

#include <getopt.h>
#include <fcntl.h>
#include <stdio.h>
#include <errno.h>
#include <sys/mman.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <stdlib.h>
#include <unistd.h>
#include <string.h>

#define EXPANDPOLICY_VERSION "1.0"

static void usage(const char *program_name)
{
	printf("usage: %s [-h -V -a -c [version] -v] basemodpkg outputfile\n",
	       program_name);
}

int main(int argc, char **argv)
{
	const char *basename, *outname;
	int ch, ret, show_version = 0, verbose = 0, policyvers = 0,
		     check_assertions = 1;
	struct sepol_policy_file *pf = NULL;
	sepol_module_package_t *base = NULL;
	sepol_policydb_t *out = NULL, *p;
	FILE *fp = NULL, *outfile = NULL;
	sepol_handle_t *handle = NULL;

	while ((ch = getopt(argc, argv, "c:Vvah")) != EOF) {
		switch (ch) {
		case 'V':
			show_version = 1;
			break;
		case 'v':
			verbose = 1;
			break;
		case 'h':
			usage(argv[0]);
			return EXIT_SUCCESS;
		case 'c': {
			long int n;

			errno = 0;
			n = strtol(optarg, NULL, 10);
			if (errno) {
				fprintf(stderr,
					"%s:  Invalid policyvers specified: %s\n",
					argv[0], optarg);
				usage(argv[0]);
				return EXIT_FAILURE;
			}
			if (n < sepol_policy_kern_vers_min() ||
			    n > sepol_policy_kern_vers_max()) {
				fprintf(stderr,
					"%s:  policyvers value %ld not in range %d-%d\n",
					argv[0], n,
					sepol_policy_kern_vers_min(),
					sepol_policy_kern_vers_max());
				usage(argv[0]);
				return EXIT_FAILURE;
			}
			policyvers = n;
			break;
		}
		case 'a': {
			check_assertions = 0;
			break;
		}
		default:
			usage(argv[0]);
			return EXIT_FAILURE;
		}
	}

	if (verbose) {
		if (policyvers)
			printf("Building version %d policy\n", policyvers);
	}

	if (show_version) {
		printf("%s\n", EXPANDPOLICY_VERSION);
		return EXIT_SUCCESS;
	}

	/* check args */
	if (argc < 3 || argc - optind != 2) {
		fprintf(stderr,
			"%s:  You must provide the base module package and output filename\n",
			argv[0]);
		usage(argv[0]);
		return EXIT_FAILURE;
	}

	basename = argv[optind++];
	outname = argv[optind];

	handle = sepol_handle_create();
	if (!handle) {
		fprintf(stderr, "%s:  Out of memory\n", argv[0]);
		goto failure;
	}

	if (sepol_policy_file_create(&pf)) {
		fprintf(stderr, "%s:  Out of memory\n", argv[0]);
		goto failure;
	}

	/* read the base module */
	if (sepol_module_package_create(&base)) {
		fprintf(stderr, "%s:  Out of memory\n", argv[0]);
		goto failure;
	}

	fp = fopen(basename, "re");
	if (!fp) {
		fprintf(stderr, "%s:  Can't open '%s':  %s\n", argv[0],
			basename, strerror(errno));
		goto failure;
	}

	sepol_policy_file_set_fp(pf, fp);
	ret = sepol_module_package_read(base, pf, 0);
	if (ret) {
		fprintf(stderr, "%s:  Error in reading package from %s\n",
			argv[0], basename);
		goto failure;
	}

	fclose(fp);
	fp = NULL;

	/* linking the base takes care of enabling optional avrules */
	p = sepol_module_package_get_policy(base);
	if (sepol_link_modules(handle, p, NULL, 0, 0)) {
		fprintf(stderr, "%s:  Error while enabling avrules\n", argv[0]);
		goto failure;
	}

	/* create the output policy */

	if (sepol_policydb_create(&out)) {
		fprintf(stderr, "%s:  Out of memory\n", argv[0]);
		goto failure;
	}

	sepol_set_expand_consume_base(handle, 1);

	if (sepol_expand_module(handle, p, out, verbose, check_assertions)) {
		fprintf(stderr, "%s:  Error while expanding policy\n", argv[0]);
		goto failure;
	}

	if (policyvers) {
		if (sepol_policydb_set_vers(out, policyvers)) {
			fprintf(stderr, "%s:  Invalid version %d\n", argv[0],
				policyvers);
			goto failure;
		}
	}

	outfile = fopen(outname, "we");
	if (!outfile) {
		fprintf(stderr, "%s:  Can't open '%s':  %s\n", argv[0], outname,
			strerror(errno));
		goto failure;
	}

	sepol_policy_file_set_fp(pf, outfile);
	ret = sepol_policydb_write(out, pf);
	if (ret) {
		fprintf(stderr,
			"%s:  Error while writing expanded policy to %s\n",
			argv[0], outname);
		goto failure;
	}

	ret = fclose(outfile);
	outfile = NULL;
	if (ret) {
		fprintf(stderr, "%s:  Error closing policy file %s:  %s\n",
			argv[0], outname, strerror(errno));
		goto failure;
	}

	ret = EXIT_SUCCESS;
	goto cleanup;

failure:
	ret = EXIT_FAILURE;

cleanup:
	if (outfile)
		fclose(outfile);
	sepol_policydb_free(out);
	if (fp)
		fclose(fp);
	sepol_module_package_free(base);
	sepol_policy_file_free(pf);
	sepol_handle_destroy(handle);

	return ret;
}
