setools/sediff

233 lines
12 KiB
Python
Executable File

#!/usr/bin/python
# Copyright 2015, Tresys Technology, LLC
#
# This file is part of SETools.
#
# SETools 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.
#
# SETools 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 SETools. If not, see <http://www.gnu.org/licenses/>.
#
from __future__ import print_function
import setools
import argparse
import sys
import logging
parser = argparse.ArgumentParser(description="SELinux policy difference tool.")
parser.add_argument("POLICY1", help="Path to the first SELinux policy to diff.", nargs=1)
parser.add_argument("POLICY2", help="Path to the second SELinux policy to diff.", nargs=1)
parser.add_argument("--version", action="version", version=setools.__version__)
parser.add_argument("--stats", action="store_true",
help="Display only statistics.")
parser.add_argument("-v", "--verbose", action="store_true",
help="Print extra informational messages")
parser.add_argument("--debug", action="store_true", dest="debug", help="Enable debugging.")
comp = parser.add_argument_group("Component Differences")
comp.add_argument("--common", action="store_true", help="Print common differences")
comp.add_argument("-c", "--class", action="store_true", help="Print class differences",
dest="class_")
comp.add_argument("-t", "--type", action="store_true", help="Print type differences",
dest="type_")
comp.add_argument("-a", "--attribute", action="store_true", help="Print type attribute differences")
comp.add_argument("-r", "--role", action="store_true", help="Print role differences")
comp.add_argument("-u", "--user", action="store_true", help="Print type differences")
comp.add_argument("-b", "--bool", action="store_true", help="Print type differences",
dest="bool_")
comp.add_argument("--sensitivity", action="store_true", help="Print MLS sensitivity differences")
comp.add_argument("--category", action="store_true", help="Print MLS category differences")
comp.add_argument("--level", action="store_true", help="Print MLS level definition differences")
terule = parser.add_argument_group("Type Enforcement Rule Differences")
terule.add_argument("-A", "--allow", action="store_true", help="Print allow rule differences")
terule.add_argument("--neverallow", action="store_true", help="Print neverallow rule differences")
terule.add_argument("--auditallow", action="store_true", help="Print auditallow rule differences")
terule.add_argument("--dontaudit", action="store_true", help="Print dontaudit rule differences")
terule.add_argument("-T", "--type_trans", action="store_true",
help="Print type_transition rule differences")
terule.add_argument("--type_change", action="store_true", help="Print type_change rule differences")
terule.add_argument("--type_memeber", action="store_true",
help="Print type_member rule differences")
rbacrule = parser.add_argument_group("RBAC Rule Differences")
rbacrule.add_argument("--role_allow", action="store_true", help="Print role allow rule differences")
rbacrule.add_argument("--role_trans", action="store_true",
help="Print role_transition rule differences")
mlsrule = parser.add_argument_group("MLS Rule Differences")
mlsrule.add_argument("--range_trans", action="store_true",
help="Print range_transition rule differences")
args = parser.parse_args()
all_differences = not any((args.class_, args.common, args.type_, args.attribute, args.role,
args.user, args.bool_, args.sensitivity, args.category, args.level,
args.allow, args.neverallow, args.auditallow, args.dontaudit,
args.type_trans, args.type_change, args.type_member, args.role_allow,
args.role_trans, args.range_trans))
if args.debug:
logging.basicConfig(level=logging.DEBUG,
format='%(asctime)s|%(levelname)s|%(name)s|%(message)s')
elif args.verbose:
logging.basicConfig(level=logging.INFO, format='%(message)s')
else:
logging.basicConfig(level=logging.WARNING, format='%(message)s')
try:
p1 = setools.SELinuxPolicy(args.POLICY1[0])
p2 = setools.SELinuxPolicy(args.POLICY2[0])
diff = setools.PolicyDifference(p1, p2)
if all_differences or args.common:
if diff.added_commons or diff.removed_commons or diff.modified_commons or args.common:
print("Commons ({0} Added, {1} Removed, {2} Modified)".format(
len(diff.added_commons), len(diff.removed_commons), len(diff.modified_commons)))
if diff.added_commons:
print(" Added Commons: {0}".format(len(diff.added_commons)))
for c in sorted(diff.added_commons):
print(" + {0}".format(c))
if diff.removed_commons:
print(" Removed Commons: {0}".format(len(diff.removed_commons)))
for c in sorted(diff.removed_commons):
print(" - {0}".format(c))
if diff.modified_commons:
print(" Modified Commons: {0}".format(len(diff.modified_commons)))
for name, mod in sorted(diff.modified_commons.items()):
change = []
if mod.added_perms:
change.append("{0} Added permissions".format(len(mod.added_perms)))
if mod.removed_perms:
change.append("{0} Removed permissions".format(len(mod.removed_perms)))
print(" * {0} ({1})".format(name, ", ".join(change)))
for p in sorted(mod.added_perms):
print(" + {0}".format(p))
for p in sorted(mod.removed_perms):
print(" - {0}".format(p))
print()
if all_differences or args.class_:
if diff.added_classes or diff.removed_classes or diff.modified_classes or args.class_:
print("Classes ({0} Added, {1} Removed, {2} Modified)".format(
len(diff.added_classes), len(diff.removed_classes), len(diff.modified_classes)))
if diff.added_classes:
print(" Added Classes: {0}".format(len(diff.added_classes)))
for c in sorted(diff.added_classes):
print(" + {0}".format(c))
if diff.removed_classes:
print(" Removed Classes: {0}".format(len(diff.removed_classes)))
for c in sorted(diff.removed_classes):
print(" - {0}".format(c))
if diff.modified_classes:
print(" Modified Classes: {0}".format(len(diff.modified_classes)))
for name, mod in sorted(diff.modified_classes.items()):
change = []
if mod.added_perms:
change.append("{0} Added permissions".format(len(mod.added_perms)))
if mod.removed_perms:
change.append("{0} Removed permissions".format(len(mod.removed_perms)))
print(" * {0} ({1})".format(name, ", ".join(change)))
for p in sorted(mod.added_perms):
print(" + {0}".format(p))
for p in sorted(mod.removed_perms):
print(" - {0}".format(p))
print()
if all_differences or args.role:
if diff.added_roles or diff.removed_roles or diff.modified_roles or args.role:
print("Roles ({0} Added, {1} Removed, {2} Modified)".format(len(diff.added_roles),
len(diff.removed_roles),
len(diff.modified_roles)))
if diff.added_roles:
print(" Added Roles: {0}".format(len(diff.added_roles)))
for r in sorted(diff.added_roles):
print(" + {0}".format(r))
if diff.removed_roles:
print(" Removed Roles: {0}".format(len(diff.removed_roles)))
for r in sorted(diff.removed_roles):
print(" - {0}".format(r))
if diff.modified_roles:
print(" Modified Roles: {0}".format(len(diff.modified_roles)))
for name, mod in sorted(diff.modified_roles.items()):
change = []
if mod.added_types:
change.append("{0} Added types".format(len(mod.added_types)))
if mod.removed_types:
change.append("{0} Removed types".format(len(mod.removed_types)))
print(" * {0} ({1})".format(name, ", ".join(change)))
for t in sorted(mod.added_types):
print(" + {0}".format(t))
for t in sorted(mod.removed_types):
print(" - {0}".format(t))
print()
if all_differences or args.type_:
if diff.added_types or diff.removed_types or diff.modified_types or args.type_:
print("Types ({0} Added, {1} Removed, {2} Modified)".format(len(diff.added_types),
len(diff.removed_types),
len(diff.modified_types)))
if diff.added_types:
print(" Added Types: {0}".format(len(diff.added_types)))
for r in sorted(diff.added_types):
print(" + {0}".format(r))
if diff.removed_types:
print(" Removed Types: {0}".format(len(diff.removed_types)))
for r in sorted(diff.removed_types):
print(" - {0}".format(r))
if diff.modified_types:
print(" Modified Types: {0}".format(len(diff.modified_types)))
for name, mod in sorted(diff.modified_types.items()):
change = []
if mod.added_attributes:
change.append("{0} Added attributes".format(len(mod.added_attributes)))
if mod.removed_attributes:
change.append("{0} Removed attributes".format(len(mod.removed_attributes)))
if mod.added_aliases:
change.append("{0} Added aliases".format(len(mod.added_aliases)))
if mod.removed_aliases:
change.append("{0} Removed aliases".format(len(mod.removed_aliases)))
if mod.modified_permissive:
if mod.permissive:
change.append("Removed permissive")
else:
change.append("Added permissive")
print(" * {0} ({1})".format(name, ", ".join(change)))
if mod.added_attributes or mod.removed_attributes:
print(" Attributes:")
for t in sorted(mod.added_attributes):
print(" + {0}".format(t))
for t in sorted(mod.removed_attributes):
print(" - {0}".format(t))
if mod.added_aliases or mod.removed_aliases:
print(" Aliases:")
for t in sorted(mod.added_aliases):
print(" + {0}".format(t))
for t in sorted(mod.removed_aliases):
print(" - {0}".format(t))
print()
except Exception as err:
if args.debug:
import traceback
traceback.print_exc()
else:
print(err)
sys.exit(1)