Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2012 Will Drewry <wad@dataspill.org> |
| 3 | * |
| 4 | * Permission to use, copy, modify, and distribute this software for any |
| 5 | * purpose with or without fee is hereby granted, provided that the above |
| 6 | * copyright notice and this permission notice appear in all copies. |
| 7 | * |
| 8 | * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES |
| 9 | * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF |
| 10 | * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR |
| 11 | * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES |
| 12 | * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN |
| 13 | * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF |
| 14 | * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. |
| 15 | */ |
| 16 | |
| 17 | /* |
| 18 | * Uncomment the SANDBOX_SECCOMP_FILTER_DEBUG macro below to help diagnose |
| 19 | * filter breakage during development. *Do not* use this in production, |
| 20 | * as it relies on making library calls that are unsafe in signal context. |
| 21 | * |
| 22 | * Instead, live systems the auditctl(8) may be used to monitor failures. |
| 23 | * E.g. |
| 24 | * auditctl -a task,always -F uid=<privsep uid> |
| 25 | */ |
| 26 | /* #define SANDBOX_SECCOMP_FILTER_DEBUG 1 */ |
| 27 | |
Damien Miller | 48abc47 | 2014-03-17 14:45:56 +1100 | [diff] [blame] | 28 | /* XXX it should be possible to do logging via the log socket safely */ |
| 29 | |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 30 | #ifdef SANDBOX_SECCOMP_FILTER_DEBUG |
| 31 | /* Use the kernel headers in case of an older toolchain. */ |
| 32 | # include <asm/siginfo.h> |
| 33 | # define __have_siginfo_t 1 |
| 34 | # define __have_sigval_t 1 |
| 35 | # define __have_sigevent_t 1 |
| 36 | #endif /* SANDBOX_SECCOMP_FILTER_DEBUG */ |
| 37 | |
| 38 | #include "includes.h" |
| 39 | |
| 40 | #ifdef SANDBOX_SECCOMP_FILTER |
| 41 | |
| 42 | #include <sys/types.h> |
| 43 | #include <sys/resource.h> |
| 44 | #include <sys/prctl.h> |
| 45 | |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 46 | #include <linux/net.h> |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 47 | #include <linux/audit.h> |
| 48 | #include <linux/filter.h> |
| 49 | #include <linux/seccomp.h> |
Damien Miller | 91f40d8 | 2013-02-22 11:37:00 +1100 | [diff] [blame] | 50 | #include <elf.h> |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 51 | |
| 52 | #include <asm/unistd.h> |
| 53 | |
| 54 | #include <errno.h> |
| 55 | #include <signal.h> |
| 56 | #include <stdarg.h> |
| 57 | #include <stddef.h> /* for offsetof */ |
| 58 | #include <stdio.h> |
| 59 | #include <stdlib.h> |
| 60 | #include <string.h> |
| 61 | #include <unistd.h> |
| 62 | |
| 63 | #include "log.h" |
| 64 | #include "ssh-sandbox.h" |
| 65 | #include "xmalloc.h" |
| 66 | |
| 67 | /* Linux seccomp_filter sandbox */ |
| 68 | #define SECCOMP_FILTER_FAIL SECCOMP_RET_KILL |
| 69 | |
| 70 | /* Use a signal handler to emit violations when debugging */ |
| 71 | #ifdef SANDBOX_SECCOMP_FILTER_DEBUG |
| 72 | # undef SECCOMP_FILTER_FAIL |
| 73 | # define SECCOMP_FILTER_FAIL SECCOMP_RET_TRAP |
| 74 | #endif /* SANDBOX_SECCOMP_FILTER_DEBUG */ |
| 75 | |
| 76 | /* Simple helpers to avoid manual errors (but larger BPF programs). */ |
| 77 | #define SC_DENY(_nr, _errno) \ |
| 78 | BPF_JUMP(BPF_JMP+BPF_JEQ+BPF_K, __NR_ ## _nr, 0, 1), \ |
| 79 | BPF_STMT(BPF_RET+BPF_K, SECCOMP_RET_ERRNO|(_errno)) |
| 80 | #define SC_ALLOW(_nr) \ |
| 81 | BPF_JUMP(BPF_JMP+BPF_JEQ+BPF_K, __NR_ ## _nr, 0, 1), \ |
| 82 | BPF_STMT(BPF_RET+BPF_K, SECCOMP_RET_ALLOW) |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 83 | #define SC_ALLOW_ARG(_nr, _arg_nr, _arg_val) \ |
Damien Miller | 97e2e15 | 2015-06-17 14:36:54 +1000 | [diff] [blame] | 84 | BPF_JUMP(BPF_JMP+BPF_JEQ+BPF_K, __NR_ ## _nr, 0, 4), \ |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 85 | /* load first syscall argument */ \ |
| 86 | BPF_STMT(BPF_LD+BPF_W+BPF_ABS, \ |
| 87 | offsetof(struct seccomp_data, args[(_arg_nr)])), \ |
| 88 | BPF_JUMP(BPF_JMP+BPF_JEQ+BPF_K, (_arg_val), 0, 1), \ |
| 89 | BPF_STMT(BPF_RET+BPF_K, SECCOMP_RET_ALLOW), \ |
| 90 | /* reload syscall number; all rules expect it in accumulator */ \ |
| 91 | BPF_STMT(BPF_LD+BPF_W+BPF_ABS, \ |
| 92 | offsetof(struct seccomp_data, nr)) |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 93 | |
| 94 | /* Syscall filtering set for preauth. */ |
| 95 | static const struct sock_filter preauth_insns[] = { |
| 96 | /* Ensure the syscall arch convention is as expected. */ |
| 97 | BPF_STMT(BPF_LD+BPF_W+BPF_ABS, |
| 98 | offsetof(struct seccomp_data, arch)), |
| 99 | BPF_JUMP(BPF_JMP+BPF_JEQ+BPF_K, SECCOMP_AUDIT_ARCH, 1, 0), |
| 100 | BPF_STMT(BPF_RET+BPF_K, SECCOMP_FILTER_FAIL), |
| 101 | /* Load the syscall number for checking. */ |
| 102 | BPF_STMT(BPF_LD+BPF_W+BPF_ABS, |
| 103 | offsetof(struct seccomp_data, nr)), |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 104 | |
| 105 | /* Syscalls to non-fatally deny */ |
| 106 | #ifdef __NR_fstat |
| 107 | SC_DENY(fstat, EACCES), |
| 108 | #endif |
| 109 | #ifdef __NR_fstat64 |
| 110 | SC_DENY(fstat64, EACCES), |
| 111 | #endif |
| 112 | #ifdef __NR_open |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 113 | SC_DENY(open, EACCES), |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 114 | #endif |
| 115 | #ifdef __NR_openat |
| 116 | SC_DENY(openat, EACCES), |
| 117 | #endif |
| 118 | #ifdef __NR_newfstatat |
| 119 | SC_DENY(newfstatat, EACCES), |
| 120 | #endif |
| 121 | #ifdef __NR_stat |
Damien Miller | 48abc47 | 2014-03-17 14:45:56 +1100 | [diff] [blame] | 122 | SC_DENY(stat, EACCES), |
Damien Miller | 91f40d8 | 2013-02-22 11:37:00 +1100 | [diff] [blame] | 123 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 124 | #ifdef __NR_stat64 |
| 125 | SC_DENY(stat64, EACCES), |
Damien Miller | 6434cb2 | 2014-02-06 11:17:50 +1100 | [diff] [blame] | 126 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 127 | |
| 128 | /* Syscalls to permit */ |
| 129 | #ifdef __NR_brk |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 130 | SC_ALLOW(brk), |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 131 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 132 | #ifdef __NR_clock_gettime |
| 133 | SC_ALLOW(clock_gettime), |
| 134 | #endif |
| 135 | #ifdef __NR_close |
| 136 | SC_ALLOW(close), |
| 137 | #endif |
| 138 | #ifdef __NR_exit |
| 139 | SC_ALLOW(exit), |
| 140 | #endif |
| 141 | #ifdef __NR_exit_group |
| 142 | SC_ALLOW(exit_group), |
| 143 | #endif |
djm@openbsd.org | 512cadd | 2015-06-29 22:35:12 +0000 | [diff] [blame] | 144 | #ifdef __NR_getpgid |
| 145 | SC_ALLOW(getpgid), |
| 146 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 147 | #ifdef __NR_getpid |
| 148 | SC_ALLOW(getpid), |
| 149 | #endif |
| 150 | #ifdef __NR_gettimeofday |
| 151 | SC_ALLOW(gettimeofday), |
| 152 | #endif |
| 153 | #ifdef __NR_madvise |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 154 | SC_ALLOW(madvise), |
Damien Miller | 91f40d8 | 2013-02-22 11:37:00 +1100 | [diff] [blame] | 155 | #endif |
| 156 | #ifdef __NR_mmap |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 157 | SC_ALLOW(mmap), |
Damien Miller | 91f40d8 | 2013-02-22 11:37:00 +1100 | [diff] [blame] | 158 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 159 | #ifdef __NR_mmap2 |
| 160 | SC_ALLOW(mmap2), |
Damien Miller | 0fa0ed0 | 2014-09-10 08:15:34 +1000 | [diff] [blame] | 161 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 162 | #ifdef __NR_mremap |
| 163 | SC_ALLOW(mremap), |
| 164 | #endif |
| 165 | #ifdef __NR_munmap |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 166 | SC_ALLOW(munmap), |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 167 | #endif |
| 168 | #ifdef __NR__newselect |
| 169 | SC_ALLOW(_newselect), |
| 170 | #endif |
| 171 | #ifdef __NR_poll |
| 172 | SC_ALLOW(poll), |
| 173 | #endif |
Damien Miller | bc20205 | 2015-06-25 09:51:39 +1000 | [diff] [blame] | 174 | #ifdef __NR_pselect6 |
| 175 | SC_ALLOW(pselect6), |
| 176 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 177 | #ifdef __NR_read |
| 178 | SC_ALLOW(read), |
| 179 | #endif |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 180 | #ifdef __NR_rt_sigprocmask |
| 181 | SC_ALLOW(rt_sigprocmask), |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 182 | #endif |
| 183 | #ifdef __NR_select |
| 184 | SC_ALLOW(select), |
| 185 | #endif |
| 186 | #ifdef __NR_shutdown |
| 187 | SC_ALLOW(shutdown), |
| 188 | #endif |
| 189 | #ifdef __NR_sigprocmask |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 190 | SC_ALLOW(sigprocmask), |
| 191 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 192 | #ifdef __NR_time |
| 193 | SC_ALLOW(time), |
| 194 | #endif |
| 195 | #ifdef __NR_write |
| 196 | SC_ALLOW(write), |
| 197 | #endif |
| 198 | #ifdef __NR_socketcall |
| 199 | SC_ALLOW_ARG(socketcall, 0, SYS_SHUTDOWN), |
| 200 | #endif |
| 201 | |
| 202 | /* Default deny */ |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 203 | BPF_STMT(BPF_RET+BPF_K, SECCOMP_FILTER_FAIL), |
| 204 | }; |
| 205 | |
| 206 | static const struct sock_fprog preauth_program = { |
| 207 | .len = (unsigned short)(sizeof(preauth_insns)/sizeof(preauth_insns[0])), |
| 208 | .filter = (struct sock_filter *)preauth_insns, |
| 209 | }; |
| 210 | |
| 211 | struct ssh_sandbox { |
| 212 | pid_t child_pid; |
| 213 | }; |
| 214 | |
| 215 | struct ssh_sandbox * |
Damien Miller | 868ea1e | 2014-01-17 16:47:04 +1100 | [diff] [blame] | 216 | ssh_sandbox_init(struct monitor *monitor) |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 217 | { |
| 218 | struct ssh_sandbox *box; |
| 219 | |
| 220 | /* |
| 221 | * Strictly, we don't need to maintain any state here but we need |
| 222 | * to return non-NULL to satisfy the API. |
| 223 | */ |
| 224 | debug3("%s: preparing seccomp filter sandbox", __func__); |
| 225 | box = xcalloc(1, sizeof(*box)); |
| 226 | box->child_pid = 0; |
| 227 | |
| 228 | return box; |
| 229 | } |
| 230 | |
| 231 | #ifdef SANDBOX_SECCOMP_FILTER_DEBUG |
| 232 | extern struct monitor *pmonitor; |
| 233 | void mm_log_handler(LogLevel level, const char *msg, void *ctx); |
| 234 | |
| 235 | static void |
| 236 | ssh_sandbox_violation(int signum, siginfo_t *info, void *void_context) |
| 237 | { |
| 238 | char msg[256]; |
| 239 | |
| 240 | snprintf(msg, sizeof(msg), |
| 241 | "%s: unexpected system call (arch:0x%x,syscall:%d @ %p)", |
| 242 | __func__, info->si_arch, info->si_syscall, info->si_call_addr); |
| 243 | mm_log_handler(SYSLOG_LEVEL_FATAL, msg, pmonitor); |
| 244 | _exit(1); |
| 245 | } |
| 246 | |
| 247 | static void |
| 248 | ssh_sandbox_child_debugging(void) |
| 249 | { |
| 250 | struct sigaction act; |
| 251 | sigset_t mask; |
| 252 | |
| 253 | debug3("%s: installing SIGSYS handler", __func__); |
| 254 | memset(&act, 0, sizeof(act)); |
| 255 | sigemptyset(&mask); |
| 256 | sigaddset(&mask, SIGSYS); |
| 257 | |
| 258 | act.sa_sigaction = &ssh_sandbox_violation; |
| 259 | act.sa_flags = SA_SIGINFO; |
| 260 | if (sigaction(SIGSYS, &act, NULL) == -1) |
| 261 | fatal("%s: sigaction(SIGSYS): %s", __func__, strerror(errno)); |
| 262 | if (sigprocmask(SIG_UNBLOCK, &mask, NULL) == -1) |
| 263 | fatal("%s: sigprocmask(SIGSYS): %s", |
| 264 | __func__, strerror(errno)); |
| 265 | } |
| 266 | #endif /* SANDBOX_SECCOMP_FILTER_DEBUG */ |
| 267 | |
| 268 | void |
| 269 | ssh_sandbox_child(struct ssh_sandbox *box) |
| 270 | { |
| 271 | struct rlimit rl_zero; |
Damien Miller | a0433a7 | 2012-07-06 10:27:10 +1000 | [diff] [blame] | 272 | int nnp_failed = 0; |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 273 | |
| 274 | /* Set rlimits for completeness if possible. */ |
| 275 | rl_zero.rlim_cur = rl_zero.rlim_max = 0; |
| 276 | if (setrlimit(RLIMIT_FSIZE, &rl_zero) == -1) |
| 277 | fatal("%s: setrlimit(RLIMIT_FSIZE, { 0, 0 }): %s", |
| 278 | __func__, strerror(errno)); |
| 279 | if (setrlimit(RLIMIT_NOFILE, &rl_zero) == -1) |
| 280 | fatal("%s: setrlimit(RLIMIT_NOFILE, { 0, 0 }): %s", |
| 281 | __func__, strerror(errno)); |
| 282 | if (setrlimit(RLIMIT_NPROC, &rl_zero) == -1) |
| 283 | fatal("%s: setrlimit(RLIMIT_NPROC, { 0, 0 }): %s", |
| 284 | __func__, strerror(errno)); |
| 285 | |
| 286 | #ifdef SANDBOX_SECCOMP_FILTER_DEBUG |
| 287 | ssh_sandbox_child_debugging(); |
| 288 | #endif /* SANDBOX_SECCOMP_FILTER_DEBUG */ |
| 289 | |
| 290 | debug3("%s: setting PR_SET_NO_NEW_PRIVS", __func__); |
Damien Miller | a0433a7 | 2012-07-06 10:27:10 +1000 | [diff] [blame] | 291 | if (prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0) == -1) { |
| 292 | debug("%s: prctl(PR_SET_NO_NEW_PRIVS): %s", |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 293 | __func__, strerror(errno)); |
Damien Miller | a0433a7 | 2012-07-06 10:27:10 +1000 | [diff] [blame] | 294 | nnp_failed = 1; |
| 295 | } |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 296 | debug3("%s: attaching seccomp filter program", __func__); |
| 297 | if (prctl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER, &preauth_program) == -1) |
Damien Miller | a0433a7 | 2012-07-06 10:27:10 +1000 | [diff] [blame] | 298 | debug("%s: prctl(PR_SET_SECCOMP): %s", |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 299 | __func__, strerror(errno)); |
Damien Miller | a0433a7 | 2012-07-06 10:27:10 +1000 | [diff] [blame] | 300 | else if (nnp_failed) |
| 301 | fatal("%s: SECCOMP_MODE_FILTER activated but " |
| 302 | "PR_SET_NO_NEW_PRIVS failed", __func__); |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 303 | } |
| 304 | |
| 305 | void |
| 306 | ssh_sandbox_parent_finish(struct ssh_sandbox *box) |
| 307 | { |
| 308 | free(box); |
| 309 | debug3("%s: finished", __func__); |
| 310 | } |
| 311 | |
| 312 | void |
| 313 | ssh_sandbox_parent_preauth(struct ssh_sandbox *box, pid_t child_pid) |
| 314 | { |
| 315 | box->child_pid = child_pid; |
| 316 | } |
| 317 | |
| 318 | #endif /* SANDBOX_SECCOMP_FILTER */ |