mirror of
https://github.com/SELinuxProject/setools
synced 2025-02-22 15:16:58 +00:00
113 lines
3.9 KiB
Groff
113 lines
3.9 KiB
Groff
.\" Copyright (c) 2016 Tresys Technology, LLC. All rights reserved.
|
|
.TH sesearch 1 2016-02-20 "Tresys Technology, LLC" "SETools: SELinux Policy Analysis Tools"
|
|
|
|
.SH NAME
|
|
sesearch \- SELinux policy query tool
|
|
|
|
.SH SYNOPSIS
|
|
\fBsesearch\fR [OPTIONS] [OPTIONS] [EXPRESSION] [POLICY]
|
|
|
|
.SH DESCRIPTION
|
|
\fBsesearch\fR allows the user to search the rules in a SELinux policy.
|
|
|
|
.SH POLICY
|
|
.PP
|
|
\fBsesearch\fR supports loading SELinux policies in one of two formats.
|
|
.RS
|
|
.IP "source:"
|
|
A single text file containing a monolithic policy source. This file is usually named policy.conf.
|
|
.IP "binary:"
|
|
A single file containing a binary policy. This file is usually named by version on Linux systems, for example, \fIpolicy.30\fR. This file is usually named \fIsepolicy\fR on Android systems.
|
|
.RE
|
|
.PP
|
|
If no policy file is provided, \fBsesearch\fR will search for the policy running on the current
|
|
system. If no policy can be found, \fBsesearch\fR will print an error message and exit.
|
|
|
|
.SH EXPRESSIONS
|
|
The user may specify an expression containing values for a given field(s) in a rule.
|
|
If no expression is specified or if none of the specified fields apply to a given rule type,
|
|
all rules of that type are considered to match the expression.
|
|
|
|
.SS Type Enforcement Rule Types
|
|
.IP "-A, --allow"
|
|
Find differences in allow rules.
|
|
.IP "--auditallow"
|
|
Find differences in auditallow rules.
|
|
.IP "--dontaudit"
|
|
Find differences in dontaudit rules.
|
|
.IP "--neverallow"
|
|
Find differences in neverallow rules.
|
|
.IP "-T, --type_trans"
|
|
Find differences in type_transition rules.
|
|
.IP "--type_member"
|
|
Find differences in type_member rules.
|
|
.IP "--type_change"
|
|
Find differences in type_change rules.
|
|
|
|
.SS RBAC Rule Types
|
|
.IP "--role_allow"
|
|
Find differences in role allow rules.
|
|
.IP "--role_trans"
|
|
Find differences in role_transition rules.
|
|
|
|
.SS MLS Rule Types
|
|
.IP "--range_trans"
|
|
Find differences in range_transition rules.
|
|
|
|
.SS Rule Fields
|
|
.IP "-s NAME, --source NAME"
|
|
Find rules with NAME as their source type/role.
|
|
.IP "-t NAME, --target NAME"
|
|
Find rules with NAME as their target type/role.
|
|
.IP "-D NAME, --default NAME"
|
|
Find rules with NAME as their default type/role/level.
|
|
.IP "-c NAME, --class NAME"
|
|
Find rules with NAME as their object class.
|
|
.IP "-p P1[,P2,...] --perm P1[,P2...]"
|
|
Find rules with at least one of the specified permissions.
|
|
Multiple permissions may be specified as a comma-separated list.
|
|
.IP "-b BOOL[,B2,...], --bool BOOL[,B2,...]"
|
|
Find conditional rules with the named Boolean in their conditional expression.
|
|
Multiple Booleans may be specified as a comma-separated list.
|
|
This option will include rules in both the true and false lists of the conditional.
|
|
|
|
.SS Search Options
|
|
The following additional options modify how the search is performed.
|
|
.IP "-ds"
|
|
A matching rule must have the specified source attribute/type/role explicitly, instead of matching by attribute contents.
|
|
.IP "-dt"
|
|
A matching rule must have the specified target attribute/type/role explicitly, instead of matching by attribute contents.
|
|
.IP "-eb"
|
|
A matching rule must have all specified Booleans, instead of matching any of the specified Boolean.
|
|
.IP "-ep"
|
|
A matching rule must have all specified permissions, instead of matching any of the specified permission.
|
|
.IP "-rs"
|
|
Use regular expression for matching the source type/role.
|
|
.IP "-rt"
|
|
Use regular expression for matching the target type/role.
|
|
.IP "-rc"
|
|
Use regular expression for matching the object class.
|
|
.IP "-rd"
|
|
Use regular expression for matching the default type/role.
|
|
.IP "-rb"
|
|
Use regular expression for matching Booleans.
|
|
|
|
.SH OPTIONS
|
|
.IP "-h, --help"
|
|
Print help information and exit.
|
|
.IP "--version"
|
|
Print version information and exit.
|
|
.IP "-v, --verbose"
|
|
Print additional informational messages.
|
|
.IP "--debug"
|
|
Enable debugging output.
|
|
|
|
.SH AUTHOR
|
|
Chris PeBenito <cpebenito@tresys.com>
|
|
|
|
.SH BUGS
|
|
Please report bugs via the SETools bug tracker, https://github.com/TresysTechnology/setools/issues
|
|
|
|
.SH SEE ALSO
|
|
apol(1), sediff(1), sedta(1), seinfo(1), seinfoflow(1)
|