| /* Copyright (C) 2016 The Android Open Source Project |
| * |
| * Licensed under the Apache License, Version 2.0 (the "License"); |
| * you may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| */ |
| |
| #define USE_RET_KILL 0 |
| #define USE_RET_TRAP 1 |
| |
| #define NO_LOGGING 0 |
| #define USE_LOGGING 1 |
| |
| /* BPF testing macros. */ |
| #define EXPECT_EQ_BLOCK(_block, _code, _k, _jt, _jf) \ |
| do { \ |
| EXPECT_EQ((_block)->code, _code); \ |
| EXPECT_EQ((_block)->k, (unsigned int)(_k)); \ |
| EXPECT_EQ((_block)->jt, _jt); \ |
| EXPECT_EQ((_block)->jf, _jf); \ |
| } while (0) |
| |
| #define EXPECT_EQ_STMT(_block, _code, _k) \ |
| EXPECT_EQ_BLOCK(_block, _code, _k, 0, 0) |
| |
| #define EXPECT_COMP(_block) \ |
| do { \ |
| EXPECT_EQ((_block)->len, BPF_ARG_COMP_LEN + 1); \ |
| EXPECT_EQ((_block)->instrs->code, BPF_LD+BPF_W+BPF_ABS); \ |
| } while (0) |
| |
| #define EXPECT_LBL(_block) \ |
| do { \ |
| EXPECT_TRUE((_block)->code == (BPF_JMP+BPF_JA)); \ |
| EXPECT_TRUE((_block)->jt == LABEL_JT); \ |
| EXPECT_TRUE((_block)->jf == LABEL_JF); \ |
| } while (0) |
| |
| #define EXPECT_JUMP_LBL(_block) \ |
| do { \ |
| EXPECT_EQ((_block)->code, BPF_JMP+BPF_JA); \ |
| EXPECT_EQ((_block)->jt, JUMP_JT); \ |
| EXPECT_EQ((_block)->jf, JUMP_JF); \ |
| } while (0) |
| |
| #define EXPECT_GROUP_END(_block) \ |
| do { \ |
| EXPECT_EQ((_block)->len, 2U); \ |
| EXPECT_JUMP_LBL(&(_block)->instrs[0]); \ |
| EXPECT_LBL(&(_block)->instrs[1]); \ |
| } while (0) |
| |
| #define EXPECT_KILL(_block) \ |
| do { \ |
| EXPECT_EQ((_block)->len, 1U); \ |
| EXPECT_EQ_STMT((_block)->instrs, \ |
| BPF_RET+BPF_K, SECCOMP_RET_KILL); \ |
| } while (0) |
| |
| #define EXPECT_TRAP(_block) \ |
| do { \ |
| EXPECT_EQ((_block)->len, 1U); \ |
| EXPECT_EQ_STMT((_block)->instrs, \ |
| BPF_RET+BPF_K, SECCOMP_RET_TRAP); \ |
| } while (0) |
| |
| #define EXPECT_ALLOW(_block) \ |
| do { \ |
| EXPECT_EQ((_block)->len, 2U); \ |
| EXPECT_LBL(&(_block)->instrs[0]); \ |
| EXPECT_EQ_STMT(&(_block)->instrs[1], \ |
| BPF_RET+BPF_K, SECCOMP_RET_ALLOW); \ |
| } while (0) |
| |
| #define EXPECT_ARCH_VALIDATION(_filter) \ |
| do { \ |
| EXPECT_EQ_STMT(&(_filter)[0], BPF_LD+BPF_W+BPF_ABS, arch_nr); \ |
| EXPECT_EQ_BLOCK(&(_filter)[1], \ |
| BPF_JMP+BPF_JEQ+BPF_K, ARCH_NR, SKIP, NEXT); \ |
| EXPECT_EQ_STMT(&(_filter)[2], BPF_RET+BPF_K, SECCOMP_RET_KILL); \ |
| } while (0) |
| |
| #define EXPECT_ALLOW_SYSCALL(_filter, _nr) \ |
| do { \ |
| EXPECT_EQ_BLOCK(&(_filter)[0], \ |
| BPF_JMP+BPF_JEQ+BPF_K, (_nr), NEXT, SKIP); \ |
| EXPECT_EQ_STMT(&(_filter)[1], \ |
| BPF_RET+BPF_K, SECCOMP_RET_ALLOW); \ |
| } while (0) |
| |
| #define EXPECT_ALLOW_SYSCALL_ARGS(_filter, _nr, _id, _jt, _jf) \ |
| do { \ |
| EXPECT_EQ_BLOCK(&(_filter)[0], \ |
| BPF_JMP+BPF_JEQ+BPF_K, (_nr), NEXT, SKIP); \ |
| EXPECT_EQ_BLOCK(&(_filter)[1], \ |
| BPF_JMP+BPF_JA, (_id), (_jt), (_jf)); \ |
| } while (0) |