SYNOPSIS

sediff [OPTIONS] [EXPRESSION] ORIGINAL_POLICY ; MODIFIED_POLICY

DESCRIPTION

sediff allows the user to inspect the semantic differences between two SELinux policies.

POLICY

sediff supports loading SELinux policies in one of four formats.

source

A single text file containing policy source for versions 12 through 21. This file is usually named policy.conf.

binary

A single file containing a monolithic kernel binary policy for versions 15 through 21. This file is usually named by version - for example, policy.20.

modular

A list of policy packages each containing a loadable policy module. The first module listed must be a base module.

policy list

A single text file containing all the information needed to load a policy, usually exported by SETools graphical utilities.

Policies do not need to be the same format. If not provided sediff will print an error message and exit.

EXPRESSIONS

The user may specify an expression listing the policy elements to differentiate. If not provided, all supported policy elements sans neverallows are examined.

-c, --class

Find differences in permissions assigned to object classes and common permission sets.

--level

Find differences in categories authorized for MLS levels.

--category

Find differences in category definitions.

-t, --type

Find differences in attributes associated with types.

-a, --attribute

Find differences in types assigned to attributes.

-r, --role

Find differences in types authorized for roles.

-u, --user

Find differences in roles authorized for users.

-b, --bool

Find differences in the default values of booleans.

-A, --allow

Find differences in allow rules.

--auditallow

Find differences in auditallow rules.

--dontaudit

Find differences in dontaudit rules.

--neverallow

Find differences in neverallow rules.

--type_trans

Find differences in type_transition rules.

--type_member

Find differences in type_member rules.

--type_change

Find differences in type_change rules.

--role_trans

Find differences in role_transition rules. This includes differences in the default role.

--role_allow

Find differences in role allow rules.

--range_trans

Find differences in range_transition rules. This includes differences in the target MLS range.

OPTIONS

-q, --quiet

If there are no differences for elements of a given kind, suppress status output for that kind of element.

--stats

Print difference statistics only.

-h, --help

Print help information and exit.

-V, --version

Print version information and exit.

DIFFERENCES

sediff categorizes differences in policy elements into one of three forms.

added

The element exists only in the modified policy.

removed

The element exists only in the original policy.

modified

The element exists in both policies but its semantic meaning has changed. For example, a class is modified if one or more permissions are added or removed.

For all rules with types as their source or target, two additional forms of difference are recognized. This helps distinguish differences due to new types from differences in rules for existing types.

added, new type

The rule exists only in the modified policy; furthermore, one or more of the types in the rule do not exist in the original policy.

removed, missing type

The rule exists only in the original policy; furthermore, one or more of the types in the rule do not exist in the modified policy.

NOTE

Most shells interpret the semicolon as a metacharacter, thus requiring a backslash like so: sediff original.policy \; modified.policy

AUTHOR

This manual page was written by Jeremy A. Mowery <[email protected]>.

COPYRIGHT

Copyright(C) 2004-2007 Tresys Technology, LLC

BUGS

Please report bugs via an email to [email protected].

RELATED TO sediff…