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 | |
Damien Miller | 9e96b41 | 2017-03-14 12:24:47 +1100 | [diff] [blame^] | 76 | #if __BYTE_ORDER == __LITTLE_ENDIAN |
| 77 | # define ARG_LO_OFFSET 0 |
| 78 | # define ARG_HI_OFFSET sizeof(uint32_t) |
| 79 | #elif __BYTE_ORDER == __BIG_ENDIAN |
| 80 | # define ARG_LO_OFFSET sizeof(uint32_t) |
| 81 | # define ARG_HI_OFFSET 0 |
| 82 | #else |
| 83 | #error "Unknown endianness" |
| 84 | #endif |
| 85 | |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 86 | /* Simple helpers to avoid manual errors (but larger BPF programs). */ |
| 87 | #define SC_DENY(_nr, _errno) \ |
| 88 | BPF_JUMP(BPF_JMP+BPF_JEQ+BPF_K, __NR_ ## _nr, 0, 1), \ |
| 89 | BPF_STMT(BPF_RET+BPF_K, SECCOMP_RET_ERRNO|(_errno)) |
| 90 | #define SC_ALLOW(_nr) \ |
| 91 | BPF_JUMP(BPF_JMP+BPF_JEQ+BPF_K, __NR_ ## _nr, 0, 1), \ |
| 92 | BPF_STMT(BPF_RET+BPF_K, SECCOMP_RET_ALLOW) |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 93 | #define SC_ALLOW_ARG(_nr, _arg_nr, _arg_val) \ |
Damien Miller | 9e96b41 | 2017-03-14 12:24:47 +1100 | [diff] [blame^] | 94 | BPF_JUMP(BPF_JMP+BPF_JEQ+BPF_K, __NR_ ## _nr, 0, 6), \ |
| 95 | /* load and test first syscall argument, low word */ \ |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 96 | BPF_STMT(BPF_LD+BPF_W+BPF_ABS, \ |
Damien Miller | 9e96b41 | 2017-03-14 12:24:47 +1100 | [diff] [blame^] | 97 | offsetof(struct seccomp_data, args[(_arg_nr)]) + ARG_LO_OFFSET), \ |
| 98 | BPF_JUMP(BPF_JMP+BPF_JEQ+BPF_K, \ |
| 99 | ((_arg_val) & 0xFFFFFFFF), 0, 3), \ |
| 100 | /* load and test first syscall argument, high word */ \ |
| 101 | BPF_STMT(BPF_LD+BPF_W+BPF_ABS, \ |
| 102 | offsetof(struct seccomp_data, args[(_arg_nr)]) + ARG_HI_OFFSET), \ |
| 103 | BPF_JUMP(BPF_JMP+BPF_JEQ+BPF_K, \ |
| 104 | (((uint32_t)((uint64_t)(_arg_val) >> 32)) & 0xFFFFFFFF), 0, 1), \ |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 105 | BPF_STMT(BPF_RET+BPF_K, SECCOMP_RET_ALLOW), \ |
| 106 | /* reload syscall number; all rules expect it in accumulator */ \ |
| 107 | BPF_STMT(BPF_LD+BPF_W+BPF_ABS, \ |
| 108 | offsetof(struct seccomp_data, nr)) |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 109 | |
| 110 | /* Syscall filtering set for preauth. */ |
| 111 | static const struct sock_filter preauth_insns[] = { |
| 112 | /* Ensure the syscall arch convention is as expected. */ |
| 113 | BPF_STMT(BPF_LD+BPF_W+BPF_ABS, |
| 114 | offsetof(struct seccomp_data, arch)), |
| 115 | BPF_JUMP(BPF_JMP+BPF_JEQ+BPF_K, SECCOMP_AUDIT_ARCH, 1, 0), |
| 116 | BPF_STMT(BPF_RET+BPF_K, SECCOMP_FILTER_FAIL), |
| 117 | /* Load the syscall number for checking. */ |
| 118 | BPF_STMT(BPF_LD+BPF_W+BPF_ABS, |
| 119 | offsetof(struct seccomp_data, nr)), |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 120 | |
| 121 | /* Syscalls to non-fatally deny */ |
Damien Miller | f64062b | 2016-05-20 09:56:53 +1000 | [diff] [blame] | 122 | #ifdef __NR_lstat |
| 123 | SC_DENY(lstat, EACCES), |
| 124 | #endif |
| 125 | #ifdef __NR_lstat64 |
| 126 | SC_DENY(lstat64, EACCES), |
| 127 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 128 | #ifdef __NR_fstat |
| 129 | SC_DENY(fstat, EACCES), |
| 130 | #endif |
| 131 | #ifdef __NR_fstat64 |
| 132 | SC_DENY(fstat64, EACCES), |
| 133 | #endif |
| 134 | #ifdef __NR_open |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 135 | SC_DENY(open, EACCES), |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 136 | #endif |
| 137 | #ifdef __NR_openat |
| 138 | SC_DENY(openat, EACCES), |
| 139 | #endif |
| 140 | #ifdef __NR_newfstatat |
| 141 | SC_DENY(newfstatat, EACCES), |
| 142 | #endif |
| 143 | #ifdef __NR_stat |
Damien Miller | 48abc47 | 2014-03-17 14:45:56 +1100 | [diff] [blame] | 144 | SC_DENY(stat, EACCES), |
Damien Miller | 91f40d8 | 2013-02-22 11:37:00 +1100 | [diff] [blame] | 145 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 146 | #ifdef __NR_stat64 |
| 147 | SC_DENY(stat64, EACCES), |
Damien Miller | 6434cb2 | 2014-02-06 11:17:50 +1100 | [diff] [blame] | 148 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 149 | |
| 150 | /* Syscalls to permit */ |
| 151 | #ifdef __NR_brk |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 152 | SC_ALLOW(brk), |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 153 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 154 | #ifdef __NR_clock_gettime |
| 155 | SC_ALLOW(clock_gettime), |
| 156 | #endif |
| 157 | #ifdef __NR_close |
| 158 | SC_ALLOW(close), |
| 159 | #endif |
| 160 | #ifdef __NR_exit |
| 161 | SC_ALLOW(exit), |
| 162 | #endif |
| 163 | #ifdef __NR_exit_group |
| 164 | SC_ALLOW(exit_group), |
| 165 | #endif |
djm@openbsd.org | 512cadd | 2015-06-29 22:35:12 +0000 | [diff] [blame] | 166 | #ifdef __NR_getpgid |
| 167 | SC_ALLOW(getpgid), |
| 168 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 169 | #ifdef __NR_getpid |
| 170 | SC_ALLOW(getpid), |
| 171 | #endif |
Damien Miller | 26ad182 | 2015-09-10 10:57:41 +1000 | [diff] [blame] | 172 | #ifdef __NR_getrandom |
| 173 | SC_ALLOW(getrandom), |
| 174 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 175 | #ifdef __NR_gettimeofday |
| 176 | SC_ALLOW(gettimeofday), |
| 177 | #endif |
| 178 | #ifdef __NR_madvise |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 179 | SC_ALLOW(madvise), |
Damien Miller | 91f40d8 | 2013-02-22 11:37:00 +1100 | [diff] [blame] | 180 | #endif |
| 181 | #ifdef __NR_mmap |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 182 | SC_ALLOW(mmap), |
Damien Miller | 91f40d8 | 2013-02-22 11:37:00 +1100 | [diff] [blame] | 183 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 184 | #ifdef __NR_mmap2 |
| 185 | SC_ALLOW(mmap2), |
Damien Miller | 0fa0ed0 | 2014-09-10 08:15:34 +1000 | [diff] [blame] | 186 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 187 | #ifdef __NR_mremap |
| 188 | SC_ALLOW(mremap), |
| 189 | #endif |
| 190 | #ifdef __NR_munmap |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 191 | SC_ALLOW(munmap), |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 192 | #endif |
| 193 | #ifdef __NR__newselect |
| 194 | SC_ALLOW(_newselect), |
| 195 | #endif |
| 196 | #ifdef __NR_poll |
| 197 | SC_ALLOW(poll), |
| 198 | #endif |
Damien Miller | bc20205 | 2015-06-25 09:51:39 +1000 | [diff] [blame] | 199 | #ifdef __NR_pselect6 |
| 200 | SC_ALLOW(pselect6), |
| 201 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 202 | #ifdef __NR_read |
| 203 | SC_ALLOW(read), |
| 204 | #endif |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 205 | #ifdef __NR_rt_sigprocmask |
| 206 | SC_ALLOW(rt_sigprocmask), |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 207 | #endif |
| 208 | #ifdef __NR_select |
| 209 | SC_ALLOW(select), |
| 210 | #endif |
| 211 | #ifdef __NR_shutdown |
| 212 | SC_ALLOW(shutdown), |
| 213 | #endif |
| 214 | #ifdef __NR_sigprocmask |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 215 | SC_ALLOW(sigprocmask), |
| 216 | #endif |
Damien Miller | 99f33d7 | 2015-06-17 10:50:51 +1000 | [diff] [blame] | 217 | #ifdef __NR_time |
| 218 | SC_ALLOW(time), |
| 219 | #endif |
| 220 | #ifdef __NR_write |
| 221 | SC_ALLOW(write), |
| 222 | #endif |
| 223 | #ifdef __NR_socketcall |
| 224 | SC_ALLOW_ARG(socketcall, 0, SYS_SHUTDOWN), |
| 225 | #endif |
| 226 | |
| 227 | /* Default deny */ |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 228 | BPF_STMT(BPF_RET+BPF_K, SECCOMP_FILTER_FAIL), |
| 229 | }; |
| 230 | |
| 231 | static const struct sock_fprog preauth_program = { |
| 232 | .len = (unsigned short)(sizeof(preauth_insns)/sizeof(preauth_insns[0])), |
| 233 | .filter = (struct sock_filter *)preauth_insns, |
| 234 | }; |
| 235 | |
| 236 | struct ssh_sandbox { |
| 237 | pid_t child_pid; |
| 238 | }; |
| 239 | |
| 240 | struct ssh_sandbox * |
Damien Miller | 868ea1e | 2014-01-17 16:47:04 +1100 | [diff] [blame] | 241 | ssh_sandbox_init(struct monitor *monitor) |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 242 | { |
| 243 | struct ssh_sandbox *box; |
| 244 | |
| 245 | /* |
| 246 | * Strictly, we don't need to maintain any state here but we need |
| 247 | * to return non-NULL to satisfy the API. |
| 248 | */ |
| 249 | debug3("%s: preparing seccomp filter sandbox", __func__); |
| 250 | box = xcalloc(1, sizeof(*box)); |
| 251 | box->child_pid = 0; |
| 252 | |
| 253 | return box; |
| 254 | } |
| 255 | |
| 256 | #ifdef SANDBOX_SECCOMP_FILTER_DEBUG |
| 257 | extern struct monitor *pmonitor; |
| 258 | void mm_log_handler(LogLevel level, const char *msg, void *ctx); |
| 259 | |
| 260 | static void |
| 261 | ssh_sandbox_violation(int signum, siginfo_t *info, void *void_context) |
| 262 | { |
| 263 | char msg[256]; |
| 264 | |
| 265 | snprintf(msg, sizeof(msg), |
| 266 | "%s: unexpected system call (arch:0x%x,syscall:%d @ %p)", |
| 267 | __func__, info->si_arch, info->si_syscall, info->si_call_addr); |
| 268 | mm_log_handler(SYSLOG_LEVEL_FATAL, msg, pmonitor); |
| 269 | _exit(1); |
| 270 | } |
| 271 | |
| 272 | static void |
| 273 | ssh_sandbox_child_debugging(void) |
| 274 | { |
| 275 | struct sigaction act; |
| 276 | sigset_t mask; |
| 277 | |
| 278 | debug3("%s: installing SIGSYS handler", __func__); |
| 279 | memset(&act, 0, sizeof(act)); |
| 280 | sigemptyset(&mask); |
| 281 | sigaddset(&mask, SIGSYS); |
| 282 | |
| 283 | act.sa_sigaction = &ssh_sandbox_violation; |
| 284 | act.sa_flags = SA_SIGINFO; |
| 285 | if (sigaction(SIGSYS, &act, NULL) == -1) |
| 286 | fatal("%s: sigaction(SIGSYS): %s", __func__, strerror(errno)); |
| 287 | if (sigprocmask(SIG_UNBLOCK, &mask, NULL) == -1) |
| 288 | fatal("%s: sigprocmask(SIGSYS): %s", |
| 289 | __func__, strerror(errno)); |
| 290 | } |
| 291 | #endif /* SANDBOX_SECCOMP_FILTER_DEBUG */ |
| 292 | |
| 293 | void |
| 294 | ssh_sandbox_child(struct ssh_sandbox *box) |
| 295 | { |
| 296 | struct rlimit rl_zero; |
Damien Miller | a0433a7 | 2012-07-06 10:27:10 +1000 | [diff] [blame] | 297 | int nnp_failed = 0; |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 298 | |
| 299 | /* Set rlimits for completeness if possible. */ |
| 300 | rl_zero.rlim_cur = rl_zero.rlim_max = 0; |
| 301 | if (setrlimit(RLIMIT_FSIZE, &rl_zero) == -1) |
| 302 | fatal("%s: setrlimit(RLIMIT_FSIZE, { 0, 0 }): %s", |
| 303 | __func__, strerror(errno)); |
| 304 | if (setrlimit(RLIMIT_NOFILE, &rl_zero) == -1) |
| 305 | fatal("%s: setrlimit(RLIMIT_NOFILE, { 0, 0 }): %s", |
| 306 | __func__, strerror(errno)); |
| 307 | if (setrlimit(RLIMIT_NPROC, &rl_zero) == -1) |
| 308 | fatal("%s: setrlimit(RLIMIT_NPROC, { 0, 0 }): %s", |
| 309 | __func__, strerror(errno)); |
| 310 | |
| 311 | #ifdef SANDBOX_SECCOMP_FILTER_DEBUG |
| 312 | ssh_sandbox_child_debugging(); |
| 313 | #endif /* SANDBOX_SECCOMP_FILTER_DEBUG */ |
| 314 | |
| 315 | debug3("%s: setting PR_SET_NO_NEW_PRIVS", __func__); |
Damien Miller | a0433a7 | 2012-07-06 10:27:10 +1000 | [diff] [blame] | 316 | if (prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0) == -1) { |
| 317 | debug("%s: prctl(PR_SET_NO_NEW_PRIVS): %s", |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 318 | __func__, strerror(errno)); |
Damien Miller | a0433a7 | 2012-07-06 10:27:10 +1000 | [diff] [blame] | 319 | nnp_failed = 1; |
| 320 | } |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 321 | debug3("%s: attaching seccomp filter program", __func__); |
| 322 | if (prctl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER, &preauth_program) == -1) |
Damien Miller | a0433a7 | 2012-07-06 10:27:10 +1000 | [diff] [blame] | 323 | debug("%s: prctl(PR_SET_SECCOMP): %s", |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 324 | __func__, strerror(errno)); |
Damien Miller | a0433a7 | 2012-07-06 10:27:10 +1000 | [diff] [blame] | 325 | else if (nnp_failed) |
| 326 | fatal("%s: SECCOMP_MODE_FILTER activated but " |
| 327 | "PR_SET_NO_NEW_PRIVS failed", __func__); |
Damien Miller | e0956e3 | 2012-04-04 11:27:54 +1000 | [diff] [blame] | 328 | } |
| 329 | |
| 330 | void |
| 331 | ssh_sandbox_parent_finish(struct ssh_sandbox *box) |
| 332 | { |
| 333 | free(box); |
| 334 | debug3("%s: finished", __func__); |
| 335 | } |
| 336 | |
| 337 | void |
| 338 | ssh_sandbox_parent_preauth(struct ssh_sandbox *box, pid_t child_pid) |
| 339 | { |
| 340 | box->child_pid = child_pid; |
| 341 | } |
| 342 | |
| 343 | #endif /* SANDBOX_SECCOMP_FILTER */ |