setools/sediff
Chris PeBenito cce7c505e2 sediff: fix except blocks to only catch the expected exception.
Fix copy-paste bugs exposed by this.
2016-01-07 13:29:38 -05:00

583 lines
28 KiB
Python
Executable File

#!/usr/bin/python
# Copyright 2015-2016, 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
from itertools import chain
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_member", 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()
if all_differences or args.allow:
if diff.added_allows or diff.removed_allows or diff.modified_allows or args.allow:
print("Allow Rules ({0} Added, {1} Removed, {2} Modified)".format(
len(diff.added_allows), len(diff.removed_allows), len(diff.modified_allows)))
if diff.added_allows:
print(" Added Allow Rules: {0}".format(len(diff.added_allows)))
for r in sorted(diff.added_allows):
print(" + {0}".format(r))
if diff.removed_allows:
print(" Removed Allow Rules: {0}".format(len(diff.removed_allows)))
for r in sorted(diff.removed_allows):
print(" - {0}".format(r))
if diff.modified_allows:
print(" Modified Allow Rules: {0}".format(len(diff.modified_allows)))
for rule, added_perms, removed_perms, matched_perms in sorted(diff.modified_allows):
perms = " ".join(chain((p for p in matched_perms),
("+" + p for p in added_perms),
("-" + p for p in removed_perms)))
rule_string = "{0.ruletype} {0.source} {0.target}:{0.tclass} {{ {1} }};".format(
rule, perms)
try:
rule_string += " [ {0} ]".format(rule.conditional)
except AttributeError:
pass
print(" * {0}".format(rule_string))
print()
if all_differences or args.neverallow:
if diff.added_neverallows or diff.removed_neverallows or diff.modified_neverallows or \
args.neverallow:
print("Neverallow Rules ({0} Added, {1} Removed, {2} Modified)".format(
len(diff.added_neverallows), len(diff.removed_neverallows),
len(diff.modified_neverallows)))
if diff.added_neverallows:
print(" Added Neverallow Rules: {0}".format(len(diff.added_neverallows)))
for r in sorted(diff.added_neverallows):
print(" + {0}".format(r))
if diff.removed_neverallows:
print(" Removed Neverallow Rules: {0}".format(len(diff.removed_neverallows)))
for r in sorted(diff.removed_neverallows):
print(" - {0}".format(r))
if diff.modified_neverallows:
print(" Modified Neverallow Rules: {0}".format(len(diff.modified_neverallows)))
for rule, added_perms, removed_perms, matched_perms in sorted(
diff.modified_neverallows):
perms = " ".join(chain((p for p in matched_perms),
("+" + p for p in added_perms),
("-" + p for p in removed_perms)))
rule_string = "{0.ruletype} {0.source} {0.target}:{0.tclass} {{ {1} }};".format(
rule, perms)
try:
rule_string += " [ {0} ]".format(rule.conditional)
except AttributeError:
pass
print(" * {0}".format(rule_string))
print()
if all_differences or args.auditallow:
if diff.added_auditallows or diff.removed_auditallows or diff.modified_auditallows or \
args.auditallow:
print("Auditallow Rules ({0} Added, {1} Removed, {2} Modified)".format(
len(diff.added_auditallows), len(diff.removed_auditallows),
len(diff.modified_auditallows)))
if diff.added_auditallows:
print(" Added Auditallow Rules: {0}".format(len(diff.added_auditallows)))
for r in sorted(diff.added_auditallows):
print(" + {0}".format(r))
if diff.removed_auditallows:
print(" Removed Auditallow Rules: {0}".format(len(diff.removed_auditallows)))
for r in sorted(diff.removed_auditallows):
print(" - {0}".format(r))
if diff.modified_auditallows:
print(" Modified Auditallow Rules: {0}".format(len(diff.modified_auditallows)))
for rule, added_perms, removed_perms, matched_perms in sorted(
diff.modified_auditallows):
perms = " ".join(chain((p for p in matched_perms),
("+" + p for p in added_perms),
("-" + p for p in removed_perms)))
rule_string = "{0.ruletype} {0.source} {0.target}:{0.tclass} {{ {1} }};".format(
rule, perms)
try:
rule_string += " [ {0} ]".format(rule.conditional)
except AttributeError:
pass
print(" * {0}".format(rule_string))
print()
if all_differences or args.dontaudit:
if diff.added_dontaudits or diff.removed_dontaudits or diff.modified_dontaudits or \
args.dontaudit:
print("Dontaudit Rules ({0} Added, {1} Removed, {2} Modified)".format(
len(diff.added_dontaudits), len(diff.removed_dontaudits),
len(diff.modified_dontaudits)))
if diff.added_dontaudits:
print(" Added Dontaudit Rules: {0}".format(len(diff.added_dontaudits)))
for r in sorted(diff.added_dontaudits):
print(" + {0}".format(r))
if diff.removed_dontaudits:
print(" Removed Dontaudit Rules: {0}".format(len(diff.removed_dontaudits)))
for r in sorted(diff.removed_dontaudits):
print(" - {0}".format(r))
if diff.modified_dontaudits:
print(" Modified Dontaudit Rules: {0}".format(len(diff.modified_dontaudits)))
for rule, added_perms, removed_perms, matched_perms in sorted(
diff.modified_dontaudits):
perms = " ".join(chain((p for p in matched_perms),
("+" + p for p in added_perms),
("-" + p for p in removed_perms)))
rule_string = "{0.ruletype} {0.source} {0.target}:{0.tclass} {{ {1} }};".format(
rule, perms)
try:
rule_string += " [ {0} ]".format(rule.conditional)
except AttributeError:
pass
print(" * {0}".format(rule_string))
print()
if all_differences or args.type_trans:
if diff.added_type_transitions or diff.removed_type_transitions or \
diff.modified_type_transitions or args.type_trans:
print("Type_transition Rules ({0} Added, {1} Removed, {2} Modified)".format(
len(diff.added_type_transitions), len(diff.removed_type_transitions),
len(diff.modified_type_transitions)))
if diff.added_type_transitions:
print(" Added Type_transition Rules: {0}".format(
len(diff.added_type_transitions)))
for r in sorted(diff.added_type_transitions):
print(" + {0}".format(r))
if diff.removed_type_transitions:
print(" Removed Type_transition Rules: {0}".format(
len(diff.removed_type_transitions)))
for r in sorted(diff.removed_type_transitions):
print(" - {0}".format(r))
if diff.modified_type_transitions:
print(" Modified Type_transition Rules: {0}".format(
len(diff.modified_type_transitions)))
for rule, added_default, removed_default in sorted(diff.modified_type_transitions):
rule_string = "{0.ruletype} {0.source} {0.target}:{0.tclass} +{1} -{2}".format(
rule, added_default, removed_default)
try:
rule_string += " {0}".format(rule.filename)
except AttributeError:
pass
rule_string += ";"
try:
rule_string += " [ {0} ]".format(rule.conditional)
except AttributeError:
pass
print(" * {0}".format(rule_string))
print()
if all_differences or args.type_change:
if diff.added_type_changes or diff.removed_type_changes or \
diff.modified_type_changes or args.type_change:
print("Type_change Rules ({0} Added, {1} Removed, {2} Modified)".format(
len(diff.added_type_changes), len(diff.removed_type_changes),
len(diff.modified_type_changes)))
if diff.added_type_changes:
print(" Added Type_change Rules: {0}".format(len(diff.added_type_changes)))
for r in sorted(diff.added_type_changes):
print(" + {0}".format(r))
if diff.removed_type_changes:
print(" Removed Type_change Rules: {0}".format(len(diff.removed_type_changes)))
for r in sorted(diff.removed_type_changes):
print(" - {0}".format(r))
if diff.modified_type_changes:
print(" Modified Type_change Rules: {0}".format(len(diff.modified_type_changes)))
for rule, added_default, removed_default in sorted(diff.modified_type_changes):
rule_string = "{0.ruletype} {0.source} {0.target}:{0.tclass} +{1} -{2}".format(
rule, added_default, removed_default)
try:
rule_string += " {0}".format(rule.filename)
except AttributeError:
pass
rule_string += ";"
try:
rule_string += " [ {0} ]".format(rule.conditional)
except AttributeError:
pass
print(" * {0}".format(rule_string))
print()
if all_differences or args.type_member:
if diff.added_type_members or diff.removed_type_members or \
diff.modified_type_members or args.type_member:
print("Type_member Rules ({0} Added, {1} Removed, {2} Modified)".format(
len(diff.added_type_members), len(diff.removed_type_members),
len(diff.modified_type_members)))
if diff.added_type_members:
print(" Added Type_member Rules: {0}".format(len(diff.added_type_members)))
for r in sorted(diff.added_type_members):
print(" + {0}".format(r))
if diff.removed_type_members:
print(" Removed Type_member Rules: {0}".format(len(diff.removed_type_members)))
for r in sorted(diff.removed_type_members):
print(" - {0}".format(r))
if diff.modified_type_members:
print(" Modified Type_member Rules: {0}".format(len(diff.modified_type_members)))
for rule, added_default, removed_default in sorted(diff.modified_type_members):
rule_string = "{0.ruletype} {0.source} {0.target}:{0.tclass} +{1} -{2}".format(
rule, added_default, removed_default)
try:
rule_string += " {0}".format(rule.filename)
except AttributeError:
pass
rule_string += ";"
try:
rule_string += " [ {0} ]".format(rule.conditional)
except AttributeError:
pass
print(" * {0}".format(rule_string))
print()
if all_differences or args.role_allow:
if diff.added_role_allows or diff.removed_role_allows or args.role_allow:
print("Role allow Rules ({0} Added, {1} Removed)".format(
len(diff.added_role_allows), len(diff.removed_role_allows)))
if diff.added_role_allows:
print(" Added Role allow Rules: {0}".format(
len(diff.added_role_allows)))
for r in sorted(diff.added_role_allows):
print(" + {0}".format(r))
if diff.removed_role_allows:
print(" Removed Role allow Rules: {0}".format(
len(diff.removed_role_allows)))
for r in sorted(diff.removed_role_allows):
print(" - {0}".format(r))
print()
if all_differences or args.role_trans:
if diff.added_role_transitions or diff.removed_role_transitions or \
diff.modified_role_transitions or args.role_trans:
print("Role_transition Rules ({0} Added, {1} Removed, {2} Modified)".format(
len(diff.added_role_transitions), len(diff.removed_role_transitions),
len(diff.modified_role_transitions)))
if diff.added_role_transitions:
print(" Added Role_transition Rules: {0}".format(
len(diff.added_role_transitions)))
for r in sorted(diff.added_role_transitions):
print(" + {0}".format(r))
if diff.removed_role_transitions:
print(" Removed Role_transition Rules: {0}".format(
len(diff.removed_role_transitions)))
for r in sorted(diff.removed_role_transitions):
print(" - {0}".format(r))
if diff.modified_role_transitions:
print(" Modified Role_transition Rules: {0}".format(
len(diff.modified_role_transitions)))
for rule, added_default, removed_default in sorted(diff.modified_role_transitions):
rule_string = \
"{0.ruletype} {0.source} {0.target}:{0.tclass} +{1} -{2}".format(
rule, added_default, removed_default)
print(" * {0}".format(rule_string))
print()
if all_differences or args.range_trans:
if diff.added_range_transitions or diff.removed_range_transitions or \
diff.modified_range_transitions or args.range_trans:
print("Range_transition Rules ({0} Added, {1} Removed, {2} Modified)".format(
len(diff.added_range_transitions), len(diff.removed_range_transitions),
len(diff.modified_range_transitions)))
if diff.added_range_transitions:
print(" Added Range_transition Rules: {0}".format(
len(diff.added_range_transitions)))
for r in sorted(diff.added_range_transitions):
print(" + {0}".format(r))
if diff.removed_range_transitions:
print(" Removed Range_transition Rules: {0}".format(
len(diff.removed_range_transitions)))
for r in sorted(diff.removed_range_transitions):
print(" - {0}".format(r))
if diff.modified_range_transitions:
print(" Modified Range_transition Rules: {0}".format(
len(diff.modified_range_transitions)))
for rule, added_default, removed_default in sorted(diff.modified_range_transitions):
# added brackets around range change for clarity since ranges
# can have '-' and spaces.
rule_string = \
"{0.ruletype} {0.source} {0.target}:{0.tclass} +[{1}] -[{2}]".format(
rule, added_default, removed_default)
print(" * {0}".format(rule_string))
print()
except Exception as err:
if args.debug:
import traceback
traceback.print_exc()
else:
print(err)
sys.exit(1)