FM / setools

/usr/lib64/python3.9/site-packages/setools/

/usr/lib64/python3.9/site-packages/setools

Name	Size	Mode	Actions
checker/	-	0755	rm
diff/	-	0755	rm
__pycache__/	-	0755	rm
boolquery.py	1742	0644	edit dl rm
boundsquery.py	1845	0644	edit dl rm
categoryquery.py	1375	0644	edit dl rm
commonquery.py	1613	0644	edit dl rm
constraintquery.py	5110	0644	edit dl rm
defaultquery.py	2340	0644	edit dl rm
descriptors.py	9932	0644	edit dl rm
devicetreeconquery.py	2276	0644	edit dl rm
dta.py	23211	0644	edit dl rm
exception.py	6104	0644	edit dl rm
fsusequery.py	2868	0644	edit dl rm
genfsconquery.py	3260	0644	edit dl rm
ibendportconquery.py	3126	0644	edit dl rm
ibpkeyconquery.py	5006	0644	edit dl rm
infoflow.py	15913	0644	edit dl rm
initsidquery.py	2309	0644	edit dl rm
iomemconquery.py	4095	0644	edit dl rm
ioportconquery.py	4120	0644	edit dl rm
mixins.py	6980	0644	edit dl rm
mlsrulequery.py	4186	0644	edit dl rm
netifconquery.py	2456	0644	edit dl rm
nodeconquery.py	3997	0644	edit dl rm
objclassquery.py	3348	0644	edit dl rm
pcideviceconquery.py	2642	0644	edit dl rm
permmap.py	16585	0644	edit dl rm
perm_map	86114	0644	edit dl rm
pirqconquery.py	2538	0644	edit dl rm
polcapquery.py	1144	0644	edit dl rm
policyrep.cpython-39-x86_64-linux-gnu.so	1522808	0755	edit dl rm
policyrep.pyi	52253	0644	edit dl rm
portconquery.py	4889	0644	edit dl rm
py.typed	0	0644	edit dl rm
query.py	1268	0644	edit dl rm
rbacrulequery.py	5463	0644	edit dl rm
rolequery.py	1997	0644	edit dl rm
sensitivityquery.py	2270	0644	edit dl rm
terulequery.py	8939	0644	edit dl rm
typeattrquery.py	2157	0644	edit dl rm
typequery.py	3021	0644	edit dl rm
userquery.py	4290	0644	edit dl rm
util.py	7773	0644	edit dl rm
__init__.py	3316	0644	edit dl rm

Edit: /usr/lib64/python3.9/site-packages/setools/constraintquery.py (5110B)

# Copyright 2015, Tresys Technology, LLC
#
# SPDX-License-Identifier: LGPL-2.1-only
#
import logging
import re
from typing import Iterable, Set

from .descriptors import CriteriaDescriptor, CriteriaSetDescriptor
from .exception import ConstraintUseError
from .mixins import MatchObjClass, MatchPermission
from .policyrep import AnyConstraint, ConstraintRuletype
from .query import PolicyQuery
from .util import match_in_set

class ConstraintQuery(MatchObjClass, MatchPermission, PolicyQuery):

"""
    Query constraint rules, (mls)constrain/(mls)validatetrans.

Parameter:
    policy            The policy to query.

Keyword Parameters/Class attributes:
    ruletype          The list of rule type(s) to match.
    tclass            The object class(es) to match.
    tclass_regex      If true, use a regular expression for
                      matching the rule's object class.
    perms             The permission(s) to match.
    perms_equal       If true, the permission set of the rule
                      must exactly match the permissions
                      criteria.  If false, any set intersection
                      will match.
    perms_regex       If true, regular expression matching will be used
                      on the permission names instead of set logic.
    role              The name of the role to match in the
                      constraint expression.
    role_indirect     If true, members of an attribute will be
                      matched rather than the attribute itself.
    role_regex        If true, regular expression matching will
                      be used on the role.
    type_             The name of the type/attribute to match in the
                      constraint expression.
    type_indirect     If true, members of an attribute will be
                      matched rather than the attribute itself.
    type_regex        If true, regular expression matching will
                      be used on the type/attribute.
    user              The name of the user to match in the
                      constraint expression.
    user_regex        If true, regular expression matching will
                      be used on the user.
    """

ruletype = CriteriaSetDescriptor(enum_class=ConstraintRuletype)
    user = CriteriaDescriptor("user_regex", "lookup_user")
    user_regex: bool = False
    role = CriteriaDescriptor("role_regex", "lookup_role")
    role_regex: bool = False
    role_indirect: bool = True
    type_ = CriteriaDescriptor("type_regex", "lookup_type_or_attr")
    type_regex: bool = False
    type_indirect: bool = True

def __init__(self, policy, **kwargs) -> None:
        super(ConstraintQuery, self).__init__(policy, **kwargs)
        self.log = logging.getLogger(__name__)

def _match_expr(self, expr, criteria, indirect, regex):
        """
        Match roles/types/users in a constraint expression,
        optionally by expanding the contents of attributes.

Parameters:
        expr        The expression to match.
        criteria    The criteria to match.
        indirect    If attributes in the expression should be expanded.
        regex       If regular expression matching should be used.
        """

if indirect:
            obj = set()
            for item in expr:
                obj.update(item.expand())
        else:
            obj = expr

return match_in_set(obj, criteria, regex)

def results(self) -> Iterable[AnyConstraint]:
        """Generator which yields all matching constraints rules."""
        self.log.info("Generating constraint results from {0.policy}".format(self))
        self.log.debug("Ruletypes: {0.ruletype}".format(self))
        self._match_object_class_debug(self.log)
        self._match_perms_debug(self.log)
        self.log.debug("User: {0.user!r}, regex: {0.user_regex}".format(self))
        self.log.debug("Role: {0.role!r}, regex: {0.role_regex}".format(self))
        self.log.debug("Type: {0.type_!r}, regex: {0.type_regex}".format(self))

for c in self.policy.constraints():
            if self.ruletype:
                if c.ruletype not in self.ruletype:
                    continue

if not self._match_object_class(c):
                continue

try:
                if not self._match_perms(c):
                    continue
            except ConstraintUseError:
                continue

if self.role and not self._match_expr(
                    c.expression.roles,
                    self.role,
                    self.role_indirect,
                    self.role_regex):
                continue

if self.type_ and not self._match_expr(
                    c.expression.types,
                    self.type_,
                    self.type_indirect,
                    self.type_regex):
                continue

if self.user and not self._match_expr(
                    c.expression.users,
                    self.user,
                    False,
                    self.user_regex):
                continue

yield c

cmd: