[dpdk-dev] [PATCH 0/3] bpf: extend validation of input BPF programs
Konstantin Ananyev
konstantin.ananyev at intel.com
Fri Jun 8 10:42:32 CEST 2018
As first step extend struct rte_bpf_xsym with new fields to provide
extra information for allowed external varaibles and helper functions.
That allows to extend bpf validation with new checks for:
- use/return uninitialized registers and/or stack data
- possible memory access boundaries violation
- invalid arguments for the function
Konstantin Ananyev (3):
bpf: add extra information for external symbol definitions
bpf: add extra validation for input BPF program
test/bpf: add new test-case for external function call
app/test-pmd/bpf_cmd.c | 27 +-
lib/librte_bpf/bpf_def.h | 5 +
lib/librte_bpf/bpf_exec.c | 2 +-
lib/librte_bpf/bpf_impl.h | 14 +
lib/librte_bpf/bpf_jit_x86.c | 17 +-
lib/librte_bpf/bpf_load.c | 49 +-
lib/librte_bpf/bpf_load_elf.c | 4 +-
lib/librte_bpf/bpf_validate.c | 1136 +++++++++++++++++++++++++++++++++++++++--
lib/librte_bpf/rte_bpf.h | 21 +-
test/test/test_bpf.c | 169 +++++-
10 files changed, 1382 insertions(+), 62 deletions(-)
--
2.13.6
More information about the dev
mailing list