Re: [dpdk-dev] [PATCH 0/3] bpf: extend validation of input BPF programs

2018-07-12 Thread Thomas Monjalon
> 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 Applied, thanks

[dpdk-dev] [PATCH 0/3] bpf: extend validation of input BPF programs

2018-06-08 Thread Konstantin Ananyev
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