ada_selinux(8)

1ada_selinux(8)                SELinux Policy ada                ada_selinux(8)
2
3
4

NAME

6       ada_selinux - Security Enhanced Linux Policy for the ada processes
7

DESCRIPTION

9       Security-Enhanced  Linux  secures the ada processes via flexible manda‐
10       tory access control.
11
12       The ada processes execute with the ada_t SELinux type. You can check if
13       you  have  these processes running by executing the ps command with the
14       -Z qualifier.
15
16       For example:
17
18       ps -eZ | grep ada_t
19
20
21

ENTRYPOINTS

23       The ada_t SELinux type can be entered via the  file_type,  unlabeled_t,
24       proc_type, filesystem_type, mtrr_device_t, ada_exec_t, sysctl_type file
25       types.
26
27       The default entrypoint paths for the ada_t domain are the following:
28
29       all files on the system,  /dev/cpu/mtrr,  /usr/libexec/gcc(/.*)?/gnat1,
30       /usr/bin/gnatls, /usr/bin/gnatbind, /usr/bin/gnatmake
31

PROCESS TYPES

33       SELinux defines process types (domains) for each process running on the
34       system
35
36       You can see the context of a process using the -Z option to ps
37
38       Policy governs the access confined processes have  to  files.   SELinux
39       ada policy is very flexible allowing users to setup their ada processes
40       in as secure a method as possible.
41
42       The following process types are defined for ada:
43
44       ada_t
45
46       Note: semanage permissive -a ada_t can be used to make the process type
47       ada_t  permissive.  SELinux  does not deny access to permissive process
48       types, but the AVC (SELinux denials) messages are still generated.
49
50

BOOLEANS

52       SELinux policy is customizable based on  least  access  required.   ada
53       policy is extremely flexible and has several booleans that allow you to
54       manipulate the policy and run ada with the tightest access possible.
55
56
57
58       If you want to allow all domains to use other domains file descriptors,
59       you must turn on the allow_domain_fd_use boolean. Enabled by default.
60
61       setsebool -P allow_domain_fd_use 1
62
63
64
65       If  you  want to allow unconfined executables to make their heap memory
66       executable.  Doing this is a really  bad  idea.  Probably  indicates  a
67       badly  coded  executable, but could indicate an attack. This executable
68       should be reported in bugzilla, you must  turn  on  the  allow_execheap
69       boolean. Disabled by default.
70
71       setsebool -P allow_execheap 1
72
73
74
75       If  you  want to allow unconfined executables to map a memory region as
76       both executable and writable, this  is  dangerous  and  the  executable
77       should  be  reported  in  bugzilla), you must turn on the allow_execmem
78       boolean. Enabled by default.
79
80       setsebool -P allow_execmem 1
81
82
83
84       If you want to  allow  all  unconfined  executables  to  use  libraries
85       requiring  text  relocation  that are not labeled textrel_shlib_t), you
86       must turn on the allow_execmod boolean. Enabled by default.
87
88       setsebool -P allow_execmod 1
89
90
91
92       If you want to allow unconfined executables to make  their  stack  exe‐
93       cutable.   This  should  never, ever be necessary. Probably indicates a
94       badly coded executable, but could indicate an attack.  This  executable
95       should  be  reported in bugzilla), you must turn on the allow_execstack
96       boolean. Enabled by default.
97
98       setsebool -P allow_execstack 1
99
100
101
102       If you want to allow sysadm to debug or ptrace all processes, you  must
103       turn on the allow_ptrace boolean. Disabled by default.
104
105       setsebool -P allow_ptrace 1
106
107
108
109       If  you  want to allow all domains to have the kernel load modules, you
110       must  turn  on  the  domain_kernel_load_modules  boolean.  Disabled  by
111       default.
112
113       setsebool -P domain_kernel_load_modules 1
114
115
116
117       If you want to allow all domains to execute in fips_mode, you must turn
118       on the fips_mode boolean. Enabled by default.
119
120       setsebool -P fips_mode 1
121
122
123
124       If you want to enable reading of urandom for all domains, you must turn
125       on the global_ssp boolean. Disabled by default.
126
127       setsebool -P global_ssp 1
128
129
130
131       If  you  want to allow certain domains to map low memory in the kernel,
132       you must turn on the mmap_low_allowed boolean. Disabled by default.
133
134       setsebool -P mmap_low_allowed 1
135
136
137
138       If you want to boolean to determine whether the system permits  loading
139       policy,  setting enforcing mode, and changing boolean values.  Set this
140       to true and you have to reboot to set it back, you  must  turn  on  the
141       secure_mode_policyload boolean. Disabled by default.
142
143       setsebool -P secure_mode_policyload 1
144
145
146
147       If you want to support X userspace object manager, you must turn on the
148       xserver_object_manager boolean. Disabled by default.
149
150       setsebool -P xserver_object_manager 1
151
152
153

MANAGED FILES

155       The SELinux process type ada_t can manage files labeled with  the  fol‐
156       lowing  file  types.   The paths listed are the default paths for these
157       file types.  Note the processes UID still need to have DAC permissions.
158
159       file_type
160
161            all files on the system
162
163

FILE CONTEXTS

165       SELinux requires files to have an extended attribute to define the file
166       type.
167
168       You can see the context of a file using the -Z option to ls
169
170       Policy  governs  the  access  confined  processes  have to these files.
171       SELinux ada policy is very flexible allowing users to setup  their  ada
172       processes in as secure a method as possible.
173
174       The following file types are defined for ada:
175
176
177
178       ada_exec_t
179
180       - Set files with the ada_exec_t type, if you want to transition an exe‐
181       cutable to the ada_t domain.
182
183
184       Paths:
185            /usr/libexec/gcc(/.*)?/gnat1, /usr/bin/gnatls,  /usr/bin/gnatbind,
186            /usr/bin/gnatmake
187
188
189       Note:  File context can be temporarily modified with the chcon command.
190       If you want to permanently change the file context you need to use  the
191       semanage fcontext command.  This will modify the SELinux labeling data‐
192       base.  You will need to use restorecon to apply the labels.
193
194

COMMANDS

196       semanage fcontext can also be used to manipulate default  file  context
197       mappings.
198
199       semanage  permissive  can  also  be used to manipulate whether or not a
200       process type is permissive.
201
202       semanage module can also be used to enable/disable/install/remove  pol‐
203       icy modules.
204
205       semanage boolean can also be used to manipulate the booleans
206
207
208       system-config-selinux is a GUI tool available to customize SELinux pol‐
209       icy settings.
210
211

AUTHOR

213       This manual page was auto-generated using sepolicy manpage .
214
215