#!/bin/bash
# vim: dict+=/usr/share/beakerlib/dictionary.vim cpt=.,w,b,u,t,i,k
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#
#   runtest.sh of /CoreOS/libsemanage/Sanity/verify-options-in-semanage-conf
#   Description: Are the verify options in semanage.conf honored?
#   Author: Milos Malik <mmalik@redhat.com>
#
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#
#   Copyright (c) 2016 Red Hat, Inc.
#
#   This copyrighted material is made available to anyone wishing
#   to use, modify, copy, or redistribute it subject to the terms
#   and conditions of the GNU General Public License version 2.
#
#   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., 51 Franklin Street, Fifth Floor,
#   Boston, MA 02110-1301, USA.
#
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

# Include Beaker environment
. /usr/bin/rhts-environment.sh || exit 1
. /usr/share/beakerlib/beakerlib.sh || exit 1

PACKAGE="libsemanage"
MODULE_NAME="empty"
SEMANAGE_CONF="/etc/selinux/semanage.conf"

rlJournalStart
	rlPhaseStartSetup
		rlAssertRpm ${PACKAGE}
		rlAssertRpm policycoreutils
		rlAssertRpm selinux-policy
		rlFileBackup ${SEMANAGE_CONF}
		rlRun "rpm -qf /usr/sbin/semanage"
		rlRun "grep -v -e '^#' -e '^$' ${SEMANAGE_CONF}"
		OUTPUT_FILE=`mktemp`
		
		rlRun "setenforce 1"
		rlRun "sestatus"
		rlRun "ls -l ${MODULE_NAME}.te"
		rlRun "make -f /usr/share/selinux/devel/Makefile"
		rlRun "ls -l ${MODULE_NAME}.pp"
    rlPhaseEnd

	rlLog "positive cases follow"
	# TODO: /bin/true could be replaced a script, which prints the supplied arguments into a file for further inspection

	rlPhaseStartTest "verify kernel"
		rlRun "semodule -r ${MODULE_NAME}" 0,1
		rlFileRestore
		rlRun "echo -en '[verify kernel]\npath = /bin/true\nargs = \$@\n[end]\n' >> ${SEMANAGE_CONF}"
		rlRun "semodule -i ${MODULE_NAME}.pp 2>&1 | tee ${OUTPUT_FILE}"
		rlAssertNotGrep "semodule.*failed" ${OUTPUT_FILE} -i
		rlRun "semodule -l | grep ${MODULE_NAME}"
		rlRun "semanage module -a ${MODULE_NAME}.pp 2>&1 | tee ${OUTPUT_FILE}"
		rlAssertNotGrep "could not commit semanage transaction|no such file or directory" ${OUTPUT_FILE} -Ei
		rlRun "semanage module -l | grep ${MODULE_NAME}"
	rlPhaseEnd

	rlPhaseStartTest "verify module"
		rlRun "semodule -r ${MODULE_NAME}" 0,1
		rlFileRestore
		rlRun "echo -en '[verify module]\npath = /bin/true\nargs = \$@\n[end]\n' >> ${SEMANAGE_CONF}"
		rlRun "semodule -i ${MODULE_NAME}.pp 2>&1 | tee ${OUTPUT_FILE}"
		rlAssertNotGrep "semodule.*failed" ${OUTPUT_FILE} -i
		rlRun "semodule -l | grep ${MODULE_NAME}"
		rlRun "semanage module -a ${MODULE_NAME}.pp 2>&1 | tee ${OUTPUT_FILE}"
		rlAssertNotGrep "could not commit semanage transaction|no such file or directory" ${OUTPUT_FILE} -Ei
		rlRun "semanage module -l | grep ${MODULE_NAME}"
	rlPhaseEnd

    if rlIsRHEL '<7.3' ; then # because "[verify linked]" was dropped
	rlPhaseStartTest "verify linked"
		rlRun "semodule -r ${MODULE_NAME}" 0,1
		rlFileRestore
		rlRun "echo -en '[verify linked]\npath = /bin/true\nargs = \$@\n[end]\n' >> ${SEMANAGE_CONF}"
		rlRun "semodule -i ${MODULE_NAME}.pp 2>&1 | tee ${OUTPUT_FILE}"
		rlAssertNotGrep "semodule.*failed" ${OUTPUT_FILE} -i
		rlRun "semodule -l | grep ${MODULE_NAME}"
		rlRun "semanage module -a ${MODULE_NAME}.pp 2>&1 | tee ${OUTPUT_FILE}"
		rlAssertNotGrep "could not commit semanage transaction|no such file or directory" ${OUTPUT_FILE} -Ei
		rlRun "semanage module -l | grep ${MODULE_NAME}"
	rlPhaseEnd
    fi

	rlLog "negative cases follow"
	# TODO: /bin/false could be replaced a script, which prints the supplied arguments into a file for further inspection

	rlPhaseStartTest "verify kernel"
		rlRun "semodule -r ${MODULE_NAME}" 0,1
		rlFileRestore
		rlRun "echo -en '[verify kernel]\npath = /bin/false\nargs = \$@\n[end]\n' >> ${SEMANAGE_CONF}"
		rlRun "semodule -i ${MODULE_NAME}.pp 2>&1 | tee ${OUTPUT_FILE}"
		rlAssertGrep "semodule.*failed" ${OUTPUT_FILE} -i
		rlRun "semodule -l | grep ${MODULE_NAME}" 1
		rlRun "semanage module -a ${MODULE_NAME}.pp 2>&1 | tee ${OUTPUT_FILE}"
		rlAssertGrep "could not commit semanage transaction|no such file or directory" ${OUTPUT_FILE} -Ei
		rlRun "semanage module -l | grep ${MODULE_NAME}" 1
	rlPhaseEnd

	rlPhaseStartTest "verify module"
		rlRun "semodule -r ${MODULE_NAME}" 0,1
		rlFileRestore
		rlRun "echo -en '[verify module]\npath = /bin/false\nargs = \$@\n[end]\n' >> ${SEMANAGE_CONF}"
		rlRun "semodule -i ${MODULE_NAME}.pp 2>&1 | tee ${OUTPUT_FILE}"
		rlAssertGrep "semodule.*failed" ${OUTPUT_FILE} -i
		rlRun "semodule -l | grep ${MODULE_NAME}" 1
		rlRun "semanage module -a ${MODULE_NAME}.pp 2>&1 | tee ${OUTPUT_FILE}"
		rlAssertGrep "could not commit semanage transaction|no such file or directory" ${OUTPUT_FILE} -Ei
		rlRun "semanage module -l | grep ${MODULE_NAME}" 1
	rlPhaseEnd

    if rlIsRHEL '<7.3' ; then # because "[verify linked]" was dropped
	rlPhaseStartTest "verify linked"
		rlRun "semodule -r ${MODULE_NAME}" 0,1
		rlFileRestore
		rlRun "echo -en '[verify linked]\npath = /bin/false\nargs = \$@\n[end]\n' >> ${SEMANAGE_CONF}"
		rlRun "semodule -i ${MODULE_NAME}.pp 2>&1 | tee ${OUTPUT_FILE}"
		rlAssertGrep "semodule.*failed" ${OUTPUT_FILE} -i
		rlRun "semodule -l | grep ${MODULE_NAME}" 1
		rlRun "semanage module -a ${MODULE_NAME}.pp 2>&1 | tee ${OUTPUT_FILE}"
		rlAssertGrep "could not commit semanage transaction|no such file or directory" ${OUTPUT_FILE} -Ei
		rlRun "semanage module -l | grep ${MODULE_NAME}" 1
	rlPhaseEnd
    fi

	rlPhaseStartCleanup
		rlRun "rm -f ${MODULE_NAME}.pp ${OUTPUT_FILE}"
		rlFileRestore	
	rlPhaseEnd
rlJournalPrintText
rlJournalEnd