| OLD | NEW |
| 1 // Copyright 2014 The Chromium Authors. All rights reserved. | 1 // Copyright 2014 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "sandbox/linux/bpf_dsl/bpf_dsl.h" | 5 #include "sandbox/linux/bpf_dsl/bpf_dsl.h" |
| 6 | 6 |
| 7 #include <limits> | 7 #include <limits> |
| 8 | 8 |
| 9 #include "base/logging.h" | 9 #include "base/logging.h" |
| 10 #include "base/memory/ref_counted.h" | 10 #include "base/memory/ref_counted.h" |
| 11 #include "sandbox/linux/bpf_dsl/bpf_dsl_impl.h" | 11 #include "sandbox/linux/bpf_dsl/bpf_dsl_impl.h" |
| 12 #include "sandbox/linux/bpf_dsl/policy_compiler.h" | 12 #include "sandbox/linux/bpf_dsl/policy_compiler.h" |
| 13 #include "sandbox/linux/seccomp-bpf/die.h" |
| 13 #include "sandbox/linux/seccomp-bpf/errorcode.h" | 14 #include "sandbox/linux/seccomp-bpf/errorcode.h" |
| 14 | 15 |
| 15 namespace sandbox { | 16 namespace sandbox { |
| 16 namespace bpf_dsl { | 17 namespace bpf_dsl { |
| 17 namespace { | 18 namespace { |
| 18 | 19 |
| 20 intptr_t BPFFailure(const struct arch_seccomp_data&, void* aux) { |
| 21 SANDBOX_DIE(static_cast<char*>(aux)); |
| 22 } |
| 23 |
| 19 class AllowResultExprImpl : public internal::ResultExprImpl { | 24 class AllowResultExprImpl : public internal::ResultExprImpl { |
| 20 public: | 25 public: |
| 21 AllowResultExprImpl() {} | 26 AllowResultExprImpl() {} |
| 22 | 27 |
| 23 ErrorCode Compile(PolicyCompiler* pc) const override { | 28 ErrorCode Compile(PolicyCompiler* pc) const override { |
| 24 return ErrorCode(ErrorCode::ERR_ALLOWED); | 29 return ErrorCode(ErrorCode::ERR_ALLOWED); |
| 25 } | 30 } |
| 26 | 31 |
| 32 bool IsAllow() const override { return true; } |
| 33 |
| 27 private: | 34 private: |
| 28 ~AllowResultExprImpl() override {} | 35 ~AllowResultExprImpl() override {} |
| 29 | 36 |
| 30 DISALLOW_COPY_AND_ASSIGN(AllowResultExprImpl); | 37 DISALLOW_COPY_AND_ASSIGN(AllowResultExprImpl); |
| 31 }; | 38 }; |
| 32 | 39 |
| 33 class ErrorResultExprImpl : public internal::ResultExprImpl { | 40 class ErrorResultExprImpl : public internal::ResultExprImpl { |
| 34 public: | 41 public: |
| 35 explicit ErrorResultExprImpl(int err) : err_(err) { | 42 explicit ErrorResultExprImpl(int err) : err_(err) { |
| 36 CHECK(err_ >= ErrorCode::ERR_MIN_ERRNO && err_ <= ErrorCode::ERR_MAX_ERRNO); | 43 CHECK(err_ >= ErrorCode::ERR_MIN_ERRNO && err_ <= ErrorCode::ERR_MAX_ERRNO); |
| 37 } | 44 } |
| 38 | 45 |
| 39 ErrorCode Compile(PolicyCompiler* pc) const override { | 46 ErrorCode Compile(PolicyCompiler* pc) const override { |
| 40 return pc->Error(err_); | 47 return pc->Error(err_); |
| 41 } | 48 } |
| 42 | 49 |
| 50 bool IsDeny() const override { return true; } |
| 51 |
| 43 private: | 52 private: |
| 44 ~ErrorResultExprImpl() override {} | 53 ~ErrorResultExprImpl() override {} |
| 45 | 54 |
| 46 int err_; | 55 int err_; |
| 47 | 56 |
| 48 DISALLOW_COPY_AND_ASSIGN(ErrorResultExprImpl); | 57 DISALLOW_COPY_AND_ASSIGN(ErrorResultExprImpl); |
| 49 }; | 58 }; |
| 50 | 59 |
| 51 class KillResultExprImpl : public internal::ResultExprImpl { | |
| 52 public: | |
| 53 explicit KillResultExprImpl(const char* msg) : msg_(msg) { DCHECK(msg_); } | |
| 54 | |
| 55 ErrorCode Compile(PolicyCompiler* pc) const override { | |
| 56 return pc->Kill(msg_); | |
| 57 } | |
| 58 | |
| 59 private: | |
| 60 ~KillResultExprImpl() override {} | |
| 61 | |
| 62 const char* msg_; | |
| 63 | |
| 64 DISALLOW_COPY_AND_ASSIGN(KillResultExprImpl); | |
| 65 }; | |
| 66 | |
| 67 class TraceResultExprImpl : public internal::ResultExprImpl { | 60 class TraceResultExprImpl : public internal::ResultExprImpl { |
| 68 public: | 61 public: |
| 69 TraceResultExprImpl(uint16_t aux) : aux_(aux) {} | 62 TraceResultExprImpl(uint16_t aux) : aux_(aux) {} |
| 70 | 63 |
| 71 ErrorCode Compile(PolicyCompiler* pc) const override { | 64 ErrorCode Compile(PolicyCompiler* pc) const override { |
| 72 return ErrorCode(ErrorCode::ERR_TRACE + aux_); | 65 return ErrorCode(ErrorCode::ERR_TRACE + aux_); |
| 73 } | 66 } |
| 74 | 67 |
| 75 private: | 68 private: |
| 76 ~TraceResultExprImpl() override {} | 69 ~TraceResultExprImpl() override {} |
| 77 | 70 |
| 78 uint16_t aux_; | 71 uint16_t aux_; |
| 79 | 72 |
| 80 DISALLOW_COPY_AND_ASSIGN(TraceResultExprImpl); | 73 DISALLOW_COPY_AND_ASSIGN(TraceResultExprImpl); |
| 81 }; | 74 }; |
| 82 | 75 |
| 83 class TrapResultExprImpl : public internal::ResultExprImpl { | 76 class TrapResultExprImpl : public internal::ResultExprImpl { |
| 84 public: | 77 public: |
| 85 TrapResultExprImpl(TrapRegistry::TrapFnc func, const void* arg) | 78 TrapResultExprImpl(TrapRegistry::TrapFnc func, const void* arg, bool safe) |
| 86 : func_(func), arg_(arg) { | 79 : func_(func), arg_(arg), safe_(safe) { |
| 87 DCHECK(func_); | 80 DCHECK(func_); |
| 88 } | 81 } |
| 89 | 82 |
| 90 ErrorCode Compile(PolicyCompiler* pc) const override { | 83 ErrorCode Compile(PolicyCompiler* pc) const override { |
| 91 return pc->Trap(func_, arg_); | 84 return pc->Trap(func_, arg_, safe_); |
| 92 } | 85 } |
| 93 | 86 |
| 87 bool HasUnsafeTraps() const override { return safe_ == false; } |
| 88 |
| 89 bool IsDeny() const override { return true; } |
| 90 |
| 94 private: | 91 private: |
| 95 ~TrapResultExprImpl() override {} | 92 ~TrapResultExprImpl() override {} |
| 96 | 93 |
| 97 TrapRegistry::TrapFnc func_; | 94 TrapRegistry::TrapFnc func_; |
| 98 const void* arg_; | 95 const void* arg_; |
| 96 bool safe_; |
| 99 | 97 |
| 100 DISALLOW_COPY_AND_ASSIGN(TrapResultExprImpl); | 98 DISALLOW_COPY_AND_ASSIGN(TrapResultExprImpl); |
| 101 }; | 99 }; |
| 102 | 100 |
| 103 class UnsafeTrapResultExprImpl : public internal::ResultExprImpl { | |
| 104 public: | |
| 105 UnsafeTrapResultExprImpl(TrapRegistry::TrapFnc func, const void* arg) | |
| 106 : func_(func), arg_(arg) { | |
| 107 DCHECK(func_); | |
| 108 } | |
| 109 | |
| 110 ErrorCode Compile(PolicyCompiler* pc) const override { | |
| 111 return pc->UnsafeTrap(func_, arg_); | |
| 112 } | |
| 113 | |
| 114 bool HasUnsafeTraps() const override { return true; } | |
| 115 | |
| 116 private: | |
| 117 ~UnsafeTrapResultExprImpl() override {} | |
| 118 | |
| 119 TrapRegistry::TrapFnc func_; | |
| 120 const void* arg_; | |
| 121 | |
| 122 DISALLOW_COPY_AND_ASSIGN(UnsafeTrapResultExprImpl); | |
| 123 }; | |
| 124 | |
| 125 class IfThenResultExprImpl : public internal::ResultExprImpl { | 101 class IfThenResultExprImpl : public internal::ResultExprImpl { |
| 126 public: | 102 public: |
| 127 IfThenResultExprImpl(const BoolExpr& cond, | 103 IfThenResultExprImpl(const BoolExpr& cond, |
| 128 const ResultExpr& then_result, | 104 const ResultExpr& then_result, |
| 129 const ResultExpr& else_result) | 105 const ResultExpr& else_result) |
| 130 : cond_(cond), then_result_(then_result), else_result_(else_result) {} | 106 : cond_(cond), then_result_(then_result), else_result_(else_result) {} |
| 131 | 107 |
| 132 ErrorCode Compile(PolicyCompiler* pc) const override { | 108 ErrorCode Compile(PolicyCompiler* pc) const override { |
| 133 return cond_->Compile( | 109 return cond_->Compile( |
| 134 pc, then_result_->Compile(pc), else_result_->Compile(pc)); | 110 pc, then_result_->Compile(pc), else_result_->Compile(pc)); |
| (...skipping 116 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 251 }; | 227 }; |
| 252 | 228 |
| 253 } // namespace | 229 } // namespace |
| 254 | 230 |
| 255 namespace internal { | 231 namespace internal { |
| 256 | 232 |
| 257 bool ResultExprImpl::HasUnsafeTraps() const { | 233 bool ResultExprImpl::HasUnsafeTraps() const { |
| 258 return false; | 234 return false; |
| 259 } | 235 } |
| 260 | 236 |
| 237 bool ResultExprImpl::IsAllow() const { |
| 238 return false; |
| 239 } |
| 240 |
| 241 bool ResultExprImpl::IsDeny() const { |
| 242 return false; |
| 243 } |
| 244 |
| 261 uint64_t DefaultMask(size_t size) { | 245 uint64_t DefaultMask(size_t size) { |
| 262 switch (size) { | 246 switch (size) { |
| 263 case 4: | 247 case 4: |
| 264 return std::numeric_limits<uint32_t>::max(); | 248 return std::numeric_limits<uint32_t>::max(); |
| 265 case 8: | 249 case 8: |
| 266 return std::numeric_limits<uint64_t>::max(); | 250 return std::numeric_limits<uint64_t>::max(); |
| 267 default: | 251 default: |
| 268 CHECK(false) << "Unimplemented DefaultMask case"; | 252 CHECK(false) << "Unimplemented DefaultMask case"; |
| 269 return 0; | 253 return 0; |
| 270 } | 254 } |
| (...skipping 13 matching lines...) Expand all Loading... |
| 284 | 268 |
| 285 ResultExpr Allow() { | 269 ResultExpr Allow() { |
| 286 return ResultExpr(new const AllowResultExprImpl()); | 270 return ResultExpr(new const AllowResultExprImpl()); |
| 287 } | 271 } |
| 288 | 272 |
| 289 ResultExpr Error(int err) { | 273 ResultExpr Error(int err) { |
| 290 return ResultExpr(new const ErrorResultExprImpl(err)); | 274 return ResultExpr(new const ErrorResultExprImpl(err)); |
| 291 } | 275 } |
| 292 | 276 |
| 293 ResultExpr Kill(const char* msg) { | 277 ResultExpr Kill(const char* msg) { |
| 294 return ResultExpr(new const KillResultExprImpl(msg)); | 278 return Trap(BPFFailure, msg); |
| 295 } | 279 } |
| 296 | 280 |
| 297 ResultExpr Trace(uint16_t aux) { | 281 ResultExpr Trace(uint16_t aux) { |
| 298 return ResultExpr(new const TraceResultExprImpl(aux)); | 282 return ResultExpr(new const TraceResultExprImpl(aux)); |
| 299 } | 283 } |
| 300 | 284 |
| 301 ResultExpr Trap(TrapRegistry::TrapFnc trap_func, const void* aux) { | 285 ResultExpr Trap(TrapRegistry::TrapFnc trap_func, const void* aux) { |
| 302 return ResultExpr(new const TrapResultExprImpl(trap_func, aux)); | 286 return ResultExpr( |
| 287 new const TrapResultExprImpl(trap_func, aux, true /* safe */)); |
| 303 } | 288 } |
| 304 | 289 |
| 305 ResultExpr UnsafeTrap(TrapRegistry::TrapFnc trap_func, const void* aux) { | 290 ResultExpr UnsafeTrap(TrapRegistry::TrapFnc trap_func, const void* aux) { |
| 306 return ResultExpr(new const UnsafeTrapResultExprImpl(trap_func, aux)); | 291 return ResultExpr( |
| 292 new const TrapResultExprImpl(trap_func, aux, false /* unsafe */)); |
| 307 } | 293 } |
| 308 | 294 |
| 309 BoolExpr BoolConst(bool value) { | 295 BoolExpr BoolConst(bool value) { |
| 310 return BoolExpr(new const ConstBoolExprImpl(value)); | 296 return BoolExpr(new const ConstBoolExprImpl(value)); |
| 311 } | 297 } |
| 312 | 298 |
| 313 BoolExpr operator!(const BoolExpr& cond) { | 299 BoolExpr operator!(const BoolExpr& cond) { |
| 314 return BoolExpr(new const NegateBoolExprImpl(cond)); | 300 return BoolExpr(new const NegateBoolExprImpl(cond)); |
| 315 } | 301 } |
| 316 | 302 |
| (...skipping 51 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 368 new const IfThenResultExprImpl(clause.first, clause.second, expr)); | 354 new const IfThenResultExprImpl(clause.first, clause.second, expr)); |
| 369 } | 355 } |
| 370 return expr; | 356 return expr; |
| 371 } | 357 } |
| 372 | 358 |
| 373 } // namespace bpf_dsl | 359 } // namespace bpf_dsl |
| 374 } // namespace sandbox | 360 } // namespace sandbox |
| 375 | 361 |
| 376 template class scoped_refptr<const sandbox::bpf_dsl::internal::BoolExprImpl>; | 362 template class scoped_refptr<const sandbox::bpf_dsl::internal::BoolExprImpl>; |
| 377 template class scoped_refptr<const sandbox::bpf_dsl::internal::ResultExprImpl>; | 363 template class scoped_refptr<const sandbox::bpf_dsl::internal::ResultExprImpl>; |
| OLD | NEW |